Alternatives and similar repositories for silo-contracts-v2

Users that are interested in silo-contracts-v2 are comparing it to the libraries listed below

• code-423n4 / 2025-03-nudgexyz

  View on GitHub
  ☆15Jun 20, 2025Updated 7 months ago
• InfiniFi-Labs / infinifi-protocol

  View on GitHub
  ☆10Feb 3, 2026Updated 2 weeks ago
• code-423n4 / 2025-01-liquid-ron

  View on GitHub
  ☆10Jun 17, 2025Updated 8 months ago
• eepdev / adamantfinance

  View on GitHub
  adamant.finance contracts
  ☆18Jul 10, 2021Updated 4 years ago
• wasm-forge / stable-fs

  View on GitHub
  File system implementation for the Internet Computer
  ☆11Nov 28, 2025Updated 2 months ago
• tchajed / coq-ltac2-experiments

  View on GitHub
  All the code I've ever written in Ltac2
  ☆11Jan 19, 2021Updated 5 years ago
• forresto / choo-graph-viz

  View on GitHub
  ⚠️ WIP - Visualizing data flow in Choo with Choo + KLay layout + SVG
  ☆11Nov 1, 2016Updated 9 years ago
• code-423n4 / 2024-04-dyad

  View on GitHub
  ☆10Jun 14, 2024Updated last year
• doctor-syn / doctor-syn

  View on GitHub
  A set of mathematical syntax transformation tools.
  ☆13May 16, 2025Updated 9 months ago
• lita-xyz / valida-rs

  View on GitHub
  The entry point for Rust projects to be run on Valida
  ☆10Mar 14, 2025Updated 11 months ago
• permadao / arseeding

  View on GitHub
  ☆10Oct 9, 2023Updated 2 years ago
• codebase-labs / git-remote-icp

  View on GitHub
  A Git remote helper for the Internet Computer Protocol.
  ☆12Feb 23, 2023Updated 2 years ago
• costa-group / forves

  View on GitHub
  ☆12Nov 19, 2024Updated last year
• ocaml / dbm

  View on GitHub
  The legacy CamlDBM library for accessing NDBM/GDBM database files
  ☆12Jul 11, 2024Updated last year
• langston-barrett / souffle-lint

  View on GitHub
  A linter for Soufflé Datalog
  ☆16Apr 1, 2024Updated last year
• liquity / bold

  View on GitHub
  Liquity v2 monorepo containing the contracts, subgraph and frontend.
  ☆125Updated this week
• nfurfaro / hunter

  View on GitHub
  A mutation testing CLI tool built in Rust. Currently supports Noir as a target language
  ☆12Dec 2, 2024Updated last year
• tobias-rothmann / Polynomial-Commitment-Schemes

  View on GitHub
  Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.
  ☆10Jan 24, 2026Updated 3 weeks ago
• EngineeringSoftware / math-comp-corpus

  View on GitHub
  Corpus of Coq code related to MathComp including several machine-readable representations
  ☆10Sep 6, 2022Updated 3 years ago
• micromark / micromark-extension-mdx-expression

  View on GitHub
  micromark extension to support MDX or MDX JS expressions
  ☆12Mar 24, 2025Updated 10 months ago
• saber-hq / u128

  View on GitHub
  🧮 U128 helpers for Solana programs.
  ☆11Sep 5, 2023Updated 2 years ago
• koka-lang / AddressC

  View on GitHub
  ☆14May 28, 2025Updated 8 months ago
• immutable / zkevm-bridge-contracts

  View on GitHub
  Smart contracts for the Immutable zkEVM native bridge
  ☆17May 28, 2025Updated 8 months ago
• Certora / Quorum

  View on GitHub
  ☆14Oct 29, 2025Updated 3 months ago
• domwoe / jwt_issuer_poc

  View on GitHub
  Simple PoC to issue JSON Web Tokens (JWTs) with a canister on the Internet Computer.
  ☆11Sep 10, 2022Updated 3 years ago
• chancehudson / ashlang

  View on GitHub
  ☆12Dec 12, 2025Updated 2 months ago
• yannikschaelte / tex2svg

  View on GitHub
  Convert latex to svg
  ☆12Oct 26, 2022Updated 3 years ago
• code-423n4 / 2025-03-starknet

  View on GitHub
  ☆10Jun 17, 2025Updated 8 months ago
• rbardou / red

  View on GitHub
  A command-line text editor in OCaml.
  ☆13Apr 26, 2025Updated 9 months ago
• rocq-community / buchberger

  View on GitHub
  Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
  ☆11Dec 30, 2023Updated 2 years ago
• acryptos / acryptos-protocol

  View on GitHub
  ☆12Jan 1, 2022Updated 4 years ago
• morpho-org / legacy-morpho-token

  View on GitHub
  Morpho token contracts.
  ☆14Dec 10, 2024Updated last year
• appliedfm / vstyle-tools

  View on GitHub
  A formatter/linter for Coq source
  ☆14Jan 15, 2022Updated 4 years ago
• matter-labs / eravm-spec

  View on GitHub
  EraVM specification.
  ☆18Updated this week
• AU-COBRA / coq-rust-extraction

  View on GitHub
  Coq plugin for extracting Rust code
  ☆18Dec 15, 2025Updated 2 months ago
• ocurrent / overview

  View on GitHub
  A brief overview of the main CI services
  ☆16Aug 1, 2025Updated 6 months ago
• matklad / webassembly-test

  View on GitHub
  ☆11Sep 29, 2023Updated 2 years ago
• icopen / lightic

  View on GitHub
  ☆14Aug 15, 2023Updated 2 years ago
• simmo / gulp-stats

  View on GitHub
  Display stats for Gulp tasks
  ☆12Mar 5, 2023Updated 2 years ago