Mac Malone's repositories
lean4-alloy
Write C shims from within Lean code.
lean4-papyrus
An LLVM interface for Lean 4. (WIP)
lean4-itertools
A Lean 4 library for iterators.
lean4-partax
Lean 4 library of tools for parsing and compiling syntax and parser definitions.
lean-blake3
Lean4 bindings to the Blake3 (unfinished)
lean4-rffid
An example of using a Lean library with a Mathlib dependency in C.
checkdecls
Tiny Lean library to check existence of declarations
cve-search
cve-search - a tool to perform local searches for known vulnerabilities
doc-gen4
Document Generator for Lean 4
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
lake-cloud-test
A repository used to test Lake cloud builds.
lean4
Lean 4 programming language and theorem prover
lean4-betterNumLits
A more flexible alternative macro expansion for Lean 4's numeric literals.
lean4checker
Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
LeanInfer
Neural Network Inference in Lean 4
mathport
Mathport is a tool for porting Lean3 projects to Lean4
ntptutorial
Tutorial on neural theorem proving
PGPy
Pretty Good Privacy for Python
ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
socket.lean
sockets for Lean 4
std4
Standard Library for Lean 4