Skip to content
View emberian's full-sized avatar
347 followers · 21 following

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Public SponsorAchievement: Starstruckx3Achievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Public SponsorAchievement: Starstruckx3Achievement: Pull Sharkx3

Organizations

@oftn-oswg @COSI-Lab @simbi-inc @moxie-rs @spwplace

Block or report emberian

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
emberian/README.md

please email mailto:neglect@ember.software if any of my open source projects need some love

catch me in matrix? web portal: https://ember.software

i wrote rustdoc, started This Week in Rust, and a bunch of other pre-1.0 stuff highlighted here and chronologged here.

https://github.com/emberian/dregg and https://github.com/emberian/graphplay and https://github.com/emberian/svenvs are interesting.

Details ## open source contribution grab-bag

Ember's projects, partial (from starmap summaries)

200 ember-authored repos summarized by Gemini, grouped by category. Reference for domain skills + overview. Source: ~/dev/starmap.

Details ## 2D Game Engine Integration - **connectfour** — A cross-platform implementation of the Connect Four game using the Simple and Fast Multimedia Library (SFML). The project features a custom board state manager with win-condition detection algorithms for horizontal, vertical, and diagonal alignments. It employs a decoupled architecture separating the graphical rendering loop, the grid-based game logic, and the event-driven user interface. _(sfml, cpp, game-development, connect-four, 2d-graphics, board-game)_

3D Asset Design & Digital Fabrication

  • rust-logo-3d — This repository provides high-fidelity 3D geometric representations of the Rust programming language logo. It includes source assets in Blender's native format and exported STL meshes, enabling seamless workflows for 3D printing and digital rendering. The models accurately preserve the intricate gear and letterform topology required for consistent brand reproduction across physical and virtual environments. (3d-model, rust-lang, blender, stl, 3d-printing, brand-assets)

AI/Agents

  • crate-mcp — crate-mcp appears to be a ai/agents project using Rust. The available files suggest focus areas around cargo, main, readme. (Rust, cargo, main, readme)

API Integration Testing

  • github-api-testing — A skeletal environment dedicated to the empirical validation of GitHub API endpoints and authentication mechanisms. The repository functions as a minimal testing harness for investigating RESTful interface behaviors and verifying API client configurations within a controlled environment. (github-api, integration-testing, rest-interface, api-validation, scaffold, placeholder)

AVR Bare-metal Firmware

  • arduino-display — A collection of low-level AVR C firmware routines for driving multiplexed four-digit seven-segment displays via direct register manipulation. The project implements hardware-specific bit-masking and GPIO control using Atmel's Data Direction and Port registers to manage segment illumination and digit switching. It includes various test patterns for binary counting, character rendering, and manual multiplexing logic. (avr, firmware, c, seven-segment, gpio, multiplexing)

AVR Embedded Systems Development

  • homie — A first-principles cleanroom Rust toolchain and no_std runtime specifically targeting the ATmega32U4-based Arduboy game platform. It implements low-level hardware abstractions for GPIO-mapped peripherals including the OLED display, RGB status LEDs, and tactile button matrix. The project provides a workspace-based architecture for developing firmware with direct register access and custom panic handlers suitable for 8-bit AVR microarchitectures. (avr, atmega32u4, arduboy, rust, embedded-rust, no-std)

Aerodynamic Sports Simulation

  • friskingdom — Friskingdom is a modular Ultimate Frisbee simulation engine developed in Rust using the Bevy ECS framework, prioritizing authentic disc aerodynamics and wind-field interactions. The architecture decouples core physics from strategic AI behavior and procedural audio synthesis, which includes a custom subtractive synthesizer for real-time sound generation. It features a comprehensive rendering pipeline for stylized stickman animations and dynamic field environments, supported by a suite of developer tools for system debugging and asset generation. (frisbee, physics-engine, bevy-engine, ecs, aerodynamics, ai-simulation)
  • frisqueendom — Frisqueendom is a sophisticated 3D sports simulator centered on ultimate frisbee mechanics, utilizing a custom aerodynamic physics engine written in Rust and compiled to WebAssembly for high-performance flight calculations. The project integrates complex team AI behaviors, procedural skeletal animations, and a multi-layered career management system within a Three.js-based rendering environment. It supports local and LAN multiplayer via a custom relay protocol and features extensive automated testing for both physics integration and gameplay logic. (ultimate-frisbee, aerodynamics, physics-engine, webassembly, three-js, rust)

Affective Speech Synthesis & Broadcast Automation

  • chetgpt — A specialized AI news anchor application that emulates the Chet Ubetcha persona from The Fairly OddParents through dynamic speech synthesis. It integrates content analysis with the Qwen3-TTS engine to automatically select from eight distinct prosodic modes, ranging from breaking news urgency to tragic gravitas. The system combines real-time news aggregation, LLM-driven chat capabilities, and ASCII-based visual feedback to provide a cohesive broadcast simulation. (text-to-speech, voice-synthesis, qwen-tts, news-aggregator, cli-application, natural-language-analysis)

Agent-based Colony Simulation

  • pinatatown — Pinatatown is an agent-based colony simulation engine developed with Phaser 3 and TypeScript, featuring a sophisticated goal-oriented AI system that governs autonomous entity behaviors through personality traits and perception modeling. The architecture employs an isometric world representation with A* pathfinding, dynamic zone management, and a modular system approach for handling farming, construction, and seasonal environmental cycles. Subsystem communication is orchestrated via a central event bus, enabling emergent gameplay through complex relationship dynamics and predator-prey interactions. (Phaser 3, TypeScript, Colony Simulation, Agent-based AI, Isometric Engine, A* Pathfinding)

Agentic Game Design Orchestration

  • neocadia — A narrative-driven minigame collection built with Phaser and TypeScript, featuring a sophisticated multi-agent design orchestration system. The project utilizes specialized AI personas—including Creative, Systems, Narrative, and UX Directors—to iteratively refine game specifications and mechanics across diverse thematic zones. It implements a structured ecosystem of arcade-style loops integrated via a central economy and meta-progression framework. (phaser-3, minigame-collection, narrative-design, game-economy, ai-agents, automation)

Algorithm Design and Analysis

  • cs344 — A comprehensive implementation of core data structures and algorithms, featuring comparative performance analysis of sorting techniques and balanced tree structures. The project includes robust implementations of BST, AVL, and Splay trees, along with graph traversal algorithms (BFS/DFS) and specialized min-max selection routines. (data-structures, algorithms, cpp, sorting-algorithms, binary-search-trees, avl-trees)

Android MVVM Architecture

  • didijustdrinkwater — A native Android hydration tracking application implementing modern architectural patterns with the Jetpack suite. It utilizes Room for local SQLite persistence of timestamped events, Kotlin Coroutines and Flows for reactive data streams, and a ViewModel-driven UI layer with RecyclerView for efficient list rendering. (android, kotlin, room-persistence, jetpack, mvvm, recyclerview)

Applied Cryptography

  • cs456 — A comprehensive suite of cryptographic implementations and cryptanalysis tools focusing on both classical and modern primitives. The repository includes solvers for monoalphabetic substitution ciphers, modular arithmetic implementations of RSA and ElGamal, and Elliptic Curve Cryptography (ECC) systems. It further demonstrates practical application through an encrypted chat architecture utilizing hybrid cryptosystems with AES-CBC and ElGamal. (cryptography, cryptanalysis, rsa, elgamal, ecc, aes)

Arch Linux Package Build Automation

  • simplebuilder — A minimalist shell utility designed to automate the batch compilation of Arch Linux packages directly from the Arch Build System (ABS) tree. It processes package identifiers via standard input, leveraging makepkg for dependency resolution and unattended installation while maintaining persistent logs of build results. The script implements robust signal handling to ensure clean state reporting during interrupted execution cycles. (shell, bash, arch-linux, abs, makepkg, package-management)

Area Control Game Engine

  • multiway-tug — A terminal-based implementation of a competitive area-control card game. It features a custom game engine managing deck shuffling, player hand states, and multi-objective scoring mechanics across distinct territorial markers. (tui, game-engine, area-control, card-game, ratatui, rust)

Asymmetric Cryptography Implementation

  • crap_rsa — A minimal RSA implementation in Rust utilizing the GNU Multiple Precision (GMP) library via rust-gmp. It provides core cryptographic primitives including Miller-Rabin primality testing for key generation, modular exponentiation for encryption/decryption, and a CLI utility for key management. (rsa, cryptography, rust, gmp, asymmetric-encryption, miller-rabin)

Asymmetric Information Game Engines

  • esgea — A networked engine for two-player asymmetric-information strategy games, featuring graph-based spatial movement and intelligence-driven resource management. The system implements a robust hidden-state model where players manage concealment, execute stealth maneuvers, and receive filtered observations via a centralized Actix-web server and WebSocket infrastructure. (rust, game-engine, asymmetric-information, stealth-mechanics, game-server, websockets)

Asynchronous Web Services

  • mrmeistopheles — A lightweight asynchronous HTTP server constructed using the Axum framework and Tokio runtime in Rust. The service implements a minimal routing architecture to deliver dynamically generated responses salted with entropy from the rand crate. It is designed to bind directly to privileged network ports, requiring elevated system permissions for production deployment and execution. (rust, axum, tokio, http, async-rs, backend)

Automata-based Multiplayer Game Platform

  • automatafl — A distributed multiplayer game platform centered around a cellular automaton board game logic, implemented as a modular Rust workspace. It features a high-performance Axum backend with SQLite/SQLx persistence, a Leptos-based WebAssembly frontend, and shared API models for type-safe communication. The project incorporates real-time WebSocket state synchronization, automated matchmaking, and exploratory reinforcement learning prototypes. (rust, axum, leptos, sqlite, websockets, wasm)

Binary Serialization IDL & Code Generation

  • Protogen — Protogen is a domain-specific compiler and code generation utility designed for the Arke Industries Interchange Protocol (AIIP). It utilizes the Grako parser generator to translate EBNF-defined schemas into serialization and deserialization interfaces, supporting compact binary layouts without alignment padding. The tool specializes in mapping RPC methods, notifications, and complex object hierarchies to target language constructs, with a primary implementation for C# environments. (protocol-idl, code-generation, binary-serialization, rpc-framework, grako, ebnf)

Biometric Surgical Simulation

  • jarvis — A medical simulation and visualization platform developed in Unity that bridges physical sensor data with high-fidelity virtual environments. The system utilizes Arduino-based hardware for real-time biometric telemetry, rendering interactive surgical and morgue scenarios using Physically Based Rendering (PBR) workflows. It is designed for clinical training and immersive physiological data integration within 3D spaces. (unity, csharp, arduino, medical-simulation, pbr, telemetry)

Bit-Packed Data Structures

  • rust-bitmap — A dense bitmap implementation in Rust designed for storing small, fixed-width bit-slices within a contiguous memory block. It bypasses standard collection overhead by using raw pointer management and manual bounds checking to ensure efficient bit-packing and retrieval. The library provides safe interfaces for allocating and accessing packed data, utilizing bitwise operations to handle slices that cross byte boundaries. (bitmap, rust, bit-packing, data-structures, memory-management, unsafe-rust)

Business Simulation Game

  • LetsPlay — A desktop simulation game developed using the Electron framework that models the operational management of a digital media channel. The system utilizes a decoupled architecture where the Node.js main process manages application lifecycle and window orchestration, while the renderer process handles the simulation logic and user interface via web technologies. It implements standard event-driven patterns for window management and basic crash reporting for runtime stability. (electron, javascript, simulation, game-development, desktop-application, cross-platform)

