Detexify Backend written in Haskell

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

Category theory but for kitty cats, meow 🐱🐈

The Hazy Haskell Compiler

Statical program analysis for μC

A fast, friendly, functional language.

The ultimate home for modded apps. OrionStore offers instant access to YouTube Morphe, YT Music Morphe, and essential open-source tools without the clutter. No servers, no tracking, just a beautifu…

Language Server Protocol server for SWI-Prolog

A lazy subset of JavaScript

15-819 (Homotopy Type Theory) Lecture Notes

Materials for the <Programming> 2025 tutorial Effekt: Lexical Effect Handlers in Action

Deep Learning in Haskell

Tensors and neural networks in Haskell

Spartan type theory

Simply typed lambda calculus

A single binary, easy to use static blog generator.

A theory‑backed, type‑safe algebraic effects

A simple programming collaboration tool for classrooms with Prolog and Haskell support (latter in a branch)

Programming Languages Zoo

Lambda normalization and conversion checking benchmarks for various implementations

LLVM frontend for subset of the Pascal programming language, written in Haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Haskell LLVM JIT Compiler Tutorial

System F (wip) implemented as a pair project for the functional and logic programming course @ FIT CTU.

The MLton repository

Minimal implementations for dependent type checking and elaboration

WebAssembly Design Documents