Stars
9
stars
written in Haskell
Clear filter
ShellCheck, a static analysis tool for shell scripts
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Compiler for Elm, a functional language for reliable webapps.
Agda is a dependently typed programming language / interactive theorem prover.
Research language for array processing in the Haskell/ML family
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
Reference type checker for the Lean theorem prover