cy384's Stars
frno7/linux
Linux 2.2, 2.6, 3.x, 4.x and 5.x kernels for the PlayStation 2.
donnemartin/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
andreiw/iQUIK
An OldWorld PowerPC Linux bootloader for the 21st century
karahobny/acme2k
acme2k - text editor fo' all the cool cats who ain't 'fraid of no mice
achlipala/frap
Formal Reasoning About Programs
calculix/beso
Python code for topology optimization using CalculiX FEM solver.
hwayne/lets-prove-leftpad
Proving leftpad correct two-dozen different ways
pseudoku/ErgoWarp
Design Log and OpenSCAD code repo for Custom Split Keyboard
SolraBizna/MacLua5.3
Classic MacOS port of Lua 5.3, supporting System 7.1.2 and later
ai03-2725/Type-C.pretty
KiCad library for various Type-C USB connectors
vellvm/vellvm
The Vellvm (Verified LLVM) coq development.
kanaka/mal
mal - Make a Lisp
martinezjavier/ldd3
Linux Device Drivers 3 examples updated to work in recent kernels
FrescoLogic/FL2000
Fresco Logic FL2000 Linux/Android Kernel driver
lemire/fastrange
A fast alternative to the modulo reduction
nsntrace/nsntrace
Perform network trace of a single process by using network namespaces.
JohSchneider/ppk_usb_lufa
Palm Portable Keyboard USB conversion
tmk/alps64
Poker X compatible 60% size PCB supports various Alps switch keyboard layouts like AEK, Omnikey, Dell, V60MTS and Infinity(KiCad Project)