Lists (1)
Starred repositories
20
results
for source starred repositories
written in Haskell
Clear filter
A friendly programming language from the future
A statically typed lisp, without a GC, for real-time applications.
Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcap…
A fast, flexible, fused effect system for Haskell
Experimental implementation of Cubical Type Theory
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 Super Kawaii Dependently Typed Programming Language
A simple FRP library providing leak-free first-class streams.
yacctt: Yet Another Cartesian Cubical Type Theory
A Gallina compiler with C++17 as an intermediate representation
A Haskell implementation of the Jupyter messaging protocol