-
-
-
-
-
-
-
nemesis Public
Non-interactive Encrypted Methodology for Efficient Secure Information Sharing (Nemesis) - A Library of Zero Knowledge Proof Solutions
-
ronkathon Public
Forked from pluto/ronkathonCryptography Educational Foundations
-
-
torch-mlir Public
Forked from llvm/torch-mlirThe Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.
C++ Other UpdatedJan 18, 2024 -
John Wu wrote some code optimizations for Bril, a toy programming language to build intermediate code optimization. To see the algorithms that John Wu built, take a look at the `bril-ocaml/` folder.
OCaml MIT License UpdatedJan 15, 2024 -
Highly Leveraging OCaml's GADTs to Implement a Type Safe Persistent Merkle Tree
-
semgrep Public
Forked from semgrep/semgrepLightweight static analysis for many languages. Find bug variants with patterns that look like source code.
OCaml GNU Lesser General Public License v2.1 UpdatedApr 18, 2022 -
pfff Public
Forked from semgrep/pfffpfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code.
OCaml Other UpdatedApr 18, 2022 -
-
-
snark-challenge-prover-reference Public
Forked from MinaProtocol/snark-challenge-prover-referenceSnarking the snarks
C++ Other UpdatedJun 12, 2019 -
coda Public
Forked from MinaProtocol/minaCoda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
OCaml Apache License 2.0 UpdatedMay 17, 2019 -
rpc_parallel Public
Forked from janestreet/rpc_parallelType-safe library for building parallel applications, built on top of Async's Rpc module.
OCaml MIT License UpdatedJul 12, 2018 -
-
haskell-compiler Public
A Cool Compiler using Haskell. Based on the programming language, cool, http://web.stanford.edu/class/cs143/
-
ARena Public
An engaging interactive gameplay experience for both active players and spectators!
-
-
bread-and-butter Public
Meeting people is easy as ordering Chicken Nuggets from your local Wendy's.
JavaScript UpdatedMar 3, 2018 -
eslint-plugin-unicorn Public
Forked from sindresorhus/eslint-plugin-unicornVarious awesome ESLint rules
JavaScript MIT License UpdatedFeb 16, 2018 -
fp-course Public
Forked from system-f/fp-courseFunctional Programming Course
Haskell UpdatedJan 26, 2018 -
-
-
-
{{ message }}