SpaceXAI's coding agent harness and TUI. Fullscreen, mouse interactive, extensible.

Hacky monoidahedra in Python.

A minimal proof language.

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

Minimal process monitor similar to top

A cute, bubbly blackletter font

Information about concrete categories relevant to universal algebra

Software Transactional Memory for Cats Effect with intelligent scheduling to reduce contention

Open-source Android/Desktop remake of Civ V

A library providing building blocks for Scala macros deriving code based on the type tree structure traversal.

Autonomous multi-session AI coding

Modern CV template for Typst

Adding `vau` with an immutable dynamic environment to Chez Scheme

Play Tic-Tac-Toe inside a pdf

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

Simple 3D graphics library

List of resources for learning Category Theory

A deterministic algorithm for finding Goldbach pairs for all even numbers greater than 2

A post-apocalyptic actionRPG. Now on Steam!

Spreadsheet.Institute/ website + Spreadsheet Lisp source repository

Scala library for efficient multi-dimensional arrays

A modern (trail saving, pre/in processor, LRB, rephrase rotation) CDCL SAT solver in Rust, strongly inspired by Kissat

A 2D game programming library written in and for Scala Native.

Extensible Clojure

Numerical experiments involving the prime imbalance

mal - Make a Lisp

Tutorials and programming exercises for learning Q# and quantum computing

jlink Tutorial

A community driven list of useful Scala libraries, frameworks and software.