TheMesocarp / kohoLinks
Full spectrum sheaf neural network over arbitrary CW complexes.
☆16Updated 7 months ago
Alternatives and similar repositories for koho
Users that are interested in koho are comparing it to the libraries listed below
Sorting:
- A somehow lock-free multi-agent coordination layer.☆45Updated 2 months ago
- experimental solidity compiler☆95Updated this week
- The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …☆41Updated 7 months ago
- A support library for working with zero knowledge cryptography in Lean 4.☆48Updated 5 months ago
- Modern, idiomatic, well documented abstract algebra for Rust☆59Updated 10 months ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆76Updated 2 years ago
- ☆10Updated 7 months ago
- Making learning sh*t less annoying☆42Updated last year
- A Huff compiler implemented in Racket☆23Updated 11 months ago
- Interactive formal verification tool for Yul programs☆77Updated 2 months ago
- ☆66Updated last year
- Executable formal model of the EVM and Yul in Lean 4.☆64Updated 2 months ago
- Aims to provide an audited, elegant, minimal implementation of BLS signing, key generation, resharing over the alt-bls128 curve☆46Updated 10 months ago
- ☆41Updated 3 years ago
- a lisp built on top of vyper☆43Updated last month
- Formal verification for Solidity smart contracts with the theorem prover Rocq. Ensure no vulnerabilities for your smart contracts.☆47Updated last month
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆25Updated 3 weeks ago
- Terminal interface tracking gas, transactions and data processed by Decentralized Networks.☆23Updated last month
- Extracting the semantics of Noir to Lean for formal verification☆36Updated this week
- Mythic☆24Updated last year
- ☆22Updated 3 months ago
- A small repository containing the TeX code for the Succinct Proofs and Linear Algebra study session's slides and homework☆22Updated 5 months ago
- Notes from the 278 semester class at Harvard☆19Updated 3 weeks ago
- Assembly implementation of EIP-4788 system contract.☆24Updated last year
- ☆13Updated last year
- A curated list of mechanism design resources and links.☆23Updated 4 years ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆78Updated 6 months ago
- ☆53Updated this week
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆26Updated last month
- Smart contracts of the DFMM protocol☆22Updated last year