Haskell library for space- and time-efficient operations over Unicode text.

Structural Lisp IDE/computing environment

A curated list of awesome functional programming jobs.

A Lisp interpreter written in untyped lambda calculus

A curated list of code katas

♊ higher-order, no-boilerplate monads

Elegantly record your screen

Browser extension for OpenPGP encryption with Webmail

Deep learning via category theory and functional programming

Rust bindings of GTK 4

Rust bindings for GNOME libraries

Simple Screen Recorder written in Rust based on Green Recorder

James Gleick's Chaos: The Software

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

OCaml Language Server Protocol implementation

V2 of Real World OCaml

Formalization of Machine Learning Theory with Applications to Program Synthesis

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

🌍 osm.el - OpenStreetMap viewer for Emacs

Dafny is a verification-aware programming language

A Rust framework for creating web apps

Spaced Repetition System for Emacs org-mode

Mnemosyne: efficient learning with powerful digital flash-cards.

Drop in replacement for ueberzug written in C++

Scheme parser for tree-sitter

A multi-channel audio mixer desktop application for the JACK Audio Connection Kit.

OpenType font that disassembles Z80 instructions

Rocket Chip Generator

Digital logic design tool and simulator