Byzantine Fault-Tolerant Consensus

  • hellas-morpheus — Morpheus is a high-throughput Byzantine Fault-Tolerant (BFT) consensus protocol implemented in Rust, designed for robust performance in distributed environments. The system utilizes a novel architecture of interleaved leader and transaction blocks, supported by quorum certificates and view-based leadership transitions to ensure consistency and liveness. A TypeScript-based frontend provides real-time visualization of the consensus DAG, network topology, and process state through a WebSocket-driven simulation harness. (bft, consensus, rust, typescript, blockchain, distributed-systems)

Byzantine Fault-Tolerant Consensus & Decentralized Compute Architecture

  • protoproto2 — A research sandbox for the Hellas Protocol, a high-throughput decentralized compute network employing an object-centric state model and the Morpheus BFT consensus. The architecture utilizes a DAG-based block structure with dual-phase execution to maintain performance during network instability. It incorporates the Muchin simulation framework for deterministic protocol modeling and Leptos-based interactive visualization tools. (blockchain, consensus, bft, dag, distributed-systems, decentralized-compute)

Byzantine Fault-Tolerant State Machine Replication

  • devvber — The Hellas Protocol is a high-throughput decentralized compute network specifically architected for AI marketplaces, utilizing an object-centric state model and bounded counters to enable massive parallel execution. It integrates the Morpheus consensus engine, a DAG-based Byzantine fault-tolerant protocol that optimizes for low-latency transaction finality through view-managed leader blocks. The workspace includes specialized tools for protocol simulation, property-based testing, and interactive WASM-based visualizations of complex state transitions. (blockchain, consensus, bft, dag, decentralized-compute, rust)

Cellular Automata Simulation

  • caca2 — A high-performance cellular automata simulation engine leveraging WGPU for cross-platform GPU acceleration and egui for real-time parameter manipulation. It supports a diverse range of 2D CA rules including Life-like, totalistic, and isotropic specifications across Moore, von Neumann, and custom neighborhoods with integrated WebAssembly support for browser-based deployment. (cellular-automata, wgpu, webgpu, rust, wasm, simulation)
  • jubilant-train — A memory-efficient implementation of Conway's Game of Life in Rust utilizing bitset-backed spatial representations for optimized state transitions. The engine employs double-buffering for grid updates and Moore neighborhood evaluation via coordinate-to-linear index mapping with safety-conscious wrapping arithmetic. The project also provides utility components for parsing Run Length Encoded (RLE) pattern files and converting them to coordinate-based Life 1.06 specifications. (game-of-life, cellular-automata, rust, bitset, rle, life-1-06)
  • piday-automata — A Python-based simulation framework for cellular automata, leveraging Pygame for real-time visualization on Raspberry Pi hardware. It provides modular implementations for Conway's Game of Life and a stochastic forest fire model, incorporating sprite-based animations for tree growth and combustion cycles. The project demonstrates grid-based state management, Moore neighborhood analysis, and interactive event-driven simulation control. (cellular-automata, pygame, raspberry-pi, python, conway-game-of-life, forest-fire)

Cgroup Resource Management

  • rust-cgroup — A low-level Rust abstraction for interacting with Linux Control Groups (cgroups) via procfs and sysfs interfaces. It provides mechanisms for discovering controller mappings for specific process identifiers and enables structured access to resource metrics and configuration parameters within the cgroup hierarchy. The library handles virtual filesystem path resolution and implements a cached lookup system for controller-specific attributes. (rust, cgroups, linux-kernel, system-programming, resource-management, procfs)

Chronal Real-Time Strategy Architecture

  • Achron — A comprehensive reverse-engineering and modern reimplementation of the Resequence engine, the core time-travel architecture behind the RTS game Achron. It implements advanced temporal mechanics including event-linked entity histories for O(log n) state queries, parallel timeline observation via variable-speed 'Timewaves', and causal consistency through sorted state propagation. The repository features a high-performance Rust core with WASM bindings, a Svelte-based visualization suite, and various asset decompilation and export tools. (time-travel, rts-engine, rust, wasm, simulation, reverse-engineering)

Cognitive Electrophysiology

  • erp — A minimal repository or catalog for Event-Related Potential (ERP) datasets and related signal processing experiments. It likely serves as an archival index for neurophysiological data used in broader cognitive learning systems research. (neuroscience, erp, signal-processing, cognitive-science, data-indexing, eeg)

Collaborative Canvas Automation

  • fuckplace — fuckplace is a specialized automation utility implemented in Rust designed to flood a distributed collaborative canvas with specific pixel data via WebSockets. The tool employs a multi-threaded architecture to decouple message transmission from reception, maintaining persistent connectivity and handling protocol-level control frames like Pings. It systematically iterates across a 500x500 coordinate space to synchronize a uniform state across the remote canvas interface. (rust, websocket, automation, concurrency, canvas, bot)

Collaborative Generative Audiovisual Systems

  • chaingang — A collection of interactive audiovisual experiences and multiplayer generative games utilizing a custom entity-component-system and p5.js rendering. It features real-time state synchronization via Y-Sweet CRDTs, a modular audio engine for procedural synthesis, and a physics-driven interaction model based on Matter.js. The architecture supports complex narrative choreography and multi-layered post-processing effects within a browser environment. (multiplayer, generative-art, p5js, ecs, crdt, web-audio-api)

Color Science and Computer Graphics

  • color-rs — A low-level Rust library for color space manipulation and representation. It provides generic data structures for RGB, HSV, YCbCr, and sRGB formats, along with traits for channel-wise conversions and normalized float-based color arithmetic. (rust, color-space, graphics, rgb, hsv, ycbcr)

Combinatorial Anagram Resolution

  • wordfoo — wordfoo is a high-performance Rust utility designed to resolve anagrams by generating string permutations and cross-referencing them against an embedded wordlist. The implementation utilizes Heap's algorithm for efficient combinatorial generation and leverages a BTreeSet to achieve logarithmic lookup times against a pre-indexed dictionary. By embedding the lexicon at compile-time and employing unsafe UTF-8 conversions, the tool achieves minimal latency and total self-containment for rapid command-line use. (rust, anagram-solver, permutations, heaps-algorithm, wordlist, cli-tool)

Combinatorial Game Theory

  • tictacflicflacfloe — An exploration of extended abstract strategy games on a 3x3 grid, introducing layered symbol mechanics (X, O, T, S) and multi-occupancy square rules. The project comprises a bit-packed game logic engine, a state-space exhaustive explorer for symmetry-aware canonicalization and win-condition analysis, and a WASM-based interactive frontend. (rust, wasm, egui, trunk, game-theory, abstract-strategy)

Compiler Construction

  • cs445 — A comprehensive Pascal-like language compiler implemented in C, targeting x86_64 assembly. It features a complete frontend with Flex/Bison-based lexical and syntactic analysis, a symbol table manager with lexical scoping, and a backend for semantic analysis and code generation including register allocation and stack frame management. (compiler, pascal, x86-64, codegen, flex, bison)

Compiler Frontend Instrumentation

  • rest_easy — A legacy Rust compiler plugin that implements a custom lint to signal the transition from static analysis to the code generation phase. By hooking into the crate validation pass, it notifies the developer once the compiler has completed all checks that could result in a compilation error, indicating that the remaining build time is dedicated to translation. This provides an early success signal for long-running builds before the computationally intensive codegen process begins. (rust, rustc, compiler-plugin, lint, static-analysis, codegen)

Compiler Performance Telemetry

  • rust-bench — A benchmarking suite for monitoring and analyzing the resource consumption of the Rust compiler across historical revisions. It utilizes Linux cgroups for fine-grained memory and CPU telemetry, providing automated build orchestration, JSON serialization of performance metrics, and visualization scripts for regression analysis. (benchmarking, rustc, cgroups, resource-monitoring, telemetry, data-visualization)

Compiler-Integrated Documentation Generation

  • rustdoc_ng — An archival documentation extraction engine for Rust that served as the architectural prototype for the modern rustdoc tool. It leverages the rustc compiler frontend to perform deep semantic analysis of crates, transforming internal abstract syntax trees into a simplified, document-oriented schema. The tool employs a pass-based transformation pipeline and supports external dynamic library plugins for customizable metadata processing and output formatting. (rust, rustdoc, compiler-api, ast-transformation, static-analysis, documentation-generator)

Computational Cardiorespiratory Physiology

  • brorb — Brorb is a mechanistic, browser-native simulation of mammalian respiratory and cardiovascular dynamics, coupling a brainstem Central Pattern Generator (CPG) with mechanical models of pulmonary and systemic circulation. The system employs a 4th-order Runge-Kutta solver to integrate activity-based neural populations, gas exchange kinetics, and hemodynamics including baroreflex and chemoreceptor feedback loops. It features real-time visualization via a generative shader-based orb and a skeuomorphic medical dashboard, supporting bio-interactive entrainment through microphone-based breath detection. (biophysical-simulation, central-pattern-generator, hemodynamics, respiratory-mechanics, chemoreception, baroreflex)

Computational Cognitive Modeling

  • abcdeez — An advanced research framework for adaptive graph-coded learning that implements cognitive modeling techniques to help users internalize complex graph-structured knowledge. The system leverages Bayesian learner models and Expected Information Gain (EIG) to optimize task selection, while employing Ex-Gaussian modeling for precise response time analysis. It supports diverse structural topologies including linear sequences, cycles, and partial orders, facilitating the study of mental model navigation and strategy transitions. (rust, cognitive-science, adaptive-learning, bayesian-modeling, graph-theory, expected-information-gain)
  • abcdeez2 — A high-fidelity cognitive modeling framework designed for adaptive training of graph-structured knowledge domains. The system leverages Bayesian parameter estimation and Expected Information Gain (EIG) to optimize task selection, while utilizing Ex-Gaussian response time distributions to detect strategy transitions from serial scanning to direct indexing. Its architecture supports complex topologies—including cycles, DAGs, and general graphs—integrated within a cross-platform Rust ecosystem featuring a web-backend for longitudinal studies and Xilem-based interactive interfaces. (rust, bayesian-inference, cognitive-science, graph-theory, adaptive-learning, eig)

Computational Geometry & Mesh Topology

  • blender-graphify — A Blender operator and mesh utility for extracting topological face-adjacency graphs from arbitrary manifold geometry. It provides a specialized cuboid generator with parametric subdivision and a 'graphify' process that maps mesh faces to graph nodes and shared edges to graph links using the BMesh API. (blender-addon, bmesh, topology-analysis, mesh-processing, python-scripting, graph-theory)

Computational Linear Algebra

  • linalg — A pedagogical linear algebra library implemented in early-stage Rust, providing fundamental matrix structures and linear system operations. It features a generic two-dimensional matrix implementation with support for row and column iteration, matrix augmentation, and row-wise manipulations. The project serves as a functional exploration of matrix calculus and linear equation substitution using Rust's primitive type system. (linear-algebra, matrix-operations, rust-lang, computational-math, pedagogical, matrices)

Computational Neutronics and Hydrodynamics

  • buckeye — Buckeye is a multi-modal computational physics suite for neutronics and hydrodynamic simulation, primarily focused on evaluating the criticality of exotic fissile geometries through Monte Carlo and deterministic methods. It implements a continuous-energy Monte Carlo transport engine alongside a coupled hydro-neutronics solver that accounts for radiation-dominated equations of state and shock-induced expansion. The framework leverages Rust and WGPU for hardware-accelerated particle tracking and Manim for high-fidelity visualization of nuclear kinetics and implosion dynamics. (neutron-transport, monte-carlo, criticality-analysis, hydrodynamics, gpgpu, physics-simulation)

