Pinned Repositories
baf-wallet-v3
hot-proofs-blake3-circom
banyan's hot on-chain data storage zk proofs
p1nch
private 1inch
3D-Turtles
Example implementations of tokens to represent unique assets, such as collectibles or deeds, using the NEP-171 spec (similar to ERC-721)
Arduino-Ornithopter
bulletproof-cairo
CP22-function-commitment
latex_template
organized-solana
An npm package to easily create transaction instructions and get ancillary data for Solana's most popular DeFi protocols
schopal
Lev-Stambler's Repositories
Lev-Stambler/latex_template
Lev-Stambler/fractal_arts_and_such
Lev-Stambler/AI_QEC
Lev-Stambler/arecibo
Lev-Stambler/artsy_can_be_fun
Lev-Stambler/BLAKE3-Pathed
Fork of Rust and C implementations of the BLAKE3 cryptographic hash function which allows for retrieving a leaf to root path while Hashing
Lev-Stambler/circom-scotia
Lev-Stambler/cmsc730Music
Lev-Stambler/CodingTheory
A basic coding theory library for Julia.
Lev-Stambler/cslib4
Lev-Stambler/dictator_what
Lev-Stambler/ECCT-Evaluator
Error Correction Code Transformer
Lev-Stambler/hot-svelte-pdfjs
Lev-Stambler/lattice_cluster_paths
Lev-Stambler/lean-example
Lev-Stambler/lean4tutorials-progress
Lev-Stambler/math_cluster
Lev-Stambler/math_is_surprusing
Lev-Stambler/math_lean_for_code_llama
Lev-Stambler/mathlib-clustering
Lean mathematical components library
Lev-Stambler/mathlib-meta-exploration
Lev-Stambler/mathlib4_import_tree
Lev-Stambler/Nova-Scotia
Middleware to compile Circom circuits to Nova prover
Lev-Stambler/personal-site
Lev-Stambler/pyldpc
Creation of LDPC codes & simulation of coding and decoding binary data. Applications to sound and image files.
Lev-Stambler/qec_rs
Lev-Stambler/random_sparse_graphs
Lev-Stambler/secret-leader
Lev-Stambler/solidity-verifier
Solidity implementation of Nova proving system verifier
Lev-Stambler/sparse_coding