mayankmanj

Austin, TX

Pinned Repositories

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

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