haskell-backend
Symbolic rewriter
Symbolic execution engine powering the K Framework
The symbolic execution engine powering the K Framework
212 stars
37 watching
42 forks
Language: Haskell
last commit: about 1 month ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 kowainik/cake-slayer | A framework for building backend applications in Haskell with a focus on simplicity and ease of use. | 132 |
 haskell-hint/hint | An interpreter for a functional programming language, allowing developers to run and interact with compiled code at runtime. | 261 |
 anton-k/processing-for-haskell | A Haskell implementation of a subset of the Processing language for computer graphics | 71 |
 k-bx/protocol-buffers | A Haskell implementation of a language-neutral, platform-neutral way to serialize structured data | 80 |
 haskell/play-haskell | A web-based Haskell development playground and compiler environment. | 130 |
 soostone/katip | A structured logging framework for Haskell applications | 205 |
 kirel/detexify-hs-backend | A Haskell-based webserver for processing and serving formatted text | 895 |
 keera-studios/keera-hails | A toolkit to create Reactive Applications in Haskell by connecting User Interfaces and external devices | 196 |
 mchakravarty/haskellspritekit | A Haskell binding to Apple's SpriteKit framework for building 2D games and animations | 173 |
 quchen/stgi | An interpreter for a visual programming model to help understand Haskell's execution model | 529 |
 tweag/haskellr | An environment for efficient data processing using Haskell or R code. | 587 |
 sekomer/victim | An interpreted scripting language written in Haskell with a simple syntax and clean alternatives to traditional control flow constructs. | 41 |
 knupfer/haskell-emacs | Enables writing Emacs extensions in Haskell using a Foreign Function Interface | 376 |
 neohaskell/neohaskell | A Haskell-based tooling framework designed to enhance developer productivity and newcomer-friendliness. | 307 |
 kelilanguage/compiler | A Haskell implementation of a compiler for a custom programming language | 172 |