stechu

AI goes brrrr.

San Francisco and New York

Pinned Repositories

pyteal
Algorand Smart Contracts in Python
Language:Python293 17 211132
AlgoDeploy
Language:Python3 1 03
AlgoStat
Extract Stats from Algorand's Rest API
Language:Python2 2 00
awesome-applied-crypto
Awesome applied cryptographic learning
5 4 00
circom-hardhat-ts-starter
Language:TypeScript3 0 10
FreebaseToCSV
Dump freebase triple to standard CSV file
Language:Python3 2 00
proof-systems
baby, it is plonk!
Language:Python5 1 00
toysnark
Language:Python2 3 00
universal-snarks-survey
8 4 00
Cosette
Cosette is an automated SQL solver.
Language:Lean680 42 7255

stechu's Repositories

stechu/awesome-applied-crypto
Awesome applied cryptographic learning
5 4 00
stechu/AlgoDeploy
Language:Python3 1 03
stechu/AlgoStat
Extract Stats from Algorand's Rest API
Language:Python2 2 00
stechu/toysnark
Language:Python2 3 00
stechu/go-algorand
Algorand's official implementation in Go.
Language:Go1 1 0
stechu/PltGem
Programming Language Gems in Python
Language:Python1 2 0
stechu/awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
1 0
stechu/calcite
Mirror of Apache Calcite
Language:Java
stechu/CS-Conf-Templates
Language:TeX2 0
stechu/CS595N
1 0
stechu/diem
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Language:Rust1 0
stechu/DopCert-PAUG
DopCert is a framework for formally verifying query optimization
Language:Coq2 0
stechu/dt-a-la-carte
Data Type A La Carte
1 0
stechu/fiat-crypto
Cryptographic Primitive Code Generation by Fiat
Language:Coq1 0
stechu/food
eat stuff
Language:TypeScript2 0
stechu/GraphAlgorithms
Language:C++2 0
stechu/learnspark
Learn Spark
2 0
stechu/missing-semester-cn.github.io
the CS missing semester Chinese version
Language:CSS1 0
stechu/ObliDB
An Oblivious General-Purpose SQL Database for the Cloud
Language:C++
stechu/open-runtime-module-library
Substrate Open Runtime Module Library
Language:Rust1 0
stechu/polkadot-wiki
The source of truth for Polkadot.
Language:JavaScript1 0
stechu/PyCrypto
Experimental Crypto Implementations in Python
2 0
stechu/pysnark
Library for programming zk-SNARKs directly in Python
Language:Python
stechu/Quine
Quine programs are programs that can reproduce themselves
Language:Python2 0
stechu/slips
SatoshiLabs Improvement Proposals
Language:Python1 0
stechu/snarkjs
zkSNARK implementation in JavaScript & WASM
Language:JavaScript1 0
stechu/specs
Algorand Specifications
Language:Makefile1 0
stechu/steal
S-expression syntax sugar for Algorand TEAL contracts
Language:Racket0 0
stechu/xv6-riscv
Xv6 for RISC-V
Language:C1 0
stechu/zk-examples
Examples of how to build circuit using arkworks zkSNARK.
Language:Rust1 0