Computational Number Theory

  • totient — A minimalist computational utility for investigating prime number distributions and gaps. The program iterates through large integer ranges using a brute-force primality test to identify primes where the gap between consecutive primes exceeds the square root of the value, assisting in empirical number theory research. (rust, prime-numbers, number-theory, computational-math, prime-gaps, research-tool)

Computer Graphics Engineering

  • computer-graphics-book — A comprehensive technical resource detailing the architecture of modern rendering pipelines, from foundational 2D primitives to physically-based 3D rendering. The book covers rasterization, raytracing, and GPU acceleration, supported by rigorous mathematical foundations in linear algebra and calculus. (computer-graphics, rendering, rasterization, raytracing, pbr, shaders)

Concurrent Runtime Micro-benchmarking

  • how-long-does-it-take-to-spawn-a-thread — This project provides a micro-benchmark suite to measure the latency of OS thread spawning versus the initialization of an asynchronous multi-threaded runtime. It utilizes the Criterion benchmarking framework to capture high-resolution timing data for standard library thread creation and the construction of a Tokio multi-threaded executor with specific worker counts. The implementation serves as a performance analysis tool for comparing synchronization and resource allocation overhead between synchronous and asynchronous execution models in Rust. (rust, benchmarking, concurrency, tokio, os-threads, performance-analysis)

Concurrent Tracing Garbage Collection

  • incinerator — An implementation of the Ueno-Ohori concurrent, exact, and non-moving garbage collector in Rust, based on the ICFP'16 research paper. It utilizes tree-structured bitmaps for mark-bit management and a sophisticated handshake mechanism to synchronize mutator threads with the collector. The library provides a segmented heap architecture with size-class partitioning and write barriers to ensure memory safety in highly concurrent environments. (garbage-collection, rust, concurrent-systems, non-moving-gc, tracing-gc, memory-management)

Cross-platform Data Persistence

  • etool — A multi-target local persistence utility utilizing the SwiftData framework and SwiftUI to manage relational data models across the Apple platform family. The architecture emphasizes a unified schema definition and reactive state management for synchronized entry logging on mobile, desktop, and wearable environments. The project integrates standard XCTest suites for both unit and UI verification across disparate hardware targets. (Swift, SwiftUI, SwiftData, iOS, macOS, watchOS)

Cryptographic Engineering

  • libb2-sys — Low-level Rust FFI bindings and bundled source distribution for libb2, a C library implementing the BLAKE2 family of cryptographic hash functions. The project provides raw interfaces to the BLAKE2b, BLAKE2s, BLAKE2bp, and BLAKE2sp algorithms, including architecture-specific SIMD optimizations for SSE2, SSSE3, SSE4.1, AVX, and XOP. (ffi, cryptography, hash-function, blake2, simd-optimization, rust-sys)
  • libblake2 — A high-performance C implementation of the BLAKE2 cryptographic hash function family, including BLAKE2b, BLAKE2s, and their parallel variants BLAKE2bp and BLAKE2sp. The library features hand-optimized primitives utilizing SSE2, SSSE3, SSE4.1, AVX, and XOP instruction sets to achieve near-optimal throughput on x86_64 architectures. (cryptography, hash-function, blake2, simd, sse4, avx)

DAG-based BFT Consensus Research

  • proto-dumping-ground — A research workspace aggregating prototype implementations of high-performance Byzantine fault-tolerant consensus protocols, primarily focusing on DAG-based ordering and object-centric state models. It features the Morpheus protocol, which utilizes threshold cryptography and a dual-phase execution pipeline to optimize throughput across varying network conditions. The architecture employs a purely functional logic-processor pattern with content-addressed persistence for deterministic replay and verification. (rust, bft, consensus, dag, distributed-systems, cryptography)

Darwin Kernel Extension Development

  • DriverTest — DriverTest is a macOS kernel extension (KEXT) prototype implemented in C, targeting the Darwin kernel via the Mach-O module interface. It establishes the foundational lifecycle hooks required for kernel-mode execution, specifically implementing the start and stop routines for module management. The codebase serves as a minimal scaffold for low-level system programming, with internal documentation suggesting an initial exploration into MIDI-related hardware drivers. (macOS, Darwin, Kernel, KEXT, Driver, C)

Data Management Systems

  • cs142-proj2 — A C++ implementation of a flat-file database system for managing soccer student registrations. It provides abstraction layers for student categorization based on age-restricted tiers, payment status tracking, and persistence via file-stream I/O. The system utilizes custom stream operators for serialization and includes basic query capabilities by category. (cpp, flat-file-database, serialization, data-persistence, student-management, file-io)

Data-Oriented Entity Systems

  • ecs — A performance-oriented, data-oriented entity component system designed for high-frequency entity lifecycle management and massive entity scaling. It utilizes a packed bit representation for entities to encode type metadata and employs a bucketed storage strategy to optimize component access and parallel processing. The architecture prioritizes serializability and memory-efficient indexing for billions of transient entities within addressable memory constraints. (ecs, entity-component-system, data-oriented-design, high-performance, parallel-computing, serialization)

Decentralized Spatial Computing Engine

  • ea-grl — A high-performance, decentralized spatial computing platform forked from Third Room, leveraging the Matrix protocol for secure communication and state synchronization. It utilizes a multi-threaded architecture with a data-oriented Entity Component System (ECS) to manage complex 3D environments rendered through Three.js. The platform integrates WebSG for scene graph management, Rapier for deterministic physics, and a WebAssembly-based scripting runtime powered by QuickJS to enable extensible, interoperable virtual worlds. (matrix-protocol, ecs, bitecs, threejs, webgl, webxr)

Developer Tooling

  • coda_net2 — coda_net2 appears to be a developer tooling project using OCaml, Go. The available files suggest focus areas around dune, main, coda, net2. (OCaml, Go, dune, main, coda, net2)
  • minesweep — minesweep appears to be a developer tooling project using C, C/C++, Shell. The available files suggest focus areas around grid, bench, build, readme. (C, C/C++, Shell, grid, bench, build)

Development Environment Orchestration

  • vscode-rustup — A Visual Studio Code extension providing seamless integration with the Rustup toolchain manager. It exposes current toolchain status via the editor status bar and automates toolchain overrides, periodic update checks, and interactive update orchestration via child process spawning. (vscode-extension, rust, rustup, toolchain-management, status-bar, automation)

Digital Imaging and Compression

  • TEMP-rust-png — A pure-Rust implementation of a PNG decoder and encoder, originally developed as a fork of rust-png. It features a manual implementation of the DEFLATE compression algorithm for stream-based decompression of IDAT chunks. The library manages low-level PNG structures including IHDR metadata, color type mapping, and scanline filtering for various bit depths and color formats. (rust, png, image-codec, deflate, compression, graphics)

Digital Library Client

  • alexandria-client — A Rust-based API client library for the Alexandria digital library system, facilitating high-level interaction with Alexandria servers. It provides abstractions for querying book metadata by ISBN or collection indices using the Hyper HTTP stack and legacy Rust serialization patterns. The implementation employs a type-safe state pattern to distinguish between authenticated and unauthenticated server sessions, ensuring structured access to library resources. (rust, api-client, hyper, json, library-management, books)

Digital Library Management

  • alexandria-server — A legacy Rust backend for a library management system utilizing the Iron web framework and PostgreSQL for persistent storage. It provides RESTful endpoints for book inventory management, student record tracking, and transactional history logging, including integration with the Google Books API for ISBN metadata retrieval. The system implements scrypt-based password hashing and structured permission levels for granular user access control. (rust, iron-framework, postgresql, rest-api, isbn-api, google-books-api)

Discrete Constraint Programming

  • gridsearch — A collection of solvers for a grid-based constraint puzzle where internal cells must be populated to form a continuous value-incrementing path between fixed border values. The implementations leverage recursive backtracking and depth-first search strategies in both C++ and early-dialect Rust to explore the combinatorial state space of the NxN grid. (backtracking, puzzle-solver, grid-search, dfs, constraint-satisfaction, c-plus-plus)

Distributed IRC Bot Framework

  • tbot — A modular IRC bot framework utilizing a master-slave distributed architecture to decouple event ingestion from processing logic. It implements a custom event router that supports granular message filtering via dictionary patterns or higher-order functions, bypassing standard event loops for optimized callback handling. The design facilitates rapid bot development through a decorator-based API and automated module loaders communicating over IPC. (irc-bot, distributed-systems, event-routing, master-slave, python-framework, ipc)

Distributed Simulation Rendering

  • antfarm — A hybrid simulation framework integrating a Java-based Processing 4 cellular automata engine with a Unity 3D visualization layer via a RESTful HTTP synchronization bridge. The system implements complex pheromone-driven agent behaviors using weighted random walks and path-reversal heuristics, while the Unity frontend enables immersive gestural interaction through Ultraleap hand-tracking modules. This architecture facilitates real-time state serialization and remote action execution between decoupled simulation and rendering runtimes. (cellular-automata, unity-xr, processing4, ultraleap-tracking, pheromone-logic, simulation-bridge)

Distributed Task Orchestration

  • queue — A lightweight task orchestration system composed of a Lua-based IRC bot and a PostgreSQL-backed web service for persistent item tracking. The architecture leverages the Lanes library for multi-threaded concurrency within the bot and provides a RESTful API wrapper for external management. A minimal web interface facilitates real-time queue monitoring using client-side Handlebars templating and asynchronous requests. (lua, irc-bot, postgresql, task-queue, webservice, concurrency)

Documentation Build Orchestration

  • doc_builder — A Rust-based build utility designed to automate the generation and aggregation of library documentation for the Octayn project. It orchestrates Git operations and rustdoc execution across multiple repositories specified in a JSON manifest, producing a centralized static HTML index for cross-crate discovery. (rust, rustdoc, documentation, automation, git, ci-cd)

Documentation Hosting Infrastructure

  • docs — A configuration-driven registry and manifest for the Octayn documentation hosting platform, facilitating the automated generation and deployment of library documentation. It leverages the doc_builder tool to orchestrate rustdoc and other build processes directly within git-cloned environments. The repository serves as a centralized control point for expanding the docs.octayn.net catalog through community-contributed pull requests. (rustdoc, documentation-hosting, doc-builder, octayn, configuration-registry, automated-builds)

Dynamic FFI Binding Generation

  • udev-dl — udev-dl is a Rust library that implements a dynamic loading interface for the Linux libudev shared object, utilizing runtime symbol resolution via dlopen and dlsym. It provides a macro-driven framework to map C-style function signatures to Rust structures, effectively decoupling applications from hard link-time dependencies on the udev subsystem. This architecture enables robust hardware interaction and device discovery while maintaining flexibility in environments where specific library versions may vary or be absent. (rust, udev, libudev, dlopen, ffi, dynamic-loading)

ECS-based Roguelike Engine Architecture

  • seven-hour-roguelike — A minimalist terminal-based Roguelike engine implemented in Rust, utilizing a custom Entity-Component System (ECS) for flexible entity state management. It features procedural dungeon generation, grid-based movement logic, and manual memory layout for components via unsafe transmutes of raw pointers. The architecture integrates the rustbox library for efficient TUI rendering and employs Bresenham's line algorithm for spatial calculations. (rust, ecs, roguelike, terminal-ui, rustbox, procedural-generation)

