A friendly programming language from the future

Koka language compiler and interpreter

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

C to Rust translator

lamdu - towards the next generation IDE

♊ higher-order, no-boilerplate monads

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

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

A curated list of awesome things related to Haskell.

The symbolic execution engine powering the K Framework

A ML-family Language Compiled to Lua

being an operating system for typechecking processes

higher-order algebraic effects done right for Haskell

Minimal Haskell Compiler

First class patterns and pattern matching, using type families

「にこ先輩といっしょに代数！」で使ったコードの実行可能な全文（`stack runghc`）

extensible effects でやっていくドメインロジック記述 @ Gotanda.hs #1

A static site generator template powered by Shake, Lucid and Hint.