A statically typed lisp, without a GC, for real-time applications.
Repository Index
76,855 visible repositories in the index
1–7 of 7 · Most stars
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
:boom::computer::boom: A data-parallel functional programming language
The Eta Programming Language, a dialect of Haskell on the JVM
- eta
- jvm
- haskell
- functional-programming
Experimental Malfunction backend for Idris