Leni Aniva's repositories
PyPantograph
Python interface to the Pantograph library
annotate-equations
LaTeX package and annotated examples for annotating equations using TikZ.
blendquery
CadQuery and Build123d integration for Blender
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
hashconsing
A Rust hashconsing library.
lean4
Lean 4 programming language and theorem prover
Pantograph
(Mirror) A Lean machine-to-machine REPL
poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis]
rexpect
Rust port of pexpect
rkyv
Zero-copy deserialization framework for Rust
sexpdata
Extensible S-expression parser for python
shared-arena
A thread-safe & efficient memory pool
verus
Verified Rust for low-level systems code