Universal markup converter

A strongly-typed language that compiles to JavaScript

Cryptographic currency implementing Ouroboros PoS protocol

A modern proof language

Agda is a dependently typed programming language / interactive theorem prover.

Haskell to JavaScript compiler, based on GHC

🍜 A tasty Haskell web framework

Official upstream development repository for Cabal and cabal-install

Haskell 101 and 102: slides and codelabs

Miscellaneous articles. The readme is the table of contents.

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

♊ higher-order, no-boilerplate monads

Haskell LLVM JIT Compiler Tutorial

Algebraic graphs

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

An interpreter for learning and exploring pure λ-calculus

✏️ 📊 - The Haskell code editor focused on interactive development.

Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.

Efficient hashing-based container types

Number theory: primes, arithmetic functions, modular computations, special sequences

REST'ful web framework in Agda

A small and expressive dependently typed language

Easy to use library for building Telegram bots in Haskell.

Language Server for Agda

Purely Functional Data Structures

A declarative toy language inspired on set comprehensions.

The Chaos Game in Haskell

Curso de Estruturas de dados funcionais - Dia 01

Curso de Estruturas de dados funcionais - UFABC Dia 02