Starred repositories
63
stars
written in Haskell
Clear filter
ShellCheck, a static analysis tool for shell scripts
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
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 core component that is used to participate in a Cardano decentralised blockchain.
Official Haskell IDE support via the language server protocol (LSP)
Agda is a dependently typed programming language / interactive theorem prover.
💥💻💥 A data-parallel functional programming language
The Eta Programming Language, a dialect of Haskell on the JVM
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
A declarative Unix terminal UI library written in Haskell
Haskell library for building declarative animations based on SVG graphics
A statically typed concatenative systems programming language.
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Kit: a magical, high performance programming language, designed for game development.
Industrial-strength monadic parser combinator library