A community-supported supercharged document management system: scan, index and archive all your documents

Git implementation for plan 9

Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.

Linux kernel source tree

Live Programming Environment(C Port)

Game for learning how to code.

Build tool for ATS.

build tool and package manager for idris,in idris,with free monads

Compatibility tool for Steam Play based on Wine and additional components

A simple Minecraft clone written in C using modern OpenGL (shaders).

Chrome extension that disables WebUSB

GitHub has sold us out. Time to get out.

A brutalist web interface for Mastodon: moved to https://git.carcosa.net/jmcbray/brutaldon

Federated blogging application, thanks to ActivityPub (now on https://git.joinplu.me/ — this is just a mirror)

An electronic protest sign. #resist

a Mastodon client that automatically plays your friends' music

an Android port of Inferno OS. it works as a regular Android (> 4.0) app. to build it needs only Android Studio (>3.0) and NDK

QuineDB is a quine that is also a key-value store.

A pipe dream privacy centric replacement for Gravatar

Reliable & unreliable messages over UDP. Robust message fragmentation & reassembly. P2P networking / NAT traversal. Encryption.

My collection of Acme notes and scripts

🎬 A curated list of movies every hacker & cyberpunk must watch.

a clean C library for processing UTF-8 Unicode data

Factor programming language

A Lua implementation with an Eclipse OMR based JIT compiler

Native 9front C backend for Idris

Data-oriented and data-driven game engine written in Rust

Game development tools for the Amethyst engine

A language-based OS to run Rust on bare metal

RISCV Rust Toolchain