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/FreebaseToCSV
Dump freebase triple to standard CSV file
Language:Python3 2 00
stechu/EMTC
External Memory Triangle Counting Algorithm
Language:C++1 2 01
stechu/myria-commandline
Myria commandline query authoring tool
Language:Python1 1 0
stechu/CSE544_Project
course project of CSE544
Language:TeX0 3 01
stechu/Courses
Courses taken.
1 0
stechu/CSE550
Repo for CSE550
Language:TeX3 02
stechu/CSE552-Proposal
Project proposal for course CSE 552
Language:TeX2 0
stechu/Gantt-Chart
Gantt chart library using D3.js.
Language:JavaScript2 0
stechu/gcj
Google Code Jam 2014
Language:C++1 0
stechu/homebrew
The missing package manager for OS X.
Language:Ruby1 0
stechu/HoTT-Proofs
HoTT Proofs in Coq
Language:Emacs Lisp2 0
stechu/Maxwalksat
MaxSat Solver using WalkSat algorithm
Language:C1 0
stechu/MultiwayJoinOptimizer
Estimate the workload of mutliway join.
Language:Python4 0
stechu/QuerySimulator
Simulate query in distributed database system.
Language:Python1 0
stechu/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Language:Racket1 0
stechu/sexp
S-Expression parsing/printing made fun and easy
Language:Haskell2 0
stechu/sqlite
Unofficial git mirror of SQLite sources
Language:C
stechu/WSAT
walksat solver implemented for CSE573 homework 2
Language:Python0 02
stechu/xuanfeng-userscript
QQ旋风网页版增强