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: almost 2 years 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