Stars
9
results
for source starred repositories
written in Haskell
Clear filter
A static website compiler library in Haskell
A distributed computing framework for Haskell
An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.
plu programming language implementation in Haskell