REST API for any Postgres database

A strongly-typed language that compiles to JavaScript

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Functional Programming Course

A modern proof language

A Dependently Typed Functional Programming Language

What I Wish I Knew When Learning Haskell

The Eta Programming Language, a dialect of Haskell on the JVM

🍜 A tasty Haskell web framework

Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

lamdu - towards the next generation IDE

A GHC-based Haskell to JavaScript compiler

Very low feature GHCi based IDE

♊ higher-order, no-boilerplate monads

Functional reactive web and mobile applications, with batteries included.

The Egison Programming Language

A standard library for Haskell

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web,…

Extremely modular text editor built in Haskell

Introduction to parsing with Haskell and Parsec

A language for intent-centric and declarative decentralised applications

A modern syntax for the λ-calculus.

Automatic Differentiation

Parsing all context-free grammars using Earley's algorithm in Haskell.

Web applications without callbacks or side-effects. Reflex-DOM brings the power of functional reactive programming (FRP) to the web. Build HTML and other Document Object Model (DOM) data with a pur…

Frank compiler

website for browsing packages and exploring documentation