lenianiva
Mind moves matter
Stanford University Centaur Lab @stanford-centaur San Francisco Bay Area, Gensokyo
Pinned Repositories
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
annotate-equations
LaTeX package and annotated examples for annotating equations using TikZ.
blendquery
CadQuery and Build123d integration for Blender
cadquery
A python parametric CAD scripting framework based on OCCT
crate2nix
nix build file generator for rust crates
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
lean4-nix
Nix overlay for Lean 4, and lake2nix
Pantograph
(Mirror) A Lean machine-to-machine interaction library
PyPantograph
A Machine-to-Machine Interaction System for Lean 4.
verus
Verified Rust for low-level systems code
lenianiva's Repositories
lenianiva/lean4-nix
Nix overlay for Lean 4, and lake2nix
lenianiva/PyPantograph
A Machine-to-Machine Interaction System for Lean 4.
lenianiva/Pantograph
(Mirror) A Lean machine-to-machine interaction library
lenianiva/annotate-equations
LaTeX package and annotated examples for annotating equations using TikZ.
lenianiva/blendquery
CadQuery and Build123d integration for Blender
lenianiva/cadquery
A python parametric CAD scripting framework based on OCCT
lenianiva/crate2nix
nix build file generator for rust crates
lenianiva/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
lenianiva/doomemacs
An Emacs framework for the stubborn martian hacker
lenianiva/eww
ElKowars wacky widgets
lenianiva/hashconsing
A Rust hashconsing library.
lenianiva/verus
Verified Rust for low-level systems code
lenianiva/lean4
Lean 4 programming language and theorem prover
lenianiva/lenianiva.github.io
io site
lenianiva/LSpec
A Testing Framework for Lean
lenianiva/poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis]
lenianiva/rexpect
Rust port of pexpect
lenianiva/rkyv
Zero-copy deserialization framework for Rust
lenianiva/sexpdata
Extensible S-expression parser for python
lenianiva/shared-arena
A thread-safe & efficient memory pool
lenianiva/stanford-centaur.github.io
centaur.stanford.edu website