brucechin

CodeSearchNet

Datasets, tools, and benchmarks for representation learning of code.

piranha

Piranha: A GPU Platform for Secure Computation

mongoose

A Learnable LSH Framework for Efficient NN Training

ec-gpu

OpenCL code generator for finite-field arithmetic over arbitrary prime fields

mr4c

SciencePlots

Matplotlib styles for scientific plotting

snarkjs

zkSNARK implementation in JavaScript & WASM

proof-systems

The proof systems used by Mina

plonk-by-fingers

Implementation of Plonk by Hand in rust

plonkup

Proof system with plonkup back-end proving arguments

libSTARK

A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)

gnark

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

ciphercore

User-friendly secure computation engine based on secure multi-party computation

pairing

Pairing-friendly elliptic curve library.

run

润学全球官方指定GITHUB，整理润学宗旨、纲领、理论和各类润之实例；解决为什么润，润去哪里，怎么润三大问题； 并成为新**人的核心宗教，核心信念。

AutoBench4TensorComputation

automatic benchmark of tensor program generation and optimization

sqlparser-rs

Extensible SQL Lexer and Parser for Rust

DenseCLIP

[CVPR 2022] DenseCLIP: Language-Guided Dense Prediction with Context-Aware Prompting

reef-artifacts

A GPU-accelerated DNN inference serving system that supports instant kernel preemption and biased concurrent execution in GPU scheduling.

winterfell

A STARK prover and verifier for arbitrary computations

Virgo

alpa

Training and serving large-scale neural networks with auto parallelization.

BrainGB

Officially Accepted to IEEE Transactions on Medical Imaging (TMI, IF: 11.037) - Special Issue on Geometric Deep Learning in Medical Imaging.

HowToCook

程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).

tiflash

The analytical engine for TiDB and TiDB Cloud. Try free: https://tidbcloud.com/free-trial

noah

Noah is a library that provide tools to create and verify public transaction with confidential data.

snowset

Snowflake dataset containing statistics for 70 million queries over 14 day period

jellyfish

A Rust Implementation of the PLONK ZKP System and Extensions

ChampSim

ChampSim is an open-source trace based simulator maintained at Texas A&M University and through the support of the computer architecture community.

google-research

Google Research