haskell-backend
The symbolic execution engine powering the K Framework
AI summary
Symbolic rewriter
Symbolic execution engine powering the K Framework
- stars
- 212
- forks
- 42
- watching
- 37
Similar projects
Found by comparing what the projects do, not just their names.
Backend framework
A framework for building backend applications in Haskell with a focus on simplicity and ease of use.
Runtime interpreter
An interpreter for a functional programming language, allowing developers to run and interact with compiled code at runtime.
Graphics library
A Haskell implementation of a subset of the Processing language for computer graphics
Message serializer
A Haskell implementation of a language-neutral, platform-neutral way to serialize structured data
Haskell IDE
A web-based Haskell development playground and compiler environment.
Logger
A structured logging framework for Haskell applications
Text processor
A Haskell-based webserver for processing and serving formatted text
Haskell framework
A toolkit to create Reactive Applications in Haskell by connecting User Interfaces and external devices
Game engine
A Haskell binding to Apple's SpriteKit framework for building 2D games and animations
quchen/stgi529
Program Execution Model Interpreter
An interpreter for a visual programming model to help understand Haskell's execution model
Data processor
An environment for efficient data processing using Haskell or R code.
Scripting language
An interpreted scripting language written in Haskell with a simple syntax and clean alternatives to traditional control flow constructs.
Haskell plugin
Enables writing Emacs extensions in Haskell using a Foreign Function Interface
Dev productivity framework
A Haskell-based tooling framework designed to enhance developer productivity and newcomer-friendliness.
Compiler
A Haskell implementation of a compiler for a custom programming language
