2-day current streak·8-day longest streak
-
vimz ★ PINNED ⑂
ZK proofs for image authenticity
★ 0 1y agoExplain → -
aleph-node ★ PINNED ⑂
Node implementation for aleph blockchain built with Substrate framework
Rust ★ 0 4y agoExplain → -
CUDA-Maximal-Independent-Set
CUDA implementation of a parallel algorithm for the Maximal Independent Set problem (by Karp & Wigderson)
Cuda ★ 2 8y agoExplain → -
theses
No description.
TeX ★ 1 1y agoExplain → -
Attacks-on-Diffie-Hellman-Protocol
C++ implementation of Diffie-Hellman protocol, 3 different attacks on it (brute force, baby-step giant-step, Pohlig–Hellman reduction) and an auxiliary encryption algorithm
C++ ★ 1 8y agoExplain → -
rust-lang-course
No description.
JavaScript ★ 1 1y agoExplain → -
ju-tbop-halo2-intro ▣
Halo2 introduction for Private Computation Techniques course at Jagiellonian University
Rust ★ 1 2y agoExplain → -
Automatic-Speech-Recognition-Simple-calculator
No description.
Python ★ 1 5y agoExplain → -
all-sorts-of-permutations
IHaskell presentation of All Sorts Of Permutation paper
Jupyter Notebook ★ 1 5y agoExplain → -
halloweed_pandas
No description.
Java ★ 1 7y agoExplain → -
wasmer ⑂
🚀 Fast, secure, lightweight containers based on WebAssembly
Rust ★ 0 4d agoExplain → -
signatures ⑂
Cryptographic signature algorithms: DSA, ECDSA, Ed25519
★ 0 26d agoExplain → -
go-ethereum ⑂
Go implementation of the Ethereum protocol
Go ★ 0 2mo agoExplain → -
hpx ⑂
The C++ Standard Library for Parallelism and Concurrency
C++ ★ 0 7y agoExplain → -
unclog ⑂
unclog - micro ncremental change log output gizmo
★ 0 6mo agoExplain → -
explore-unclog
Experimental repo for testing OCL/unclog tool
★ 0 6mo agoExplain → -
vamz
No description.
Rust ★ 0 10mo agoExplain → -
arkworks-small-values-ops
No description.
Rust ★ 0 10mo agoExplain → -
sp1 ⑂
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Rust ★ 0 11mo agoExplain → -
r1cs-std ⑂
R1CS constraints for bits, fields, and elliptic curves
★ 0 1y agoExplain → -
sonobe ⑂
Experimental folding schemes library
Rust ★ 0 1y agoExplain → -
halo2 ⑂
No description.
★ 0 1y agoExplain → -
halo2-solidity-verifier ⑂
A set of tooling related to halo2 circuits verification inside Solidity contracts
★ 0 1y agoExplain → -
ethernal-cli ⑂
CLI to sync transactions and Truffle artifacts with Ethernal.
JavaScript ★ 0 1y agoExplain → -
circom-compat ⑂
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
★ 0 1y agoExplain → -
ju-tbop-zk-technologies
Demo for Circom, Zokrates and Risc0 technologies
Rust ★ 0 2y agoExplain → -
ink-examples ⑂
No description.
★ 0 3y agoExplain → -
ink ⑂
Parity's ink! to write smart contracts.
Rust ★ 0 2y agoExplain → -
cargo-contract ⑂
Setup and deployment tool for developing Wasm based smart contracts via ink!
Rust ★ 0 3y agoExplain → -
perlin
No description.
Rust ★ 0 2y agoExplain → -
rust-lang-course-async-bingo
Asynchronous programming workshops
Rust ★ 0 2y agoExplain → -
rust-lang-course-builder-pattern-macro
Template repository to bootstrap builder-pattern-macro exercise
Rust ★ 0 2y agoExplain → -
rust-lang-course-rust-repo
Minimal template for a rust project repository
Rust ★ 0 2y agoExplain → -
subxt ⑂
Submit extrinsics (transactions) to a substrate node via RPC
Rust ★ 0 3y agoExplain → -
poseidon377 ⑂
An instantiation of the Poseidon hash for use with decaf377
Rust ★ 0 3y agoExplain → -
wasmatura
No description.
Rust ★ 0 3y agoExplain → -
polkadot ⑂
Polkadot Node Implementation
Rust ★ 0 3y agoExplain → -
cumulus ⑂
Write Parachains on Substrate
★ 0 3y agoExplain → -
rustlab22-workshop-server ⑂
Write a production-ready Rust HTTP API
Rust ★ 0 3y agoExplain → -
r1cs-tutorial ⑂
Tutorial for writing constraints in the `arkworks` framework
Rust ★ 0 3y agoExplain → -
substrate ⑂
Substrate: The platform for blockchain innovators
Rust ★ 0 2y agoExplain → -
substrate-api-client ⑂
Library for connecting to substrate API over WebSockets
Rust ★ 0 4y agoExplain → -
Aleph-Testnet ⑂
Aleph Zero Blockchain Helm chart with all the necessary tooling to run it locally.
Python ★ 0 4y agoExplain → -
clustering-methods
No description.
Jupyter Notebook ★ 0 5y agoExplain → -
linear-regression
Clear and transparent implementation of linear regression
Python ★ 0 5y agoExplain → -
Discriminative-vs-Generative-classifiers
Comparison of logistic regression and naive Bayes classifiers
Jupyter Notebook ★ 0 5y agoExplain → -
string-algorithms ⑂
Collection of string algorithms
★ 0 6y agoExplain → -
retina-matcher
No description.
Python ★ 0 6y agoExplain → -
Autodidactic-Rubiks-Cube-Solver
Clear and transparent ADI implementation for 2x2x2 Rubik's cube
Python ★ 0 7y agoExplain → -
Connect4
Minmax vs MCTS on Connect4 game
Python ★ 0 7y agoExplain → -
Blackjack-reinforcement-learning
Comparison between several reinforcement learning methods for a blackjack game
Python ★ 0 7y agoExplain → -
KeyHolder
Android application for password management
Java ★ 0 7y agoExplain → -
TFTP
Trivial File Transfer Protocol implemented in Python
Python ★ 0 8y agoExplain → -
URL-Parser
Java application that sums up sizes of all images on a website and enables following the links.
Java ★ 0 8y agoExplain → -
Sudoku
Sudoku application implemented in Java (GUI in JavaFX)
Java ★ 0 8y agoExplain →
No repos match these filters.