ELF Binary Crafting

  • heavy_wizardry — A minimalist exploration into the manual construction of ELF (Executable and Linkable Format) binaries using assembly. The project focuses on hand-crafting executable headers and program tables to achieve extreme size optimization or demonstrate non-standard binary layouts. It serves as a low-level demonstration of system bootstrapping and the intricacies of the ELF specification. (elf, assembly, low-level, binary-manipulation, size-optimization, executable-format)

Endpoint Inventory Discovery

  • network-census — A Rust-based utility designed for system-level auditing of installed software packages on Windows environments via the Microsoft Installer (MSI) API. The tool leverages native FFI calls and the windows-rs crate to enumerate product codes and extract granular metadata such as publisher info, versioning, and installation paths. It facilitates automated software census by serializing endpoint state into structured JSON reports for network-wide inventory management and security auditing. (rust, windows-api, msi, inventory, audit, system-discovery)

Esoteric Language Runtime

  • cbfi — A performance-oriented Brainfuck interpreter in Rust that implements basic run-length encoding (RLE) to coalesce sequences of isomorphic operations into single instructions. During the parsing stage, it performs jump-target precalculation, allowing for constant-time branch resolution during execution. The runtime environment utilizes a statically allocated 3000-byte cell tape and optimizes standard I/O operations by processing coalesced arithmetic and pointer shifts as batch operations. (brainfuck, interpreter, rust, rle-optimization, esolang, virtual-machine)

Exploratory

  • aoc — aoc appears to be a exploratory project using OCaml, Rust. The available files suggest focus areas around dune, cargo, day12, input. (OCaml, Rust, dune, cargo, day12, input)
  • aoc23 — aoc23 appears to be a exploratory project using OCaml. The available files suggest focus areas around dune, day12, day1, day10. (OCaml, dune, day12, day1, day10, day13)
  • emberian — emberian appears to be a exploratory project using mixed tooling. The available files suggest focus areas around readme. (readme)
  • univ190 — univ190 appears to be a exploratory project using mixed tooling. The available files suggest focus areas around paper1. (paper1)

Fixed-Precision Emulation

  • UInt64 — A lightweight JavaScript implementation of 64-bit unsigned integers designed to bypass ECMAScript's native 53-bit integer precision limit. It manages 64-bit state using dual 32-bit registers and provides manual bitwise operations, logical shifts, and modular arithmetic. The implementation specifically addresses sign-propagation issues in standard JavaScript bitwise operators by utilizing bit-array conversions for intermediate calculations. (uint64, bitwise-operators, arbitrary-precision, integer-arithmetic, javascript-numbers, low-level)

Formal Grammar Representation

  • rust-cfg — A Rust library providing fundamental data structures for representing and manipulating Context-Free Grammars. It defines an efficient representation for terminals and non-terminals using integer-based indexing and provides facilities for defining production rules and symbol naming. The implementation enables programmatic grammar construction with validation checks for start symbols and variable definitions. (rust, cfg, formal-languages, grammar-parsing, context-free-grammar, production-rules)

Formal Language Theory

  • pct — A Rust library for generating and executing LL(1) parsers from context-free grammars. It implements algorithms for computing nullability, FIRST/FOLLOW sets, and deterministic parse tables, supporting a custom BNF-like input format. (rust, compiler-construction, ll1-parser, cfg, formal-languages, parsing-algorithms)

Formal Semantics and Interactive Theorem Proving

  • ConcreteSemantics — A comprehensive formalization of programming language semantics and type theory implemented in the Isabelle/HOL proof assistant. The project follows the 'Concrete Semantics' curriculum, providing machine-checked proofs for the operational semantics of the IMP language, abstract interpretation, Hoare logic, and compiler correctness. It serves as a rigorous foundation for program analysis and formal verification of language properties. (isabelle-hol, formal-semantics, operational-semantics, big-step-semantics, small-step-semantics, abstract-interpretation)

Functional Programming & Symbolic Abstraction

  • sicp — A collection of Scheme implementations and theoretical exercises derived from the 'Structure and Interpretation of Computer Programs' curriculum. The project explores fundamental computational models, focusing on procedural and data abstractions, evaluation strategies, and the mechanics of symbolic expression. It serves as a technical sandbox for mastering the Lisp-based paradigms of recursion and functional decomposition. (scheme, lisp, sicp, functional-programming, recursion, mit-6.001)

GPGPU Simulation

  • caca — A high-performance cellular automata simulation engine leveraging WGPU for GPU-accelerated compute and rendering. It supports various CA rule-sets including classic Life-like totalistic rules and spatially-partitioned stochastic transitions, targetable to both native and WebAssembly/WebGPU platforms. (rust, webgpu, wgpu, cellular-automata, compute-shader, wgsl)

Garbage Collection Algorithms

  • rust-cc — A primitive cycle collector for Rust that provides a trait-based mechanism for breaking reference cycles in reference-counted pointer graphs. It implements a depth-first search algorithm to traverse object graphs via user-defined reference enumeration and provides a manual collection trigger to resolve leaks in 'Rc' and 'RefCell' based structures. (rust, garbage-collection, cycle-collection, memory-management, reference-counting, cyclic-references)

Generic Data Structure Framework

  • dsl — A lightweight C library providing polymorphic data structures with an interface inspired by the C++ STL. It implements memory-managed arrays and doubly-linked lists with a unified sequence abstraction, supporting custom object lifecycle functions for deep copying and destruction. The library includes iterator-based traversal and high-level functional operations like mapping, filtering, and comparison-based sorting. (c-library, data-structures, stl-like, iterators, memory-management, dynamic-array)

Generic Meta-programming

  • compose — A minimalist C++ utility providing a template-based wrapper for functional composition. It defines a generic Composed class that encapsulates two callable entities, enabling the execution of nested function applications through a variadic call operator. The implementation explores the boundaries of C++ template deduction and type-safe function chaining. (cpp, templates, functional-programming, function-composition, header-only, variadic-templates)

Graphics API Abstraction

  • hgl-rs — A lightweight Rust wrapper for OpenGL 3.1, providing type-safe abstractions for common graphics primitives. It implements high-level interfaces for shaders, programs, vertex array objects (VAOs), and textures while maintaining direct control over the underlying GL state. (opengl, graphics, rust, glsl, rendering, vbo)

Graphics Abstraction Ecosystem Documentation

  • gfx-rs.github.io — The repository serves as the official Jekyll-based technical portal for the gfx-rs project, facilitating the dissemination of documentation and project updates for the Rust graphics ecosystem. It implements a responsive frontend architecture utilizing the Bootstrap framework to ensure accessible content delivery across various client environments. The site structure follows standard static site generation patterns for hosting project announcements and low-level graphics abstraction specifications on GitHub Pages. (jekyll, github-pages, static-site-generator, bootstrap, gfx-rs, rust-graphics)

Graphics Hardware Abstraction

  • metal-sketch — An exploratory Rust interface design for the Metal graphics API, focusing on trait-based hardware abstraction for GPU resources and command execution. It defines core abstractions for devices, buffers, textures, and render pipelines to provide a type-safe wrapper around low-level graphics primitives. The project serves as an architectural blueprint for mapping Apple's Metal concepts into idiomatic early Rust structures. (rust, metal, graphics-api, gpu, hardware-abstraction, render-pipeline)
  • nice_glfw — A Rust utility library providing a robust WindowBuilder for GLFW with automated OpenGL context selection. It implements a fallback mechanism for context creation, attempting to initialize modern Core Profile contexts (3.2+) before falling back to legacy versions to ensure maximum hardware compatibility. (rust, glfw, opengl, graphics, windowing, context-creation)

Graphics Hardware Abstraction Layer

  • gfx-rs-deadlock-example — A minimal reproduction case designed to demonstrate or investigate a deadlock condition within the legacy gfx-rs rendering pipeline. It utilizes an early multi-threaded architecture where the GLFW event loop on the main thread communicates with a spawned rendering task via a command queue and device synchronization primitives. (rust, gfx-rs, glfw, graphics-api, deadlock-reproduction, multithreading)

Hardware-Accelerated Path Tracing

  • shitting_furiously — A hybrid ray tracing implementation that utilizes a unified Rust codebase for both host-side orchestration and GPU-resident compute kernels via the rust-gpu/SPIR-V toolchain. It leverages Vulkan compute pipelines for massively parallel ray-sphere intersection tests, while providing a Rayon-based multi-threaded CPU fallback for comparative performance analysis. The system integrates real-time display capabilities through the Piston framework and handles complex Vulkan state management including descriptor sets, command buffers, and memory-mapped storage buffers. (rust, vulkan, ray-tracing, spirv, rust-gpu, compute-shader)

Hardware-Accelerated Real-Time Rendering

  • raytrace — A low-level hardware-accelerated raytracer prototype implemented in Rust using the legacy gfx-rs graphics stack. It utilizes GLFW for window management and OpenGL-based shaders to project and display raytraced buffers directly to the screen via texture manipulation. The implementation demonstrates early idiomatic Rust patterns such as procedural macros for shader parameters and vertex format declarations. (rust, opengl, raytracing, gfx-rs, glfw, glsl)

Hierarchical Resource Routing

  • leafy — leafy is a minimalist Lua-based hierarchical router that utilizes recursive table traversal and metatable-driven defaults to resolve URI-style paths into callable handlers. It implements a flexible dispatch protocol where path segments are mapped to table keys, supporting dynamic capture and nested routing through a state-aware default lookup mechanism. The library is designed as a zero-dependency primitive for high-performance Lua applications requiring predictable and extensible request routing. (lua, routing, dispatch, path-resolution, minimalist, metatables)

High-Throughput Distributed Consensus

  • protoproto — A high-performance research sandbox for the Hellas protocol, featuring the Morpheus consensus engine. It integrates DAG-based Byzantine Fault Tolerance with weighted threshold signatures and a custom actor-based state machine framework. (consensus-protocol, dag-bft, threshold-signatures, weighted-aggregation, kzg-commitments, fiat-shamir)

Hypermedia Knowledge Graph

  • s_lf — A personal exocortex and hypermedia document system implemented in Rust, designed as a hybrid between a wiki, a journaling tool, and a digital garden. It employs a versatile message-based data model that supports structured text, multimedia embeds, academic references, and WASM-based dynamic content with capability-based security. The system provides a terminal user interface for managing a 'wiki-like bag of documents' and aims to facilitate decentralized social interaction. (exocortex, rust, tui, knowledge-management, digital-garden, wiki)

Immediate-Mode Graphics Rendering

  • imm3d — imm3d is an exploratory Rust library designed for immediate-mode 3D graphics programming, providing a streamlined imperative interface for rendering spatial primitives. By abstracting the complexities of retained-mode graphics pipelines, the project facilitates rapid prototyping and direct visualization through a simplified API. It currently serves as a minimal scaffold for implementing lightweight 3D rendering routines suitable for systems-level diagnostics and tooling. (rust, immediate-mode, 3d-graphics, graphics-api, rendering, visualization)

Information Operations & Behavioral Stylometry

  • moltmirror — Moltmirror is a multi-language analysis suite engineered for the detection of coordinated inauthentic behavior and narrative propagation within the Moltbook ecosystem. It utilizes behavioral fingerprints, stylometric LLM detection, and graph-theoretic community analysis to identify sockpuppet networks and synchronized influence operations. The system features a high-performance Rust ingestion engine and a Python-based analytical core that implements sparse matrix caching and vector-based semantic search for large-scale social intelligence. (vector-search, semantic-search, sockpuppet-detection, behavioral-fingerprinting, narrative-tracking, information-operations)

