TheMesocarp / kohoLinks
full spectrum sheaf neural networks
☆15Updated 2 weeks ago
Alternatives and similar repositories for koho
Users that are interested in koho are comparing it to the libraries listed below
Sorting:
- a Rust-native multi-agent coordination layer.☆27Updated this week
- experimental solidity compiler☆31Updated last week
- Making learning sh*t less annoying☆42Updated 5 months ago
- The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …☆39Updated last week
- Interactive formal verification tool for Yul programs☆66Updated 3 weeks ago
- Modern, idiomatic, well documented abstract algebra for Rust☆56Updated 3 months ago
- ☆61Updated 8 months ago
- A support library for working with zero knowledge cryptography in Lean 4.☆38Updated 2 weeks ago
- Executable formal model of the EVM and Yul in Lean 4.☆59Updated 3 weeks ago
- Modify ASTs Easily & Reliably☆17Updated last year
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆71Updated 2 years ago
- The moment you Rust, you should look for your Mojo 🔥.☆21Updated last year
- ☆13Updated last year
- Aims to provide an audited, elegant, minimal implementation of BLS signing, key generation, resharing over the alt-bls128 curve☆45Updated 3 months ago
- Formal verification for Solidity smart contracts with Rocq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!☆33Updated last month
- A Huff compiler implemented in Racket☆22Updated 4 months ago
- ☆22Updated 3 years ago
- Terminal interface tracking gas, transactions and data processed by Decentralized Networks.☆21Updated 3 months ago
- Supplementary Material to be used with the Certora Prover☆17Updated 3 years ago
- DeFi risk analysis as an ApeWorX plugin☆15Updated last year
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆27Updated 2 weeks ago
- ☆33Updated last week
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆20Updated 10 months ago
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆25Updated 5 months ago
- RMM-01 Simulations☆50Updated 2 years ago
- Discrete event simulator built in Rust 🦀☆13Updated 2 years ago
- ☆24Updated 10 months ago
- 🍭 A Solidity library for prime field arithmetic☆16Updated last year
- Notes from the 278 semester class at Harvard☆19Updated 3 weeks ago
- ☆52Updated 3 weeks ago