Pinned Repositories
batteries
The "batteries included" extended library for the Lean programming language and theorem prover
mathlib4
The math library of Lean 4
lean4
Lean 4 programming language and theorem prover
armv7
Low level armv7 routines for rust
blog
Source for the community blog
brainfuck
A small brainfuck interpreter written in haskell
rust-beagle
Example code for running a rust operating system on the beaglebone black
sitara
Low level access to the AM335x Sitara SoC by TI
mcdoll's Repositories
mcdoll/armv7
Low level armv7 routines for rust
mcdoll/rust-beagle
Example code for running a rust operating system on the beaglebone black
mcdoll/sitara
Low level access to the AM335x Sitara SoC by TI
mcdoll/blog
Source for the community blog
mcdoll/brainfuck
A small brainfuck interpreter written in haskell
mcdoll/lean4
Lean 4 programming language and theorem prover
mcdoll/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
mcdoll/mathlib4
Work in progress mathlib port for lean 4
mcdoll/mcdoll.github.io
mcdoll/sphere-packing
Project to formalize the optimal sphere packing bound in dimension 8
mcdoll/std4
Standard Library for Lean 4
mcdoll/test_upload
testing how uploading works with lake