Stars
Datalog compiler embedded in Rust as a procedural macro
Utilities and documentation for exploring idirs2's new elaborator reflection.
A functional programming language with static memory management
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
Promoting Solutions that Improve Wellbeing, Freedom and Society
Creating WASM minigames in rust from scratch
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
SAW front end for the MIR language from rustc
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
A refreshingly simple data-driven game engine built in Rust
A purely functional programming language with first class types
A simple Git commit message editor for Gnome.
🚀 Stealth - Secure, Peer-to-Peer, Private and Automateable Web Browser/Scraper/Proxy
TwitRSS.me: Tool to make Twittter timelines and searches into RSS feeds
Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will …
Peer to peer data syncronization [ DEPRECATED - More info on active projects and modules at https://dat-ecosystem.org/ ]