Haptic input knob with software-defined endstops and virtual detents

Distribution site for Noto fonts

Animation engine for explanatory math videos

An APL-like programming language

Dependently-typed language with Iverson-style implicit lifting

A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix

An X11 window manager written in Prolog

Exercism exercises in Idris.

Shared metadata for exercism exercises.

An introduction to programming language theory in Agda

A collection of simple Elixir scripts that are using Mix.install/2.

Orthic shorthand resources

an adaptable text editor

Source repository for https://hackage.haskell.org/package/language-c

High-performance, Reliable, and Parallel APL

Bluespec Compiler (BSC)

Tvix - A Rust implementation of Nix. Read-only mirror of https://code.tvl.fyi/tree/tvix

A python parametric CAD scripting framework based on OCCT

A python CAD programming library

It's Magit! A Git Porcelain inside Emacs.

Operating system written in Erlang and Rust

Language Server Protocol tools for the acme text editor

Packages and commands for using Plan 9 from Go

CLI search and replace | Space Age seD

A metacircular modal UI framework.

Plan 9 from User Space

Process library and s-expression based shell

Compiler for the Vale programming language - http://vale.dev/

HAMMER2 file system for OpenBSD

Frame profiler