Alternatives and similar repositories for dss-kiln

Users that are interested in dss-kiln are comparing it to the libraries listed below

• kmbarry1 / fund-eq-of-dai-certora

  View on GitHub
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Jun 4, 2024Updated last year
• libevm / hp2

  View on GitHub
  Huff Proxies with Create2 (no SLOAD)
  ☆41Oct 23, 2022Updated 3 years ago
• tahos81 / ethernaut-bounty

  View on GitHub
  EthernautDAO reputation system
  ☆13Jun 1, 2022Updated 3 years ago
• spearbit / echidna-spearbit-demo

  View on GitHub
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆31Jul 9, 2022Updated 3 years ago
• verumlotus / Fractionalized-ERC721-Options

  View on GitHub
  Options for ERC721 assets via fractionalizing into ERC20 tokens & depositing into Primitve's RMM-01
  ☆42Apr 10, 2022Updated 3 years ago
• sentimentxyz / controller

  View on GitHub
  Interaction Controllers for Sentiment
  ☆28Jul 5, 2023Updated 2 years ago
• sky-ecosystem / protego

  View on GitHub
  ☆10Jul 29, 2025Updated 6 months ago
• Zer0dot / dotproxy

  View on GitHub
  My version of a clone factory with immutable args WIP!
  ☆18May 7, 2022Updated 3 years ago
• z0r0z / veSUSHI

  View on GitHub
  Vote-escrowed SUSHI built on ERC-4626 vault standard.
  ☆15Apr 26, 2022Updated 3 years ago
• digama0 / frat

  View on GitHub
  DRAT proof processor
  ☆16Apr 8, 2023Updated 2 years ago
• onbjerg / foundry-test

  View on GitHub
  Just testing, nothing to see here.
  ☆13Mar 17, 2022Updated 3 years ago
• SamWilsn / Bribe3074

  View on GitHub
  ☆11May 15, 2025Updated 9 months ago
• refcell / unix

  View on GitHub
  A lightweight, extensible foundry library for shell scripting.
  ☆62Jul 12, 2022Updated 3 years ago
• WilfredTA / symbolic-stack-machines

  View on GitHub
  Library for building symbolically executable stack-based virtual machines
  ☆75Oct 20, 2022Updated 3 years ago
• EVM-SMT / solver

  View on GitHub
  proof first, evm specific smt solver
  ☆69Apr 11, 2022Updated 3 years ago
• primitivefinance / rmm-ethers

  View on GitHub
  Library for interacting with RMM protocol through ethers.js.
  ☆15Feb 4, 2023Updated 3 years ago
• oroghene / vault-fun

  View on GitHub
  ☆13May 13, 2022Updated 3 years ago
• emo-eth / are-we-immutable-yet

  View on GitHub
  Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to
  ☆29Oct 19, 2022Updated 3 years ago
• Uniswap / lp-action-contracts

  View on GitHub
  ☆27May 12, 2022Updated 3 years ago
• sense-finance / auto-roller

  View on GitHub
  Rolling Liquidity Vault: an ERC4626 compliant vault, passive liquidity vault built atop Sense Space Pools
  ☆28Jul 27, 2023Updated 2 years ago
• defi-principles / draft-defi-principles

  View on GitHub
  ☆37Jan 7, 2022Updated 4 years ago
• crytic / echidna-spearbit-demo

  View on GitHub
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Jul 6, 2022Updated 3 years ago
• cairoeth / GOO-Racing

  View on GitHub
  A dynamic on-chain racing game with real simulations 🏎️
  ☆22Sep 26, 2022Updated 3 years ago
• PaulRBerg / check-same-sign

  View on GitHub
  Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity
  ☆46Jul 17, 2022Updated 3 years ago
• 03ladr / xevm

  View on GitHub
  evm implementation in rust
  ☆16May 26, 2022Updated 3 years ago
• refcell / ambiel

  View on GitHub
  Lightweight, Gracefull Push + Pull Pattern Demo
  ☆20May 10, 2022Updated 3 years ago
• brockelmore / memmove

  View on GitHub
  A data structures library that does memory management for you
  ☆221Feb 11, 2023Updated 3 years ago
• fei-protocol / flywheel-v2

  View on GitHub
  General Token Incentives Infrastructure
  ☆69Nov 13, 2023Updated 2 years ago
• dialecticch / safe-flashloan

  View on GitHub
  A flashloan module for Gnosis Safe.
  ☆45Sep 15, 2021Updated 4 years ago
• risedle / interface

  View on GitHub
  ✦ Risedle interface
  ☆19Aug 2, 2022Updated 3 years ago
• 0xkarmacoma / enterprise-counters

  View on GitHub
  ☆29Jul 22, 2022Updated 3 years ago
• risedle / flt

  View on GitHub
  ✦ Fuse Leveraged Tokens. Leveraged tokens powered by Rari Fuse
  ☆34Aug 11, 2022Updated 3 years ago
• 0xPhaze / clones-with-immutable-args-comparison

  View on GitHub
  ☆12Sep 25, 2022Updated 3 years ago
• refcell / shipnauts

  View on GitHub
  Shipyard Precourse Work Part 4
  ☆10Mar 30, 2022Updated 3 years ago
• nlordell / cow-trade-simulation

  View on GitHub
  Proof of concept trade simulation using state overrides
  ☆23Sep 8, 2022Updated 3 years ago
• RageTrade / gmx-vault

  View on GitHub
  LP and Strategy Vaults for RageTrade/core
  ☆22Oct 6, 2022Updated 3 years ago
• recmo / yul

  View on GitHub
  ☆102Apr 24, 2023Updated 2 years ago
• ScopeLift / l2-optimizoooors

  View on GitHub
  Gas efficient routers for L2 applications
  ☆116Sep 23, 2022Updated 3 years ago
• gakonst / forge-tracing-repro

  View on GitHub
  ☆10Mar 25, 2022Updated 3 years ago