Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Repository Index
57,637 visible repositories in the index
73–82 of 82 · Most stars
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
A discord frontend for an interactive interpreter bot
Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar
Haskell library implementing OpenFlow protocol versions 1.0 and 1.3
Experiment to compile something Elm-ish to Wasm
Initialise scaffolding for a new Elm project
Implementation of Ripple client protocol in Haskell