The Racket repository

A modular game engine and ECS for Haskell

GNU Emacs / N Λ N O - Emacs made simple

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

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

Choreographic Programming in TypeScript

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

Library for functional reactive programming in Haskell.

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …

macOS system monitor in your menu bar

Choreographies in Clojure

SDL3 in Swift

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

Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.

Mechanizations of Type Theories

Web browser engineering (a book)

Causal separation diagrams

Official upstream development repository for Cabal and cabal-install

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

An example of a fully custom Emacs configuration developed live on YouTube!

A collaborative bibliography of work related to the theory and practice of computational effects

A friendly programming language from the future

Emacs mac port formulae for the Homebrew package manager

🎶 Choreographic programming in Rust 🎶

Free monospaced font with programming ligatures

A bibliography of choreographic languages

System font stack CSS organized by typeface classification for every modern operating system

Simple Directmedia Layer

Agda bindings to SMT-LIB2 compatible solvers.