CBScript for Minecraft

Haskell library for the Microsoft Language Server Protocol

Server render Reason React components with OCaml natively

Anime Girls Holding Programming Books

perfect programming language

Minimal implementations for dependent type checking and elaboration

⛳ Sokoban game in 10 lines of Haskell

Maintainable configuration files

Generalized Linear Model Script

Fast equality saturation in Haskell

A program that converts SimCity 2000 cities into Minecraft worlds

Monomorphize polymorphic functions for testing

Algebraic effects for Rust

HoTTEST Summer School materials

A massively parallel, optimal functional runtime in Rust

My blog

Fast and concise extensible effects

A purely functional programming language

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

Extend GHC's type checker with user-defined rules, without writing a type checker plugin.

Low-overhead effect management for concrete monads

Lag-free background computation with subtick timing.

An ML-like functional programming language

Compiler from LLVM IR to Minecraft datapacks.

Ender Chest GUI & Chest for Minecraft 1.16+

Information on string parsing. (Note: String Parsing has been directly added to the mcf language as of v1.19.4, so this library is no longer needed)

Applicative option parser

A purely functional programming language with first class types