Lists (9)
Starred repositories
10
results
for source starred repositories
written in Haskell
Clear filter
ShellCheck, a static analysis tool for shell scripts
A statically typed lisp, without a GC, for real-time applications.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
Agda is a dependently typed programming language / interactive theorem prover.
Research language for array processing in the Haskell/ML family
Extremely modular text editor built in Haskell
Do signal handling and orphan reaping for Unix PID1 init processes