🧩 A type checker for Clingo ASP programs

🤝 Non Ground Optimizer for logic programs.

🧠 A solver for epistemic logic programs.

🦉 A grounder and solver for logic programs.

Tuning Assistant for Floating point to Fixed point Optimization

Renode - Antmicro's open source simulation and virtual development framework for complex embedded systems

ARMv7 emulator written in Rust

arm decoders for the yaxpeax project

String interning for Rust

A unified interface for reading and writing object file formats

pbasm: The Last Pixel Bender Assembler

8bf-filter for Escher`s "print gallery" effect imitation.

Pixel Bender to Zig code translator

Rust firmware hal and examples for M5Stack Cardputer

A standalone server for programming game Screeps

A direct successor to PuzzleScript, building on the work of PuzzleScript Plus, Pattern:Script and others.

Typed bindings to the Screeps in-game API for WASM Rust AIs

Additional functionality for room visuals

Unfinished emulator for the Panic Playdate, attempt 2

A Matrix-Federation-Tester in Rust

Matrix Rooms Search - a standalone search engine and Matrix directory server

Zero-allocation no_std GUI & HUD engine, 2D flex/grid layout, and widget toolkit for embedded-graphics displays

A graphical debugger for Rust MIR

Learn Rust by writing Entirely Too Many linked lists

Source-verified BIOS and firmware packs for RetroArch, Batocera, Recalbox, Lakka, RetroPie, EmuDeck, RetroBat, RetroDECK, RomM, BizHawk, ROCKNIX, and MiSTer FPGA. Platform-native verification, with…

Non-lexical lifetimes RFC.

An opinionated Matrix moderation bot.

Contents of asgard.chat