mbg/hmtc-llvm
LLVM backend for HMTC
Discovered public repositories for mbg in the GitHub catalog.
LLVM backend for HMTC
Public repository.
.NET library for visual programming
Haskell implementation of the dDCA
icfp2013
A compiler for Cada, a purely functional programming language inspired by Haskell with syntactic sugar for the state monad
Public repository.
An extended version of the interactive simply-typed lambda-calculus implemented in Haskell.
Public repository.
An interactive simply-typed lambda-calculus implemented in Haskell.
.NET bindings for LLVM
Public repository.
Public repository.
.NET wrapper for the BlendELF engine