Giters
Mayank Manjrekar (mayankmanj)

mayankmanj

Geek Repo

1

followers

5

following

5

stars

Location:Austin, TX

Home Page:https://web.ma.utexas.edu/users/mmanjrekar/

Github PK Tool:Github PK Tool

Mayank Manjrekar's starred repositories

LNSym

Armv8 Native Code Symbolic Simulator in Lean

Language:LeanLicense:Apache-2.0Stargazers:41Issues:0Issues:0

lean-auto

Experiments in automation for Lean

Language:LeanLicense:Apache-2.0Stargazers:60Issues:0Issues:0

example-ocaml

A simple OCaml program that makes an HTTP Get request and prints the output to the console.

Language:HTMLLicense:GPL-3.0Stargazers:21Issues:0Issues:0

pyre-check

Performant type-checking for python.

Language:OCamlLicense:MITStargazers:6777Issues:0Issues:0

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language:Emacs LispLicense:GPL-3.0Stargazers:23615Issues:0Issues:0