muqiuhan
Follow
Starred repositories
9
stars
written in Haskell
Clear filter
A statically typed lisp, without a GC, for real-time applications.
Agda is a dependently typed programming language / interactive theorem prover.
A simple library for reporting compiler/interpreter errors
Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.
HTTP client for haskell, inpired by requests and http-dispatch.
