TheBeaNerd

Carbon-based life form

Pinned Repositories

acl2
ACL2 System and Books as Maintained by the Community
Language:Common Lisp00
dot
Language:Common Lisp00
epass
A password generation website
Language:PHP00
fraction
Best rational fraction
Language:TeX00
FuzzM
Language:Java20
inv
multiplicative modular inverse
Language:Common Lisp00
jkind
JKind - An infinite-state model checker for safety properties in Lustre
Language:Java00
loonwerks.github.io
Language:HTML00

TheBeaNerd's Repositories

TheBeaNerd/FuzzM
Language:Java20
TheBeaNerd/acl2
ACL2 System and Books as Maintained by the Community
Language:Common Lisp00
TheBeaNerd/dot
Language:Common Lisp00
TheBeaNerd/epass
A password generation website
Language:PHP00
TheBeaNerd/fraction
Best rational fraction
Language:TeX00
TheBeaNerd/inv
multiplicative modular inverse
Language:Common Lisp00
TheBeaNerd/jkind
JKind - An infinite-state model checker for safety properties in Lustre
Language:Java00
TheBeaNerd/loonwerks.github.io
Language:HTML00
TheBeaNerd/phase
Language:Python
TheBeaNerd/resevoir
2 0