Starred repositories
6
stars
written in Haskell
Clear filter
A friendly programming language from the future
😎 The open-source, Haskell-built video editor for GIF makers.
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
A multi-syntax functional programming language that compiles to WebAssembly.
FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…
A small, weird and unpractical programming language.