Lists (1)
Starred repositories
38
stars
written in Haskell
Clear filter
ShellCheck, a static analysis tool for shell scripts
A strongly-typed language that compiles to JavaScript
A statically typed lisp, without a GC, for real-time applications.
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
A Dependently Typed Functional Programming Language
Embedded language for high-performance array computations
Crucible is a library for symbolic simulation of imperative programs
A type-safe, non-TH Haskell SQL library and ORM
Parsing all context-free grammars using Earley's algorithm in Haskell.
A high-level ncurses alternative written in Haskell
Add ACID guarantees to any serializable Haskell data structure
Write consistent git commit messages based on a custom template
A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS
JSON decoding/encoding/manipulation library.
Haskell client library for exposing prometheus.io metrics.
An empty code generator, to be used as a starting point for any new back ends.
Tool for detecting redundant Cabal package dependencies
Generic types and functions for encoding and decoding columns
Types representing line and column positions and ranges in text files