Mayank Manjrekar
mayankmanj
No bio provided.
acl2
ACL2 System and Books as Maintained by the Community
Common LispUpdated 6/17/2025
emacs-config
Personal emacs config
Emacs LispUpdated 8/23/2024
k-DPP-reco-engine
Determinantal point processes for basket recommendations
PythonUpdated 5/6/2024
practical-fm
A gently curated list of companies using verification formal methods in industry
Updated 1/27/2023
acl2-matrices
Matrix operations, formalized in ACL2
Common LispUpdated 10/27/2021