qemu-libretro

QEMU libretro core port

nix-flatpak

Declarative Flatpak management for the Nix package manager

MarioLANG

A minimal MarioLANG interpreter

gnu-bionic-pipe

quoftc

The Quoft Programming Language Compiler

deriv-calc

A derivative calculator and equation simplifier in Python.

turboproof

A dependently-typed lisp and proof assistant [IN DEVELOPMENT]

discord-bedtime

A Discord bot reminding you to sleep

nonsense-discord-bot

lambda

Lambda calculus REPL written in C

Chip8

A chip8 emulator in C and ncurses

OS

A simple OS in C