☆33Oct 10, 2025Updated 4 months ago
Alternatives and similar repositories for 2025-09-monad
Users that are interested in 2025-09-monad are comparing it to the libraries listed below
Sorting:
- ☆31Nov 8, 2024Updated last year
- ☆32Feb 25, 2026Updated last week
- A list of AI autonomous agents in Web3☆10Jan 9, 2025Updated last year
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- adamant.finance contracts☆18Jul 10, 2021Updated 4 years ago
- Non rebasing M token alternative with additional possibility to preserve and forward yield to earners☆13Feb 13, 2026Updated 3 weeks ago
- ☆14Feb 27, 2026Updated last week
- The legacy CamlDBM library for accessing NDBM/GDBM database files☆12Jul 11, 2024Updated last year
- Example of an easy way to take cs notes☆11Mar 11, 2021Updated 4 years ago
- The entry point for Rust projects to be run on Valida☆10Mar 14, 2025Updated 11 months ago
- ☆12Nov 19, 2024Updated last year
- A mutation testing CLI tool built in Rust. Currently supports Noir as a target language☆12Dec 2, 2024Updated last year
- Tekton + Knative hands on lab☆11Dec 7, 2019Updated 6 years ago
- ⚠️ WIP - Visualizing data flow in Choo with Choo + KLay layout + SVG☆11Nov 1, 2016Updated 9 years ago
- ☆13Nov 14, 2024Updated last year
- Keep track of internships for Summer 2020 for undergraduates interested in tech./SWE/related fields☆11Feb 15, 2020Updated 6 years ago
- ☆11Apr 18, 2024Updated last year
- ☆12Jan 1, 2022Updated 4 years ago
- ☆21Aug 31, 2025Updated 6 months ago
- ☆11Oct 10, 2025Updated 4 months ago
- ☆14May 28, 2025Updated 9 months ago
- Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]☆11Dec 30, 2023Updated 2 years ago
- Morpho token contracts.☆14Dec 10, 2024Updated last year
- 🧮 U128 helpers for Solana programs.☆11Sep 5, 2023Updated 2 years ago
- ☆14Oct 29, 2025Updated 4 months ago
- ☆17Oct 8, 2025Updated 4 months ago
- ot-coq☆17Sep 5, 2023Updated 2 years ago
- ☆12Dec 12, 2025Updated 2 months ago
- EraVM specification.☆18Updated this week
- ☆10Jun 17, 2025Updated 8 months ago
- A command-line text editor in OCaml.☆13Apr 26, 2025Updated 10 months ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- Coq plugin for extracting Rust code☆18Dec 15, 2025Updated 2 months ago
- Topological sort algorithm☆15Jan 15, 2026Updated last month
- A brief overview of the main CI services☆16Aug 1, 2025Updated 7 months ago
- A framework for working with inference rules.☆10Sep 14, 2021Updated 4 years ago
- ☆15Dec 24, 2025Updated 2 months ago
- Common ground for the Ambire apps. This package puts together the core business logic behind the Ambire browser extensions and (the futur…☆29Updated this week
- Delegate which will always take the most advantageous path for users between minting and swapping token project when triggering pay()☆10Dec 8, 2023Updated 2 years ago