Lists (31)
AI / Machine Learning
12 repositories
algorithms and data structures
12 repositories
Android
1 repository
applications
30 repositories
CAD and geometry
12 repositories
compilers, linkers, assemblers
24 repositories
Computer Graphics
17 repositories
courses
1 repository
cryptography
1 repository
databases
Technology related to databases3 repositories
distributed / crdt
1 repository
editors
1 repository
Electronics
6 repositories
Embedded, MCUs and RTOS
19 repositories
FPGAs and HDLs
34 repositories
HPC
6 repositories
kakoune
1 repository
learning
courses, lists and learning material12 repositories
libraries and frameworks
44 repositories
logic, tt, verification
Logic, Type Theory, Verification, Automated Theorem Proving8 repositories
music
4 repositories
Operating Systems
kernels, SO and so on19 repositories
programming languages
27 repositories
reverse engineering
3 repositories
security
1 repository
sgx
1 repository
Simulation and Modeling
41 repositories
typesetting
3 repositories
UI
7 repositories
UNIX
linux/BSDs etc2 repositories
unix/linux
3 repositories
Stars
13
results
for sponsorable starred repositories
written in C
Clear filter
Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
A little fail-safe filesystem designed for microcontrollers
Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4
UNIX-like reverse engineering framework and command-line toolset.