Starred repositories
10
stars
written in Haskell
Clear filter
A statically typed concatenative systems programming language.
A programming language with static memory management based on λ-calculus
Test monadic programs using state machine based models
⚡️Efficient implementation of Map with types as keys
tunnel traffic through a genuine bittorrent connection
Haskell implementation of gzip-compatible `pack` compression from the early 1980s
haskell implementation of DJ Bernstein's elligator. http://elligator.cr.yp.to/