Information System Requirements Engineering

  • library-project — This repository contains the formal Requirements Analysis Document (RAD) and architectural design for a library management system developed for the Clarkson Open Source Institute. It leverages LaTeX for high-fidelity technical typesetting of use cases and system specifications, supported by a structured UML suite including object and interaction diagrams. The project documents the engineering lifecycle from preliminary conceptualization to finalized system design using automated build processes. (LMS, Requirements-Engineering, UML, LaTeX, COSI, Use-Case)

Instrumenting Hierarchical Profiling

  • hprof — hprof is a real-time hierarchical profiler for Rust designed for rough performance measurements in systems with tree-like execution patterns, such as game engines. It allows developers to annotate code blocks into a structured tree of behavior, measuring the relative time consumption of nested systems like physics, AI, and rendering. The library provides both explicit profiler management and implicit thread-local state using RAII guards for non-invasive instrumentation. (rust, profiler, hierarchical, real-time, instrumentation, performance-analysis)

Interpreted Domain-Specific Language

  • ion — A lightweight tree-walk interpreter for a custom imperative language featuring static variable definitions and arithmetic expression evaluation. The system implements a regex-based recursive descent parser to construct an abstract syntax tree (AST) and maintains a symbol environment for stateful execution. (interpreter, parser, abstract-syntax-tree, recursive-descent, regex-parsing, tree-walk)

Kinematic Animation and Interpolation

  • redox-tween — A lightweight Rust library for smooth numerical value interpolation, commonly utilized in animation and game development. It implements a variety of classic easing equations—including quadratic, quintic, and elastic curves—while providing flexible mechanisms for sequential and parallel orchestration. The library supports multiple value mutation strategies through trait-based access, including Cell wrappers, unsafe pointers, and callback functions. (rust, tweening, easing-functions, interpolation, animation-engine, gamedev)

Kinodynamic Motion Planning

  • cmr_rrt — A Python-based implementation of Rapidly-exploring Random Trees (RRT) integrated with ROS for non-holonomic robot motion planning. It utilizes spatial indexing via R-trees and numerical optimization with SciPy to solve kinodynamic steering problems in 2D image-based occupancy maps. (rrt, motion-planning, robotics, ros, kinodynamic-planning, path-finding)

Knowledge Graph Visualization & Domain-Driven Runtimes

  • factshift-redux — A high-performance knowledge management and visualization platform integrating a Rust-based domain model with a dynamic, simulation-driven frontend. The system employs a capability-based security model using Macaroons and a custom DSL (SPW) for structured data interchange and spatial layout composition. (rust, javascript, d3-force, web-simulation, domain-driven-design, macaroons)

Knowledge Graph-based Inventory Management

  • ticklogseq — A localized personal knowledge base and inventory management repository structured as a Logseq graph. It leverages Org-mode syntax to document, categorize, and track outdoor equipment and hiking gear through a bidirectional link-based architecture. The repository functions as a version-controlled digital garden for personal asset logistics and situational readiness. (logseq, org-mode, pkm, inventory-tracking, personal-wiki, digital-garden)

LLM Context Engineering & Semantic Compression

  • mkcx — mkcx is a context curation engine designed to synthesize high-fidelity prompts for one-shot LLM software engineering workflows. It integrates a CLI for multi-source ingestion from Local, Crates.io, GitHub, and Opam sources with a background daemon, mkcxd, that manages vector embeddings and semantic context compression. The system employs advanced summarization strategies and trait implementation ablations to optimize token usage while preserving critical architectural intent for large-scale model reasoning. (rust, llm-context, mcp-server, vector-embeddings, context-compression, crates-io)

Language Runtime Engineering

  • bantaML — A high-performance Standard ML and Lisp implementation leveraging a Rust-based runtime with C-interoperability. The system features a custom bytecode interpreter or tree-walking evaluator with support for first-class continuations, manual memory management via a C-style object model, and an extensible builtin system using procedural macros. It appears to be a transcription or port of a C-based Lisp engine (tiny-lisp) into a memory-safe environment with low-level FFIs. (rust, compiler-design, language-runtime, standard-ml, lisp-interpreter, ffi)

Lazy Functional Abstract Machines

  • embershot — embershot is an experimental Rust-based runtime implementing a pure, lazy combinator calculus via an eval/apply transition system inspired by the Spineless Tagless G-machine. Developed for the ICFP Programming Contest 2020, it features a custom, non-moving concurrent garbage collector named 'incinerator' based on the Ueno-Ohori algorithm. The system prioritizes graph reduction and thunk management over high-level language features, providing a low-level substrate for functional program execution. (rust, icfp2020, combinator-calculus, stg-machine, lazy-evaluation, garbage-collection)

Library Information System Middleware

  • alexandria-common — Alexandria-common serves as the shared data model layer for the Alexandria library management system, defining core schemas for inventory, users, and transaction history. It implements serializable domain objects and enums to represent library actions and permission levels, facilitating consistent data exchange across the project's ecosystem. The implementation focuses on mapping application-level logic to relational database primitives using early Rust serialization patterns. (rust, library-management, domain-models, serialization, database-schema, inventory-tracking)

Linker and Binary Format Internals

  • objtab — An educational deep-dive into the mechanics of object file formats, symbol resolution, and linking procedures for ELF and WebAssembly. It features a custom Rust-based mdBook extension, mdbook-exec, which facilitates Docker-isolated execution of binary analysis tools to ensure technical accuracy within the documentation. The content bridges the gap between low-level native toolchains and modern web-based binary standards through comparative analysis. (elf, wasm, linking, relocations, symbols, symbol-tables)

Lisp Interpreter Transpilation

  • bantamlisp — A Rust implementation of the TinyLisp interpreter, primarily derived from C source code via the c2rust transpilation tool. The project integrates environment-based configuration and provides a structured harness for benchmarking and integration testing of the Lisp runtime. It serves as a technical prototype for migrating legacy interpreter logic into a memory-safe systems programming environment while preserving original execution semantics. (rust, lisp, tinylisp, c2rust, interpreter, transpilation)

Local LLM Agent Orchestration

  • zwobot — zwobot is a multi-model LLM orchestration framework and Zulip agent that leverages mistral.rs for local inference across isolated conversation topics. It integrates a modular suite of subsystems including Rhai-based scriptable game logic, Spween narrative execution, and a comprehensive RPG mechanics library to provide interactive, multi-character roleplaying experiences. The architecture features a React-based widget system for rich chat interactions and includes an MCP server implementation for cross-platform model context sharing. (rust, zulip, llm, local-inference, mistral-rs, rhai)

Log Stream Visualization

  • rust-log-viewer — rust-log-viewer is a specialized single-page utility for parsing and visualizing logs generated by the Rust standard distribution's built-in logger. It employs AngularJS to provide real-time filtering and semantic color-coding based on log levels and module names, specifically optimized for debugging the Rust compiler (rustc). The implementation uses deterministic string parsing to transform raw log streams into interactive, filterable data structures directly within the browser. (rust, logging, angularjs, spa, developer-tooling, rustc)

Longitudinal License Distribution Analysis

  • crates_io_licenses_over_time — A Rust-based analysis utility designed to track the longitudinal evolution of license distributions within the crates.io registry. The system leverages asynchronous API interaction to ingest full crate metadata, generating periodic snapshots of license counts while accounting for crate-level license mutations over time. A secondary Python component provides normalization heuristics to collapse complex SPDX license expressions into manageable taxonomic categories for visualization. (rust, crates-io, licensing, data-analysis, tokio, spdx)

Ludological Behavioral Simulation

  • tinytable — A browser-based management simulation of a tabletop RPG session, modeled as a real-time state machine. The system integrates player psychology metrics—such as hunger, energy, and engagement—with environmental variables like ambiance and snacks to compute an aggregate 'vibe' score that determines session success. (simulation-game, ttrpg-sim, canvas-api, typescript, state-machine, real-time-simulation)

MMORTS Automation Framework

  • pdo.sd4 — A TypeScript-based automation framework for the Silicon Dawn browser game, providing high-level abstractions for planetary exploration and base construction. It employs DOM-based entity detection and asynchronous state synchronization to automate fleet operations and infrastructure development. The architecture is designed to eventually support offline game simulation and autonomous AI adversaries. (typescript, userscript, browser-game, automation, scraping, jquery)

Maritime Operations Simulation

  • booty-haul — A high-fidelity maritime piracy simulation and visualization engine exploring the geometry of oceanic detection. The system models historical encounter probabilities in the Caribbean basin through various strategies like chokepoint ambushes and intelligence networks, utilizing quadratic Bézier curves for trade route navigation and physical models for Earth-curvature-limited line-of-sight. (maritime-simulation, stochastic-modeling, kinematics, geospatial-projection, canvas-api, monte-carlo)

Metacircular Term Rewriting System

  • ual-tool — A comprehensive Rust-based implementation of the Unified Augmentation Language (UAL) and Semantic Pattern Weaving (SPW), providing a metacircular transformation engine. It utilizes a Gnostic-themed algebraic data structure (Gnosis, Schema, Pleroma) to perform term rewriting and tree transmutations, supporting multiple semantic targets like UI components and LLM prompts. (parser, visualization, term-rewriting, metacircular, gnostic-calculus, semantic-weaving)

Micro-architecture Implementation

  • bfcpu — A hardware implementation of a CPU architecture based on the Brainfuck ISA, utilizing an AVR-based microcontroller as a bridge. The system implements a custom SPI protocol to facilitate I/O between the CPU core and a USB UART interface, managing bi-directional data flow through master/slave role switching. It provides a low-level hardware abstraction layer for serial communication and peripheral control on Atmel AVR platforms. (brainfuck, cpu-design, avr, spi, uart, embedded-c)

Micro-architecture Performance Analysis

  • megadrag — An exploratory micro-architectural performance analysis tool designed to simulate and quantify instruction latency and pipeline stalls. It serves as a low-level testbed for experimental systems engineering projects and high-performance runtime optimization within the user's research environment. (performance-analysis, micro-architecture, simulation, latency, pipeline-stalls, systems-programming)

Minecraft Bytecode & Source Engineering

  • recraft — A comprehensive modding toolchain and source development environment for Minecraft: Java Edition, centered on decompiling, modifying, and recompiling game binaries. It utilizes a TypeScript-based CLI built with Bun to automate the lifecycle of JAR extraction, library configuration, and incremental source recompilation. The workspace includes a fully mapped Minecraft source tree with custom entity integrations and asset management systems. (minecraft, modding, decompiler, compiler, java, typescript)

Minimalist Web Publishing

  • miniblog — A minimalist web publishing platform or static site generator currently undergoing a revival. The project is in an early exploratory stage, presently containing only foundational documentation and licensing as it prepares for active redevelopment. (blogging, minimalism, static-site-generator, content-management, revival, documentation-first)

Mixed Integer Linear Programming

  • rust-lpsolve — A high-level Rust wrapper and integrated development environment for the lpsolve linear programming library. It provides a type-safe builder API for Mixed Integer Linear Programming (MILP), handles complex indexing conventions, and includes a bundled distribution of the underlying LGPL C library with LUSOL basis factorizations. (rust, linear-programming, milp, optimization-solver, simplex-method, branch-and-bound)

