TheMesocarp / kohoLinks
Full spectrum sheaf neural network over arbitrary CW complexes.
☆16Updated 2 months ago
Alternatives and similar repositories for koho
Users that are interested in koho are comparing it to the libraries listed below
Sorting:
- experimental solidity compiler☆31Updated this week
- A somehow lock-free multi-agent coordination layer.☆44Updated 3 weeks ago
- A support library for working with zero knowledge cryptography in Lean 4.☆38Updated last week
- Making learning sh*t less annoying☆42Updated 7 months ago
- The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …☆40Updated last month
- Aims to provide an audited, elegant, minimal implementation of BLS signing, key generation, resharing over the alt-bls128 curve☆44Updated 5 months ago
- Interactive formal verification tool for Yul programs☆71Updated last week
- Modern, idiomatic, well documented abstract algebra for Rust☆57Updated 4 months ago
- A formal verification of Linear PCP SNARKs.☆56Updated last year
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆70Updated 2 years ago
- ☆61Updated 10 months ago
- A small repository containing the TeX code for the Succinct Proofs and Linear Algebra study session's slides and homework☆21Updated last year
- Terminal interface tracking gas, transactions and data processed by Decentralized Networks.☆21Updated 4 months ago
- Formal verification for Solidity smart contracts with Rocq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!☆38Updated 2 months ago
- Executable formal model of the EVM and Yul in Lean 4.☆59Updated last week
- Athena is a modern, practical language for proof engineering & natural deduction.☆73Updated last month
- Lean circuit DSL☆88Updated this week
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆25Updated 7 months ago
- ☆13Updated last year
- a lisp built on top of vyper☆43Updated 2 months ago
- Extracting the semantics of Noir to Lean for formal verification☆34Updated this week
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆20Updated last year
- Exercises for Part 2 of the ZK-book☆27Updated 10 months ago
- The entry point for Rust projects to be run on Valida☆10Updated 5 months ago
- Formally Verified Arguments of Knowledge in Lean☆96Updated this week
- a lisp built on top of vyper☆50Updated 2 months ago
- Zero-knowledge Sudoku using zk-SNARKs☆46Updated 3 years ago
- ☆41Updated 2 years ago
- A Huff compiler implemented in Racket☆23Updated 5 months ago
- 🍭 A Solidity library for prime field arithmetic☆16Updated last year