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
tenstorrent / riscv-ocelot
Forked from riscv-boom/riscv-boomOcelot: The Berkeley Out-of-Order Machine With V-EXT support
whjvenyl / fasd
Forked from clvv/fasdCommand-line productivity booster, offers quick access to files and directories, inspired by autojump, z and v.
eyalroz / printf
Forked from mpaland/printfTiny, fast(ish), self-contained, fully loaded printf, sprinf etc. implementation; particularly useful in embedded systems.
Data Structures and streaming algorithms for Common Lisp.
Open source VPU side bootloader for Raspberry Pi.
inetbowser / zig-xtensa
Forked from ziglang/zigGeneral-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
3v1n0 / libfprint
Forked from aryanshar/libfprintLibrary for fingerprint readers
lexxvir / grex
Forked from pemistahl/grexA command-line tool and library for generating regular expressions from user-provided test cases
msm8916-mainline / linux
Forked from torvalds/linuxLinux mainline kernel fork for various Qualcomm MSM8909/MSM8916/MSM8939 devices
esp-rs / rust
Forked from rust-lang/rustRust for the xtensa architecture. Built in targets for the ESP32 and ESP8266
notslang / editorconfig-tools
Forked from jednano/eclintTools for verifying/fixing code style based on an EditorConfig file