Multi-Paradigm Game Engine Framework

  • blackwing — A multi-paradigm game engine and framework designed for narrative, RPG, strategy, and action games with a heavy emphasis on scriptable content. It features a robust ECS architecture, a Rhai-based scripting system for game logic, and a comprehensive content management system using self-contained game bundles. The project includes specialized modules for grid-based strategy, turn-based RPG mechanics, and real-time Zelda-style action physics. (game-engine, ecs, rhai-scripting, wasm, rpg-framework, strategy-game)

Multimedia Educational Content Synthesis

  • febart — febart is an automated video production and curriculum orchestration framework designed for the programmatic generation of pedagogical content focused on psychophysics. The system utilizes a curriculum-as-code approach where TypeScript definitions drive a complex pipeline integrating Manim for mathematical visualizations, AI-driven TTS for character-based Socratic dialogues, and FFmpeg for final assembly. It bridges the gap between formal mathematical derivations and multimedia storytelling through a structured asset management and rendering orchestration system. (typescript, python, manim, ffmpeg, video-automation, curriculum-as-code)

Multimodal LLM & Diffusion Orchestration

  • qwobot — A high-performance multimodal Discord bot implemented in Rust, orchestrating local LLM inference via llama.cpp and diffusion/vision tasks through mistralrs. The system features runtime model hot-swapping, an autonomous chat agent with persistent SQLite-backed memory, and native support for the SPW symbolic expression language. It utilizes a prioritized asynchronous operation queue to manage resource-intensive generative tasks including FLUX-based image synthesis and Qwen-VL vision processing. (discord-bot, rust, llama-cpp, llm, diffusion-models, vision-language-models)

Narrative Scripting Engine

  • spween — spween is a game-agnostic domain-specific language and runtime engine designed for implementing complex branching narratives in interactive systems. The architecture implements a full compilation pipeline consisting of a logos-driven lexical analyzer, a recursive descent parser generating an abstract syntax tree, and a trait-based execution runtime. By decoupling state management through a flexible effect-handler interface, it facilitates seamless integration with diverse host environments via native Rust or WebAssembly bindings. (dsl, narrative, game-development, interpreter, rust, wasm)

Narrative Space Economy Simulation

  • cargo-hold — A mobile-first narrative space trading game featuring deck-building mechanics and an idle-progression loop. It employs a custom Domain-Specific Language (DSL) and compiler, 'holdsmith', to orchestrate complex branching narrative events known as scenelets. Players manage starship resources, crew morale, and volatile cargo while navigating a post-apocalyptic 'Silence' setting dominated by factions and ancient Prior artifacts. (space-trading, deck-builder, narrative-game, pwa, dsl, compiler)

Neural Architectures & Predictive Modeling

  • clarkson-cs470 — This repository centralizes coursework and project-based implementations for a machine learning curriculum, focusing on both supervised and unsupervised neural architectures. The codebase features robust data pipelines for financial fraud detection, employing one-hot vectorization, min-max normalization, and temporal partitioning on high-cardinality imbalanced datasets. It further implements foundational computer vision models including CNNs and U-Nets for semantic segmentation, alongside exploratory clustering analysis using k-Means and the elbow method. (machine-learning, tensorflow, keras, scikit-learn, fraud-detection, cnn)

Neuroendocrine Systems Modeling

  • luteastress — A hybrid Python/Rust computational framework for investigating menstrual cycle synchrony via shared environmental stressors. It implements both a stochastic phase-oscillator model with asymmetric stress sensitivity and a high-fidelity mechanistic ODE system simulating the neuroendocrine GnRH/LH/FSH cascade and HPA axis modulation. (computational-biology, systems-biology, endocrinology, monte-carlo-simulation, ode-solver, rust-pyo3)

Numerical Linear Algebra Bindings

  • libblas-sys — A low-level Rust FFI crate providing native bindings to the BLAS and LAPACK linear algebra libraries, with a primary focus on the OpenBLAS implementation. It features a custom build script to automate the compilation of bundled OpenBLAS source code or link against system-provided libraries, ensuring thread-safe numerical routines are available for Rust applications. The project bridges the gap between high-performance Fortran/C routines and the Rust type system using a minimalist sys-style interface. (blas, lapack, openblas, ffi, rust-sys, linear-algebra)

OSS License Migration Automation

  • relicense-assistant — An automation toolkit designed to facilitate the transition of Rust projects from single MIT or Apache-2.0 licenses to a dual-licensing model. The system orchestrates the entire lifecycle of a relicensing campaign, from harvesting repository metadata via crates.io to managing contributor consent checklists and submitting automated pull requests. (rust, crates-io, licensing, github-api, automation, compliance)

Operating Systems Pedagogy

  • cs444-lab1 — A custom Unix shell implementation developed for a systems programming course using pre-1.0 Rust and direct libc bindings. It bypasses higher-level standard library abstractions to manually manage process lifecycles via fork/exec, handle POSIX signals, and implement I/O redirection and job control. (shell, systems-programming, rust, posix, libc, process-management)

Operational Semantics for Arithmetic Expressions

  • lambda — An implementation of the 'Booleans and Numbers' calculus (NB) as described in 'Types and Programming Languages' (TAPL). It features a LALRPOP-generated parser and provides a REPL environment to compare small-step and big-step operational semantics on arithmetic expressions. (rust, lalrpop, tapl, operational-semantics, interpreter, repl)

POSIX Signal Management

  • rust-signal — A low-level interface for POSIX signal handling implemented in early-stage Rust, providing direct bindings to the sigaction system call via the libc FFI. The project demonstrates the manual configuration of signal action structures, including handler registration, mask sizing, and flag specifications for asynchronous event processing. It serves as a proof-of-concept for intercepting kernel-level interrupts and executing user-defined callback routines within a Rust runtime environment. (rust, posix-signals, ffi, libc, low-level, interrupt-handling)

Package Management Systems

  • cargo-lite — cargo-lite is a minimalist Rust package manager implemented in Python, designed as a lightweight alternative to the official Cargo tool for building and managing Rust crates. It utilizes TOML for manifest configuration and incorporates Blake2 hashing to ensure the cryptographic integrity of package dependencies. The utility streamlines the compilation process by orchestrating Rust compiler invocations and managing local source distributions with minimal system overhead. (rust, package-manager, cargo, python, build-system, toml)

Pairing-Friendly Curve Cryptography

  • o1js-hints — o1js-hints provides a comprehensive implementation of the BN254 pairing-friendly elliptic curve suite tailored for the o1js provable programming environment. The library features optimized arithmetic for tower extension fields up to Fq12, as well as robust group operations for G1 and G2 in both affine and projective coordinates. By leveraging foreign field gadgets and specialized pairing 'hints', it enables the efficient verification of BN254-based cryptographic primitives within Mina Protocol zero-knowledge circuits. (mina-zkapp, o1js, bn254, pairing, zk-snark, elliptic-curve)

Parameter-Efficient Fine-Tuning (PEFT)

  • spwsft — A high-performance fine-tuning environment optimized for the GLM-4.7-Flash model series using the Unsloth library. The system implements memory-efficient Supervised Fine-Tuning (SFT) with LoRA adapters and 4-bit/8-bit quantization on NVIDIA A100 hardware, specifically targeting conversational datasets with custom response-only training masks. (llm-finetuning, lora, peft, unsloth, glm-4, qwen3)

Persistent State Management

  • Duratory — A cross-platform Swift application utilizing SwiftUI and SwiftData for persistent temporal record management. It implements a core relational schema for timestamped entries and features a master-detail interface with integrated functional and user interface testing suites. (swift, swiftui, swiftdata, persistence, ios, macos)

Petri Net Simulation

  • green-factory — A specialized factory automation game utilizing a Petri Net simulation engine to model beverage production pipelines. The system features a bipartite graph-based execution model where 'Places' manage resource token counts and 'Transitions' consume inputs to fire recipe transformations over discrete simulation ticks. (petri-net, simulation-engine, react, zustand, factory-automation, bipartite-graph)

Polarized Type Theory

  • Kale — A prototype implementation of a polarized type system featuring higher-order unification and bidirectional type checking. The engine manages a context of solved and unsolved existential variables to facilitate type inference across complex constructs including universal/existential quantification and linear-adjacent types. It provides a unified syntax for expressions, values, and patterns, emphasizing modularity in sort and polarity handling. (rust, type-theory, bidirectional-typing, higher-order-unification, lambda-calculus, polarized-logic)

Post-mortem Crash Reporting & Stackwalking

  • google-breakpad — Google Breakpad is a comprehensive multi-platform crash-reporting system that implements client-side minidump generation and server-side stackwalking for post-mortem analysis. It provides robust libraries for capturing process state across Linux, Windows, and macOS, utilizing platform-specific primitives such as Mach IPC, ptrace, and structured exception handling. The framework includes a sophisticated processor capable of resolving symbolic information from DWARF, STABS, and PDB formats to reconstruct human-readable backtraces from binary memory dumps. (crash-reporting, minidump, stackwalking, symbol-resolution, dwarf, stabs)

Procedural ASCII Art

  • tree-generator — A Rust-based CLI utility for procedural ASCII tree generation, originally developed as a solution for Reddit's r/dailyprogrammer Challenge #145. The tool implements iterative geometry logic to render centered triangular foliage and a supporting trunk structure based on user-defined width and character sets. It demonstrates basic terminal-based rendering patterns and command-line argument processing in early-dialect Rust. (rust, cli, ascii-art, procedural-generation, terminal-graphics, dailyprogrammer-challenge)

Procedural Content Generation

  • simplectic-c — A lightweight C implementation of Simplectic Noise, a variation of simplex noise designed for efficient multi-dimensional procedural generation. The library provides 2D, 3D, and 4D noise functions using an optimized coordinate skewing and unskewing approach with an internal Xorshift-based permutation table. It is structured as a standalone library with minimal dependencies, providing both static and shared objects for integration into graphics pipelines or simulation environments. (noise-generation, procedural-generation, simplex-noise, simplectic-noise, graphics-programming, c-library)

Procedural Maze Synthesis

  • maze — A Love2D-based exploratory framework for investigating procedural maze generation and automated solving heuristics in Lua. The project implements a custom grid-based simulation environment to experiment with graph-theoretic synthesis and pathfinding without reliance on standard algorithmic templates. It serves as both a graphical demonstration of spatial partitioning and a sandbox for testing foundational logic in a real-time rendering context. (lua, love2d, maze-generation, maze-solving, procedural-generation, pathfinding)

Procedural Nautical Roguelike Simulation

  • booty-hunt — Booty Hunt is a high-performance 3D nautical roguelike built with Three.js and a Rust-based backend for asynchronous social mechanics. The engine features advanced procedural systems for world generation, real-time maritime combat, and a unique Web Audio-driven procedural shanty synthesizer. It implements a robust telemetry and replay infrastructure to support competitive ghost-fleet leaderboards and persistent world events. (three.js, rust, typescript, webgl, procedural-generation, web-audio)

Processor ISA and RTL Implementation

  • absass — A word-size agnostic RISC architecture featuring a uniform 16-bit instruction format and a generalized bitwise boolean instruction set. The repository provides a comprehensive hardware-software co-design ecosystem, including RTL implementations in SpinalHDL and MyHDL, a Rust-based emulator with symbolic analysis capabilities, and custom compiler toolchains featuring automated register allocation. (RISC, ISA, SpinalHDL, MyHDL, Rust, emulator)

