redshiftzero

redshiftzero's Stars

• AUTOMATIC1111/stable-diffusion-webui

  Stable Diffusion web UI

  Language:Python135k1k7.5k25.8k

• hummingbot/hummingbot

  Open source software that helps you create and deploy high-frequency crypto trading bots

  Language:Python7.6k1473k2.7k

• iden3/snarkjs

  zkSNARK implementation in JavaScript & WASM

  Language:JavaScript1.7k33179412

• qutip/qutip

  QuTiP: Quantum Toolbox in Python

  Language:Python1.6k78928627

• ashutosh1206/Crypton

  Library consisting of explanation and implementation of all the existing attacks on various Encryption Systems, Digital Signatures, Key Exchange, Authentication methods along with example challenges from CTFs

  Language:Python1.4k593256

• sagemath/sage

  Main repository of SageMath. Now open for Issues and Pull Requests.

  Language:Python1.2k835.6k408

• p-e-w/savage

  A primitive computer algebra system

  Language:Rust56861412

• iqlusioninc/crates

  A collection of open source Rust crates from iqlusion

  Language:Rust431118268

• python-hydro/pyro2

  A framework for hydrodynamics explorations and prototyping

  Language:Jupyter Notebook2971564121

• circify/circ

  (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

  Language:Rust269152937

• lurk-lab/neptune

  Rust Poseidon implementation.

  Language:Rust262234896

• lurk-lab/awesome-folding

  A curated list of zero-knowledge folding schemes

  25113429

• hacspec/hacspec

  Please see https://github.com/hacspec/hax

  Language:Coq2411011844

• axiom-crypto/halo2-lib

  Monorepo of halo2 crates

  Language:Rust2281224143

• hobofan/cargo-nono

  Check your crate for (possible) no_std compatibility

  Language:Rust20973514

• lenstronomy/lenstronomy

  multi-purpose lens modeling software package

  Language:Python1801212295

• AstroJacobLi/smplotlib

  Matplotlib template for SuperMongo style 🔭

  Language:Python119228

• anoma/namada-trusted-setup

  Namada Trusted Setup Ceremony for the Multi-Asset Shielded Pool (MASP) enabling asset-agnostic private transfers

  Language:Rust11473164

• qutip/qutip-qip

  The QuTiP quantum information processing package

  Language:Python105164463

• derikb/character-sheet-app

  A responsive, online/offline web app to act as a character sheet for 5e D&D and other RPGs.

  Language:JavaScript75710832

• ChorusOne/tendermint-sol

  Tendermint in Solidity

  Language:Solidity601819

• Veridise/Picus

  Automated verification of uniqueness property for ZKP circuits

  Language:Circom60205

• bitwiseshiftleft/compressed_map

  Frayed ribbon filter cascade

  Language:Rust40442

• desihub/redrock

  Redshift fitting for spectroperfectionism

  Language:Python214615013

• celo-org/snark-setup

  Language:Rust172256

• bcc-research/resource-pricing

  Code for Dynamic Pricing for Non-fungible Resources

  Language:Julia151

• ngbusca/QuasarNET

  Language:Jupyter Notebook12206

• celo-org/snark-setup-operator

  Language:Rust11132016

• nikkolasg/ark-blst

  arkwork bindings to blst with GPU support

  Language:Rust9400

• grnet/snarky

  Rust implementation of the Snarky Ceremonies protocol over the BLS12-381 curve.

  Language:Rust6701