batonius

ulc

(un)Typed Lambda Calculus beta-reducer/type checker implemented in Rust.

yavss

Yet Another Vertical Scrolling Shooter

netstack

Redox OS network stack

ray-ten

First-person 3D pong ray-traced on CPU in real time.

event

Redox Event Queue

Rfx

Compiler of a pascal-like programming language with built-in cooperative multitasking capabilities targeting AVR and PIC uC.

threason

Multithread JSON parsing library in pure C11

aima-haskell

Algorithms from AIMA in Haskell

batonius.github.io

ghc-mod

Happy Haskell programming on Emacs/Vim

uuz

Fast and small unzip written in x86-64 asm

wroom-ten

Simple shader ray tracing using wgpu.

helix

A post-modern modal text editor.

idris-fizzbuzz

Formally-proven FizzBuzz in Idris

ion

The Ion Shell. Compatible with Redox and Linux.

netutils

Network Utilities for Redox

quicksilver

A simple game framework for 2D games on desktop and web

redox

Redox: A Rust Operating System

smoltcp

a smol tcp/ip stack