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.
Cross-platform Rust rewrite of the GNU coreutils
A new way to see and navigate directory trees : https://dystroy.org/broot
Use your tablet as graphic tablet/touch screen on your computer.
A secure embedded operating system for microcontrollers
A fast, practical GPU rasterizer for fonts and vector graphics
Early-stage b-rep CAD kernel, written in the Rust programming language.
LVGL bindings for Rust. A powerful and easy-to-use embedded GUI with many widgets, advanced visual effects (opacity, antialiasing, animations) and low memory requirements (16K RAM, 64K Flash).
Toy microkernel and userspace written in Rust, exploring modern ideas
[Unofficial] Samacsys Library Loader for all platforms!