- Philadelphia
- https://orcid.org/0000-0002-3469-7219
Stars
ShellCheck, a static analysis tool for shell scripts
A statically typed lisp, without a GC, for real-time applications.
A Haskell library that simplifies access to remote data, such as databases or web-based services.
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
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 th…
The Eta Programming Language, a dialect of Haskell on the JVM
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …
A demo implementation of a simple dependently-typed language
GUI framework that uses the web browser as a display.
FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…
A high-level ncurses alternative written in Haskell
A Haskell implementation of the Tor protocol.
Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.
Haskell library to load & save pictures