Lists (31)
AI / Machine Learning
algorithms and data structures
Android
applications
CAD and geometry
compilers, linkers, assemblers
Computer Graphics
courses
cryptography
databases
Technology related to databasesdistributed / crdt
editors
Electronics
Embedded, MCUs and RTOS
FPGAs and HDLs
HPC
kakoune
learning
courses, lists and learning materiallibraries and frameworks
logic, tt, verification
Logic, Type Theory, Verification, Automated Theorem Provingmusic
Operating Systems
kernels, SO and so onprogramming languages
reverse engineering
security
sgx
Simulation and Modeling
typesetting
UI
UNIX
linux/BSDs etcunix/linux
Stars
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
A markup-based typesetting system that is powerful and easy to learn.
A cross-platform GUI library for Rust, inspired by Elm
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
A Git-compatible VCS that is both simple and powerful
Cross-platform Rust rewrite of the GNU coreutils
A modern editor with a backend written in Rust.
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
📚 Learn to write an embedded OS in Rust 🦀
A new way to see and navigate directory trees : https://dystroy.org/broot
rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.
Use your tablet as graphic tablet/touch screen on your computer.
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
The live data layer for apps and AI agents Create up-to-the-second views into your business, just using SQL
A secure embedded operating system for microcontrollers
Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
[maintenance mode] A low-overhead Vulkan-like GPU API for Rust.