Stars
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
A functional language with Reason-like syntax that compiles to Go.
Interactive Go interpreter and debugger with REPL, Eval, generics and Lisp-like macros
Haskell client for the kubernetes API. A work in progress.
A quick, easy, and declarative task runner for Haskell code to destroy your boiler plate!
Category theory in the context of (functional) programming
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.