Programming Language Implementation

  • RuPaulyML — An exploratory project inferred to be related to the PolyML implementation of Standard ML, likely focusing on runtime internals, compiler extensions, or a custom dialect. The name suggests a thematic or experimental variation on the traditional PolyML environment, aligning with interest in formal methods and high-performance runtimes. (Standard ML, PolyML, Functional Programming, Runtime Systems, Compiler Design)

Programming Language Theory

  • cs341 — A pedagogical repository focused on the implementation of programming language interpreters and formal grammar parsers across multiple paradigms. It includes 'Monty', a Scheme-inspired interpreter written in early-idiom Rust featuring an environment-based evaluation model and custom lexer, alongside an LL(1) recursive descent string expression parser implemented in C. The collection is rounded out by laboratory exercises in Racket and Prolog, exploring functional and logic programming semantics. (rust, racket, prolog, c, interpreter, parser)

RESTful Media Metadata Service

  • cs242-proj2 — A Spring Boot micro-service implementing a genre-based song metadata repository. It leverages Java binary serialization for state persistence and provides a RESTful interface for managing song entries and genre classifications. The system integrates a basic HTML frontend and demonstrates core MVC principles within the Spring ecosystem. (java, spring-boot, rest-api, serialization, media-metadata, mvc)

Reactive State Management Runtimes

  • frp-for-frpools — A literate programming project and implementation suite for functional reactive programming (FRP) based on a high-performance signals architecture. The repository provides a core reactive engine with automated dependency tracking and batching, complemented by optimized integrations for Preact and React, and specialized debugging infrastructure including a custom devtools protocol and UI. (signals, frp, reactive-programming, literate-programming, preact, react)

Real-time Collaborative Messaging System

  • tulip.fg-goose.online — Zulip is a high-performance, open-source team chat application that utilizes a unique topic-based threading model to bridge synchronous and asynchronous communication. It features a robust Python/Django backend with a Tornado-based real-time push system, integrated with PostgreSQL, Redis, and RabbitMQ for scalability. The platform includes comprehensive sub-systems for analytics, billing via Stripe, and an extensive API for bot and integration development. (team-chat, messaging, real-time, asynchronous, django, python)

Real-time Kinematic Game Simulation

  • gerphius — A hardware-accelerated 2D competitive game engine implemented in early-dialect Rust, utilizing OpenGL 3.2 for rendering and GLFW for window management. The system features a custom kinematic physics module with discrete state-based acceleration curves and a programmable sprite-based rendering pipeline. (rust, opengl-3.2, glfw, kinematic-physics, sprite-rendering, real-time-simulation)

Real-time Vector Graphics Synchronization

  • codrawer-bridge — Low-latency infrastructure for AI-assisted collaborative drawing, enabling real-time streaming of stylus input from reMarkable Paper Pro devices to a centralized WebSocket router. The system employs a 'ghost-layer' architecture where AI-generated vector strokes are rendered separately from user ink, integrated with high-performance LLM providers via a specialized multimodal model gateway. (remarkable-paper-pro, stylus-streaming, websocket-router, ghost-layer, vector-graphics, low-latency)

Recursive Descent Compiler Construction

  • lets-build-a-compiler — A Rust implementation of Jack Crenshaw's 'Let's Build a Compiler' series, targeting x86 assembly generation. The project demonstrates recursive descent parsing, expression translation, control flow structures, and a simple interpreter. It follows a modular structure where different phases of the tutorial (multicharacter tokens, control flow, interpretation) are implemented as distinct modules. (compiler-design, recursive-descent-parser, x86-assembly, rust-lang, parser-combinators, code-generation)

Reflection-Based Serialization

  • serde-reflect — A Rust library providing safe runtime reflection and metadata-driven serialization to combat code bloat from extensive Serde derivations. It leverages a reflection database and a custom procedural macro to map Rust type layouts into a uniform runtime representation, enabling generic marshalling without per-type code generation. The system supports complex structures including enums and generic types while maintaining compatibility with the Serde data model. (rust, reflection, serde, serialization, deserialization, code-bloat)

Robotics Middleware

  • cs465-hw1 — A C++ implementation of a ROS-based communication and control framework featuring publisher-subscriber nodes. The repository extends basic messaging patterns with dedicated buffering and controller components, likely intended for handling temporal synchronization or compute-intensive control loops within a robotic middleware context. (ros, robotics, cpp, middleware, pub-sub, control-systems)

Rust Documentation Tooling

  • public-docs — A CLI tool and MCP server utility that extracts and formats the public API of Rust crates by leveraging rustdoc JSON artifacts. It automates workspace dependency resolution, nightly toolchain management, and regular expression-based filtering to provide LLM-optimized representations of a crate's public interface. (rust, cargo, rustdoc, mcp-server, api-extraction, static-analysis)

SIMD-Optimized Cryptographic Primitives

  • blake2 — The BLAKE2 reference source code package provides portable and high-performance implementations of the BLAKE2 cryptographic hash function suite, including the 64-bit BLAKE2b and 32-bit BLAKE2s algorithms. It features SIMD-optimized C implementations leveraging SSE2, SSSE3, SSE4.1, AVX, and XOP extensions to maximize throughput on x86_64 architectures. The repository further includes parallelized variants (BLAKE2bp and BLAKE2sp) that employ a tree hashing structure for multicore efficiency, as well as a native C# implementation and CLI benchmarking tools. (cryptography, hash-function, blake2, simd, sse4.1, avx)

Scriptable Space Simulation Engine

  • Blackwing — Blackwing is a scriptable space simulation and tactical combat engine built with Rust, featuring a multi-client architecture including WebAssembly and TUI frontends. The core engine integrates a Rhai-based scripting environment with JIT compilation via Cranelift to drive sophisticated behavior tree and utility AI systems. It maintains a persistent game world using Sea-ORM and SQLite, supporting high-fidelity simulation cycles and hot-reloadable game logic. (rust, space-sim, rhai, behavior-trees, utility-ai, jit-compiler)

Semantic Code Intelligence & Indexing

  • starmap — A sophisticated repository indexing pipeline that leverages LLMs and high-dimensional embeddings to generate semantic summaries and discover conceptual alignments across heterogeneous codebases. It automates technical metadata extraction, authorship attribution via git history, and term clustering to build 'metaconstellations' of related projects. The system integrates a Rust-based extraction core with Python post-processing and local embedding infrastructure via vLLM or TEI. (repository-indexing, llm-summarization, embeddings, vector-search, rust, python)

Shared-Memory Synchronization

  • cs444-lab5 — An implementation of Single-Producer Multiple-Consumer (SPMC) synchronization primitives exploring the trade-offs between locking granularity and performance. The repository includes coarse-grained mutex wrappers, optimized locking structures, and lockless implementations targeting POSIX thread environments. It serves as a pedagogical reference for concurrent data structure design, addressing issues such as busy-waiting, critical section contention, and memory safety in shared-memory systems. (spmc, pthreads, mutex, concurrency, operating-systems, synchronization)

Sheaf-Theoretic Programming

  • ergolang — Ergolang is a symbolic programming language that treats computation as the manipulation of local sections within a sheaf-theoretic framework. It formalizes the failure of global composition as a measurable 'defect' (Δ), transforming logical inconsistencies from runtime errors into quantifiable information. The language implements a semantic physics model where operations like observation and unification incur thermodynamic costs, governed by contextual parameters such as viscosity and permeability. (sheaf-theory, symbolic-computation, prolog, non-functorial, sheaf-cohomology, information-geometry)

Shielded Transaction System

  • zkbox — A zero-knowledge privacy framework built on the Mina Protocol using o1js to facilitate shielded state transitions and private data interactions. It provides a foundational implementation of verifiable smart contracts designed for confidential storage and transaction anonymity on the Mina ledger. The architecture includes automated testing suites and deployment infrastructure for managing zkApp states and interfacing with network RPC providers. (mina-protocol, o1js, snarkyjs, zero-knowledge-proofs, zkapp, shielded-pool)

Software Package Management & Introspection

  • lcrio — A high-performance offline Rust crate exploration tool and MCP server that enables searching, browsing, and reading source code directly from local Panamax mirrors or Cargo registries. It features workspace-aware filtering via Cargo.lock analysis, fuzzy name matching, and automated tarball extraction for seamless integration with AI development workflows. (rust, crates-io, mcp-server, offline-search, code-browsing, cargo-registry)

Software Project Governance & Meta-Orchestration

  • alexandria — A centralized meta-repository serving as the primary coordination hub and governance nexus for the Alexandria project ecosystem. It functions as a global issue tracker for cross-component feature requests, architectural discussions, and bug reports that transcend individual software modules. The repository defines the legal and contribution framework for the entire project collection under the Apache Software License 2.0. (meta-repository, project-governance, issue-tracking, apache-2.0, coordination-hub, ecosystem-management)

Source Code Context Aggregation

  • gcx — A high-performance codebase context aggregator designed to serialize repository contents into structured formats for LLM consumption. It implements sophisticated filesystem traversal with support for .gitignore rules, glob-based filtering, and multi-format output including XML, JSON, and Markdown. (cli, context-window, llm-tools, filesystem-traversal, serialization, rust)

Spatial-Cognitive Narrative Simulation

  • megastructure-maintenance-crew — A modular fantasy job simulation engine built with TypeScript and Vite, implementing a complex state-driven narrative within a dreamlike megastructure environment. The system features a specialized 'Dreamscape' navigation layer that calculates spatial familiarity through route traversal metrics to dynamically inject procedural environmental clues. Its architecture leverages a central event bus to coordinate subsystems for multi-phase shift cycles, interactive systems maintenance, and real-time ambient audio synthesis using the Web Audio API. (typescript, vite, web-audio-api, procedural-generation, game-engine, simulation)

Stochastic Game Simulation

  • cs242_hw3 — A JavaFX-based implementation of a sequential dice game involving fair and biased probability distributions. The application facilitates user-configured game parameters, including die dimensionality and specific side weighting via a 'LoadedDie' subclass. It demonstrates event-driven UI management and basic state-based game logic within a desktop environment. (java, javafx, dice-game, stochastic-simulation, event-driven, gui)

Structural Argument Decoding

  • hammer.rs — A structural command-line argument parser for early Rust environments that utilizes the serialize::Decoder trait to map CLI flags directly onto user-defined structs. The library implements automated field name canonicalization from snake_case to kebab-case and provides a configurable infrastructure for short-form aliases. It performs type-safe decoding of primitive types and booleans by iteratively traversing and mutating the underlying argument vector. (rust, cli, argparse, serialization, decoder, type-safety)

Symbolic Expression Parsing

  • simple-sexp — A minimalist implementation of symbolic expression (S-expression) parsing and serialization leveraging algebraic data types in an early dialect of Rust. It features a recursive descent parser and a peekable character-based lexer to transform string inputs into nested list structures and atomic primitives. The library provides a foundational data model and formatter for Lisp-like data interchange and symbolic computation. (rust, s-expression, parsing, lexer, ast, symbolic-logic)

Symbolic NLP & Mobile Inference Systems

  • spweebo'ard — A cross-platform LLM-powered virtual keyboard that utilizes SPW, a 13-symbol symbolic language, for incremental expression composition and grounding. The system implements a Rust core with UniFFI bindings for Android (Kotlin/Jetpack Compose) and iOS (Swift/SwiftUI), featuring a decoupled architecture where a main app hosts the inference engine to bypass memory constraints in keyboard extensions. (virtual-keyboard, llm-inference, symbolic-language, rust, kotlin, swift)

