A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

A statically typed lisp, without a GC, for real-time applications.

Functional Programming Course

Koka language compiler and interpreter

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

💥💻💥 A data-parallel functional programming language

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

A declarative Unix terminal UI library written in Haskell

Research language for array processing in the Haskell/ML family

Miscellaneous articles. The readme is the table of contents.

Cryptol: The Language of Cryptography

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 …

Functional Programming Course

Industrial-strength monadic parser combinator library

Applicative option parser

A stream-based runtime-verification framework for generating hard real-time C code.

A comprehensive Amazon Web Services SDK for Haskell.

Haskell-based shell scripting language

Library for functional reactive programming in Haskell.

Persistence interface for Haskell allowing multiple storage methods.

Functional Reactive Programming domain-specific language for efficient hybrid systems

🎮 NES Emulator written in Haskell

New home of Esqueleto, please file issues so we can get things caught up!

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

Haskell implemented with combinators

A lexical analyser generator for Haskell

A modern, extensible and well-documented prettyprinter.

flashcard TUI with markdown cards