A functional language with algebraic effects, multishot continuations, and native codegen

LLM exposed as a 9P filesystem

AI agent and MCP server for custom agent

A neurosymbolic perspective on LLMs

Gerust is a project generator for Rust backend projects. It takes care of the accidental complexity so you can stay focused on what matters.

A fast high-compression read-only file system for Linux, FreeBSD, macOS and Windows

Real-time audio to chords, lyrics, beat, and melody.

a Hassle-Free Python Experience

A collection of information and shaders showcasing from basic to advanced usage of MSDF (Multi-channel signed distance fields) for text rendering.

MSDF font atlas generator

A tool for glamorous shell scripts 🎀

Loading icons and small animations built with pure SVG.

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

The virtual Eurorack studio

CCP WebGL Library

Master programming by recreating your favorite technologies from scratch.

A better notebook for Scala (and more)

Bootstrap Kubernetes the hard way. No scripts.

Google's Engineering Practices documentation

Turn any program that uses STDIN/STDOUT into a WebSocket server. Like inetd, but for WebSockets.

Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more

tracking performance of rustc-generated binaries over time

Bitwise is an educational project where we create the software/hardware stack for a computer from scratch.

A modern editor with a backend written in Rust.

Upspin: A framework for naming everyone's everything.

A modern open source rendering engine for animation and visual effects

A cross-platform, OpenGL terminal emulator.

Mirror of https://gitlab.redox-os.org/redox-os/redox

Programming Language Theory λΠ