Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 36 million developers.
Sign up
Popular repositories
-
vimium
Forked from philc/vimium
The hacker's browser.
-
mrmr1993.github.io
-
coffeelint
Forked from clutchski/coffeelint
Lint your CoffeeScript.
CoffeeScript
-
coffeelint-whitespace-inside-braces
-
coffeelint-prefer-english-operator
Forked from parakeety/coffeelint-prefer-english-operator
CoffeeScript
-
vindinium-starter-haskell
Forked from Herzult/vindinium-starter-haskell
Haskell starter for http://vindinium.org
Haskell
502 contributions in the last year
Contribution activity
May 2019
Created a pull request in o1-labs/snarky that received 1 comment
Add a SNARKY_PERFORMANCE environment variable to toggle the libsnark flag
This PR
makes dune aware of the SNARKY_PERFORMANCE environment variable
changes the default value of the libsnark PERFORMANCE flag back to OFF
use…
- Add menhir and ppx_lib as opam dependencies for meja
- Add support for newtypes in expressions
- [Meja] Add OCaml-compatible parsing for unary minus
- [Meja] GADT tweaks
- Better website diffs and publish script
- Update snarky library docs for the website
- Move Run_state into its own module, make constraint_count general
- Expose Proof_system.constraint_system