Stars
ShellCheck, a static analysis tool for shell scripts
Parsing, analyzing, and comparing source code across many languages
A strongly-typed language that compiles to JavaScript
Compiler for Elm, a functional language for reliable webapps.
A friendly programming language from the future
π₯ The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
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
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
A static website compiler library in Haskell
Agda is a dependently typed programming language / interactive theorem prover.
A RESTful Haskell web framework built on WAI.
π₯π»π₯ A data-parallel functional programming language
The Eta Programming Language, a dialect of Haskell on the JVM
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
A multilingual package manager for Arch Linux and the AUR.
Informative git prompt for zsh