Mayank Manjrekar's repositories
k-DPP-reco-engine
Determinantal point processes for basket recommendations
ocaml-pedersen
Implementation of Pedersen hash function in OCaml
acl2
ACL2 System and Books as Maintained by the Community
Language:Common LispNOASSERTION000
acl2-matrices
Matrix operations, formalized in ACL2
Hard-core-point-process
Simulations for glauber dynamics of the hard-core model
practical-fm
A gently curated list of companies using verification formal methods in industry
000
Propp-Wilson-Ising
A Perfect simulation algorithm for the Ising model
Language:Python000
pyre-check
Performant type-checking for python.
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Language:Emacs Lisp000