mcdoll's Stars
PatrickMassot/leanblueprint
plasTeX plugin to build formalization blueprints.
leanprover-community/lean4-metaprogramming-book
leanprover-community/mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
metta-systems/tock-registers
Register interface from TockOS
AeroRust/WorkingGroup
Issues tracker for ideas, ongoing work, looking for mentors, mentors available. Join here!
oreboot/oreboot
oreboot is a fork of coreboot, with C removed, written in Rust.
LdB-ECM/Raspberry-Pi
My public Baremetal Raspberry Pi code
rust-embedded/rust-raspberrypi-OS-tutorials
:books: Learn to write an embedded OS in Rust :crab:
redox-os/ion
Mirror of https://gitlab.redox-os.org/redox-os/ion
mtolly/conduit-audio
Use conduit to process/manipulate/convert audio
haskell-numerics/hmatrix
Linear algebra and numerical computation
commercialhaskell/stack
The Haskell Tool Stack
Amadiro/crumbled
A GPL-licensed virvel server implementation written in erlang. (released/development)