Actor-based, safely typed, fast programming language.

Go, with the features it's missing.

Safe Rust bridge for creating Erlang NIF functions

Collection of my Typst templates

Typst template mimicking acmart latex class

Compiler for the Gren programming language

Agda lecture notes for the Functional Programming course at TU Delft

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

An introduction to programming language theory in Agda

The Agda standard library

A repository for the stack switching proposal.

A Gleam web framework for building HTML templates, single page applications, and real-time server components.

A markup-based typesetting system that is powerful and easy to learn.

Documentation about Haskell's dangerous functions and a hlint config file to warn about them

Unison base libraries

💌 A beautiful, fast and fully open source mail client for Mac, Windows and Linux.

High performance, streaming and concurrent functional programming in Haskell

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾

Static types for JSON APIs

A toy programming language which is a subset of OCaml.

The core OCaml system: compilers, runtime system, base libraries

📜 Haskell course info, plan, video lectures, slides

A demo implementation of a simple dependently-typed language

An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

Implementations of various type systems in OCaml.

🐙 Types and functions for programs running on Erlang!

The Julia Programming Language