Node.js server for Gardener open source oracle project
☆30Jan 7, 2023Updated 3 years ago
Alternatives and similar repositories for gardener-server
Users that are interested in gardener-server are comparing it to the libraries listed below
Sorting:
- Gas benchmark research repository☆21Updated this week
- All we want is revm and commonware. Leave everything else at the door.☆45Feb 2, 2026Updated last month
- A scalable blockchain platform supporting native cross-shard transactions☆30Jul 31, 2024Updated last year
- ☆28Feb 1, 2024Updated 2 years ago
- ☆12Feb 18, 2024Updated 2 years ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Feb 25, 2026Updated last week
- ☆12Apr 8, 2025Updated 10 months ago
- ☆11Oct 31, 2021Updated 4 years ago
- ERC-7824 Nitro reference implementation☆15Mar 11, 2025Updated 11 months ago
- ☆11Sep 15, 2025Updated 5 months ago
- ☆10Feb 28, 2020Updated 6 years ago
- Symbolic Execution for WebAssembly☆10Jun 10, 2018Updated 7 years ago
- ☆13Jul 8, 2024Updated last year
- We use Loyalty smart contract to keep track of points earned and redeem by a member of the Synergy Loyalty program. Besides, we hold for …☆11Feb 3, 2023Updated 3 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Ownera FinP2P for Tezos☆10Jun 12, 2022Updated 3 years ago
- Optimism-Python: Unofficial Python Client for the OP-Stack☆16Nov 1, 2024Updated last year
- ☆10Oct 11, 2022Updated 3 years ago
- Ethereum implementation on the efficiency frontier☆54Feb 20, 2026Updated last week
- Tumor Phylogeny Reconstruction via Integrative use of Single Cell and Bulk Sequencing Data☆11Jul 13, 2020Updated 5 years ago
- Proof of concept for using state proofs and L1 block data to verify cross-chain actions☆12Aug 29, 2024Updated last year
- ☆12Mar 22, 2025Updated 11 months ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- A simulator for the UW MIPS instruction set, with a time-traveling debugger☆10Jun 26, 2019Updated 6 years ago
- Tornado cash fork with blacklist to prevent illegal money laundering☆10Mar 13, 2023Updated 2 years ago
- Compute and manipulate Hodge diamonds for many classes of smooth projective varieties☆11Jan 22, 2026Updated last month
- Ethereum keystore generator and reader☆11Aug 24, 2020Updated 5 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Feb 26, 2026Updated last week
- Lindemann–Weierstrass Theorem☆11May 4, 2024Updated last year
- Auto math prover.☆11Jul 10, 2024Updated last year
- A reference implementation of a 0x coordinator server (soft-cancel variant)☆10Apr 7, 2023Updated 2 years ago
- A Cheat Sheet for DAML☆12May 22, 2025Updated 9 months ago
- Sandbox for Hyperledger Projects Performance research usage☆12Nov 27, 2023Updated 2 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- AWS Lambda which communicates with EKS service☆10May 11, 2021Updated 4 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years ago
- Bε tree implementation☆12Dec 6, 2023Updated 2 years ago
- Multi-party computation utilities toolkit for rust☆16Dec 19, 2019Updated 6 years ago