mcdoll

mcdoll's Stars

• PatrickMassot/leanblueprint

  plasTeX plugin to build formalization blueprints.

  Language:Python15125

• leanprover-community/lean4-metaprogramming-book

  Language:Lean21150

• leanprover-community/mathlib3

  Lean 3's obsolete mathematical components library: please use mathlib4

  Language:Lean1.7k299

• metta-systems/tock-registers

  Register interface from TockOS

  Language:Rust51

• AeroRust/WorkingGroup

  Issues tracker for ideas, ongoing work, looking for mentors, mentors available. Join here!

  382

• oreboot/oreboot

  oreboot is a fork of coreboot, with C removed, written in Rust.

  Language:Rust1.5k102

• LdB-ECM/Raspberry-Pi

  My public Baremetal Raspberry Pi code

  Language:C30157

• rust-embedded/rust-raspberrypi-OS-tutorials

  :books: Learn to write an embedded OS in Rust :crab:

  Language:Rust13.5k783

• redox-os/ion

  Mirror of https://gitlab.redox-os.org/redox-os/ion

  Language:Rust1.5k140

• mtolly/conduit-audio

  Use conduit to process/manipulate/convert audio

  Language:Haskell193

• haskell-numerics/hmatrix

  Linear algebra and numerical computation

  Language:Haskell379105

• commercialhaskell/stack

  The Haskell Tool Stack

  Language:Haskell4k845

• Amadiro/crumbled

  A GPL-licensed virvel server implementation written in erlang. (released/development)

  Language:Erlang81