Pinned Loading

1. nemesis nemesis Public

   Non-interactive Encrypted Methodology for Efficient Secure Information Sharing (Nemesis) - A Library of Zero Knowledge Proof Solutions

   Rust 1

2. haskell-compiler haskell-compiler Public

   A Cool Compiler using Haskell. Based on the programming language, cool, http://web.stanford.edu/class/cs143/

   Haskell 2

3. Intermediate-Representation-Code-Optimizations-in-OCaml Intermediate-Representation-Code-Optimizations-in-OCaml Public

   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

4. torch-mlir torch-mlir Public

   Forked from llvm/torch-mlir

   The Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.

   C++