lenianiva
Mind moves matter
Stanford University Centaur Group @stanford-centaur Palo Alto, California, USA
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.
cvc5tools
Scripts to run cvc5
doomemacs
An Emacs framework for the stubborn martian hacker
eww
ElKowars wacky widgets
PyPantograph
Python interface to the Pantograph library
lenianiva's Repositories
lenianiva/PyPantograph
Python interface to the Pantograph 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/cvc5tools
Scripts to run cvc5
lenianiva/doomemacs
An Emacs framework for the stubborn martian hacker
lenianiva/eww
ElKowars wacky widgets
lenianiva/hashconsing
A Rust hashconsing library.
lenianiva/lean4
Lean 4 programming language and theorem prover
lenianiva/LSpec
A Testing Framework for Lean
lenianiva/Pantograph
(Mirror) A Lean machine-to-machine REPL
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/verus
Verified Rust for low-level systems code