Symbolic Security Protocol Analysis

  • reu_unif — A symbolic security protocol analyzer implemented in Rust, designed to model and verify intruder deduction capabilities within cryptographic environments. The system utilizes Sigma and Cap term representations to execute forward-search algorithms, determining if an attacker can derive sensitive goals from a set of protocol rules and facts. It incorporates custom matching logic for handling cryptographic primitives like pairing and encryption, facilitating formal verification of security properties. (rust, security-protocols, formal-methods, unification, symbolic-logic, dolev-yao)

System Call Request Encoding

  • ioctl — A low-level Rust library providing a macro-based domain-specific language for defining and invoking POSIX ioctl system calls. It includes automated header-scraping scripts to generate type-safe bindings from Linux kernel headers across multiple architectures including x86_64, ARM, and MIPS. The project implements architecture-specific bitmasking logic to correctly encode request numbers and automate the extraction of command definitions via Clang AST analysis. (rust, linux, ioctl, ffi, systems-programming, metaprogramming)

System State Introspection

  • yeet.plus — A hierarchical system state introspection framework and browser utilizing a 'registry-style' architecture for exploring mounted components. It employs a hybrid stack of Rust-based logic and Electron/WebAssembly for the UI, allowing modular components to dynamically curate and render their own subtrees of system data. (rust, electron, webassembly, wasm, system-introspection, observability)

Systems Engineering Knowledge Management

  • lunar-logseq — A networked knowledge base and organizational graph implemented via Logseq, specifically tailored for systems engineering and technical project management. It encapsulates detailed documentation on seL4 summit proceedings, ASIC hardware specifications, and infrastructure scaling protocols, alongside collaborative onboarding workflows for distributed engineering teams. (logseq, org-mode, systems-engineering, knowledge-base, sel4, asic)

Systems Programming Pedagogy

  • rust-examples — A collection of early Rust programming examples demonstrating core systems capabilities and algorithmic logic. The repository includes TCP echo client/server implementations, file system manipulation, and Project Euler solutions utilizing custom iterator traits. It serves as a pedagogical resource for understanding low-level abstractions and iterator-based composition in the pre-1.0 Rust ecosystem. (rust, systems-programming, project-euler, networking, tcp, iterators)

Systems Programming Technical Blog

  • blog — A static personal blog repository utilizing the Pelican engine and the Elegant theme for technical content publishing. The archives primarily feature in-depth explorations of Rust compiler internals, including type-based alias analysis and stack safety, alongside ACM-ICPC competition logs. It implements client-side indexing via Tipue Search and automated build/deployment workflows using Shell scripting and rsync. (pelican, python, rust, systems-programming, compiler, tbaa)

Task Management Backend

  • queuebotv2 — A legacy Rust-based web service designed for task queue management and user aliasing. It implements a custom HTTP server stack that interfaces with PostgreSQL to manage persistent storage for users, queues, and task metadata. The codebase utilizes pre-1.0 Rust experimental features and early serialization paradigms for JSON API responses. (rust, postgresql, web-service, backend, task-queue, api-server)

Technical Blog Engineering

  • cmr.github.io — A legacy technical blog repository implemented with the Octopress framework, serving as a primary archive for the early 'This Week in Rust' series and deep-dive research into the Rust compiler. The codebase integrates legacy web technologies including JWPlayer for Flash/HTML5 video fallback, jQuery-based UI components, and the Ender modular framework to deliver technical discourse on memory safety and language internals. It represents a significant historical record of systems engineering documentation during the pre-1.0 evolution of the Rust ecosystem. (octopress, rust-lang, static-site-generator, this-week-in-rust, rustc, legacy-web)

Technical Content Publishing & Site Infrastructure

  • lunar.town — A technical content publishing platform and personal web infrastructure utilizing a Rust workspace for utility tooling and AsciiDoc for structured authoring. The system employs the Oranda landing page generator alongside custom mdBook templates, integrating Rusty Object Notation (RON) for configuration and layout management. It features a bespoke aesthetic characterized by terminal-inspired CSS and is configured for automated cross-platform distribution via cargo-dist. (rust, asciidoc, ron, mdbook, oranda, cargo-dist)

Temporal Simulation Engine

  • resequence-rs — A high-performance temporal simulation engine implementing patterns reverse-engineered from Achron's Resequence engine. It features event-linked entities for efficient historical state queries, variable-speed timewave observers for parallel timeline inspection, and identity-linked duplicates for robust paradox detection. The architecture maintains causal consistency by sorting temporal observers and propagating state changes through discrete time slices via a sophisticated view-caching system. (time-travel, simulation, game-engine, event-sourcing, rust, wasm)

Terminal Capabilities Database

  • terminfo-rs — A Rust implementation for accessing and parsing ncurses-compatible terminfo databases. It provides mechanisms for database discovery via standard environment variables, binary parsing of compiled terminfo files, and evaluation of parameterized capability strings using a stack-based expansion engine. The library facilitates terminal-independent character-cell display control by resolving hardware-specific escape sequences. (rust, terminfo, ncurses, terminal-capabilities, parser, unix)

Terminal Game Engines

  • one-hour-roguelike — A minimalist, terminal-based roguelike engine implemented in Rust as a rapid prototyping exercise. It features a grid-based map system using interior mutability patterns to manage entity state, supporting basic movement, file-based level loading, and primitive collision detection with enemies. (roguelike, cli-game, rust, turn-based, ascii-graphics, game-engine)

Terminal User Interface (TUI) Middleware

  • linenoise-rs — A Rust wrapper for the linenoise library, providing lightweight line-editing and history management for command-line interfaces. It encapsulates the C implementation via a FFI layer and exposes a thread-safe Rust API through internal mutex synchronization. (readline, linenoise, cli, terminal-input, ffi, rust-bindings)

Terminal-Centric Workflow Orchestration

  • dotfiles — A comprehensive Unix environment configuration suite centered around keyboard-driven, console-based workflows. It integrates a modular Zsh setup using the Pure prompt, a terminal-based email stack comprising Mutt, Notmuch, and mbsync for asynchronous mail synchronization. The system automates deployment via a symlink-based installation script and manages diverse configurations for herbstluftwm, tmux, and X11 terminal extensions. (zsh, vim, tmux, mutt, notmuch, mbsync)

Text-based Hypertext Browser

  • cs142-proj1 — A C++11 text-based hypertext browser implementation designed to parse and render documents containing embedded link metadata and navigable references. It utilizes a custom lexical scanner to tokenize input streams into discrete word objects and link destinations, storing document state in a tuple-based indexing structure to facilitate efficient reflow. The architecture incorporates a custom template-based option type for safe optional handling and an environment-configurable logging system for diagnostic tracing. (C++11, Hypertext, CLI, Parser, Tokenizer, Terminal-UI)

Traced Monoidal Category Theory

  • bead-calculus — A kinetic puzzle engine implementing operational semantics for string diagrams through a particle-based 'bead' simulation. It formalizes proof-theoretic transformations as graph rewrites, including the interchange law for tensor composition and the snake equation for compact-closed structures. The system serves as an interactive environment for verifying invariants in traced monoidal categories and concurrent signal processing. (category-theory, graph-rewriting, string-diagrams, particle-simulation, typescript, react)

Userspace Filesystem Implementation

  • derpfs — derpfs is an experimental FUSE-based filesystem implementation that leverages memory-mapped I/O to manage on-disk data structures within a linear address space. It defines a custom disk layout featuring superblocks, bitmap-based block allocation, and hierarchical entity metadata, while intentionally incorporating a background fault-injection thread to simulate system instability. (rust, fuse, mmap, filesystem, storage, metadata)

Verified Bytecode Operating System

  • corn-sprite — A custom RISC-V 64-bit kernel coupled with a verified bytecode runtime and compiler toolchain. The system implements core OS primitives including Sv39 paging, preemptive scheduling, and an in-memory VFS, while offloading userland execution to a specialized VM that statically verifies bytecode safety before execution. (riscv, kernel, rust, bytecode-vm, compiler, operating-system)

WHATWG URL Specification Implementation

  • url — An archival implementation of the WHATWG URL Living Standard in early Rust, designed as a spec-compliant successor to the legacy extra::url module. The library prioritizes semantic correctness and flexibility in parsing over raw performance, strictly adhering to the state machine and encoding sets defined by the modern web standard. It includes robust mechanisms for percent-encoding, UTF-8 validation, and the handling of various specialized character sets for different URL components. (rust, whatwg, url-parser, uri, percent-encoding, networking)

WSAPI Web Framework

  • tweed — tweed is a minimalist, WSAPI-compatible Lua web framework that utilizes hierarchical table structures for route definition instead of traditional pattern matching. It provides a lightweight middleware layer for request/response handling and type-safe parameter extraction while maintaining a strict microframework philosophy that excludes templating and persistence. The framework integrates with the WSAPI specification to ensure compatibility across diverse Lua web servers and leverages the leafy library for internal dispatch logic. (lua, wsapi, web-framework, routing, microframework, http-server)

Xilem-based Multi-backend Component Framework

  • shylem — Shylem is a declarative UI architecture and component library designed to abstract over the Xilem reactive framework for the ABCDEEZ learning system. It implements a unified component trait that targets both native rendering via Masonry and web-based DOM manipulation through Xilem-web. The project incorporates advanced features such as statistically grounded performance visualizations, a serializable state model, and a comprehensive guided tour system. (Rust, Xilem, UI-Framework, Cross-platform, WASM, Reactive-UI)

iMessage Extension Development

  • MessagesTest — A cross-platform Apple ecosystem prototype implementing an iMessage app extension alongside a companion watchOS application. The project leverages MSMessagesAppViewController for interactive message payloads and SwiftUI for the wearable interface, focusing on lifecycle management and state synchronization across the Messages framework and WatchKit. (swift, ios-extension, watchos, imessage-extension, messages-framework, swiftui)

x86-32 Assembly Library Porting

  • cmr32 — cmr32 is a Linux-native reimplementation of the Irvine32 assembly library using NASM, designed to provide a full-featured alternative to the original MASM-based library for x86-32 systems. It maintains strict API compatibility with the Irvine32 specification while enabling development in Unix-like environments without reliance on Windows-specific toolchains. The project emphasizes interoperability through cdecl-compliant interfaces, allowing seamless integration and testing between assembly routines and high-level C code. (x86-32, nasm, irvine32, linux, assembly, c-interop)

x86_64 Kernel Development

  • cmoss — A hobbyist x86_64 operating system kernel that implements a Multiboot-compliant bootstrap sequence. It transitions from 32-bit protected mode to 64-bit long mode by initializing PML4 page tables, enabling PAE, and configuring EFER MSRs before handing off execution to a Rust-based kernel core. (os-dev, kernel, x86-64, multiboot, bootloader, long-mode)

Pinned Loading

  1. lets-build-a-compiler lets-build-a-compiler Public

    abandoned update of jack crenshaw's compilers intro

    Rust 116 7

  2. absass absass Public

    a bottom-up software system (fpga custom isa)

    Rust 4

  3. evdev evdev Public

    Rust interface to Linux event devices

    Rust 213 97

  4. cargo-lite cargo-lite Public

    cargo-lite, a dirt simple package manager for Rust

    Python 44 6

  5. hgl-rs hgl-rs Public

    Deprecated higher-level, Rustic OpenGL bindings

    Rust 17 9

  6. automatafl automatafl Public

    An implementation of the Automatafl table-top game

    Rust 1