Tensors and neural networks in Haskell

A programming language with static memory management based on λ-calculus

Emanate a structured view of your plain-text notes

Resource gathering + programming game

A library for building Haskell IDE tooling

Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

Dependent type checker using normalisation by evaluation

Haskell bindings for MLIR

Prototype implementations of systems based on setoid type theory

Quick explanation of eliminating left recursion in Haskell parsers

Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.

Yer another array library

MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.

Interpreter for GHC Haskell

Library for generating Elm syntax from Haskell in a scope-safe way

An attoparsec roundtrip

Perceptual hashing command-line tool

A simple optics library based on existential encoding