Idris LLVM codegen factored out
Repository Index
47,133 repositories indexed
25–34 of 34 · Most stars
Generate Elm types, encoders, and decoders from Haskell types
GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
- haskell
- haskell-application
- cqrs-application
- frp
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
L-system generators and visualizers
- lsystems
- 2d-graphics
- generative-art
- lindenmayer-systems
Haskell binding for Gremlin graph query language
Tool that allows to write Erlang NIF libraries in Haskell
Haskell library implementing OpenFlow protocol versions 1.0 and 1.3
Experiment to compile something Elm-ish to Wasm
Implementation of Ripple client protocol in Haskell