Starred repositories
78
stars
written in Haskell
Clear filter
ShellCheck, a static analysis tool for shell scripts
Parsing, analyzing, and comparing source code across many languages
Compiler for Elm, a functional language for reliable webapps.
A friendly programming language from the future
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.
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
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…
A shell script which checks your $HOME for unwanted files and directories.
A static website compiler library in Haskell
Official Haskell IDE support via the language server protocol (LSP)
Agda is a dependently typed programming language / interactive theorem prover.
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
A declarative Unix terminal UI library written in Haskell
📜 Haskell course info, plan, video lectures, slides
Miscellaneous articles. The readme is the table of contents.