leonardoalt/SolPrologV2 external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

leonardoalt/SolPrologV2

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/leonardoalt/SolPrologV2)

Close

leonardoalt / SolPrologV2View on GitHubMore

• External links
• Readme badge

A Prolog engine written in Solidity.

☆16Feb 19, 2022Updated 4 years ago

Alternatives and similar repositories for SolPrologV2

Users that are interested in SolPrologV2 are comparing it to the libraries listed below

• leonardoalt / hevm_paper

  View on GitHub
  ☆12Dec 3, 2021Updated 4 years ago
• 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
• Chainstride-Capital / aegis

  View on GitHub
  Shield your initial Uniswap liquidity from malicious actors
  ☆16Nov 10, 2021Updated 4 years ago
• karalabe / snailtracer

  View on GitHub
  Ray tracing on the Ethereum Virtual Machine
  ☆105Feb 14, 2018Updated 8 years ago
• dvush / cl-evasm

  View on GitHub
  EVM assembly as an embedded Common Lisp dsl
  ☆21Aug 12, 2022Updated 3 years ago
• byteball / counterstake-bridge

  View on GitHub
  Assistant/watchdog for Counterstake Bridge https://counterstake.org
  ☆13Dec 26, 2025Updated 2 months ago
• simon-something / Solidity-ASM-weth

  View on GitHub
  Asm shenanigans, including WETH contract, but in assembly (leftover of a drunk-coding saturday night), Storage classic example (but in a…
  ☆26Nov 25, 2021Updated 4 years ago
• rainbreak / crop

  View on GitHub
  ☆13Feb 2, 2021Updated 5 years ago
• tcoulter / jackhammer

  View on GitHub
  Start a Hardhat Network node from the command line
  ☆12Oct 1, 2021Updated 4 years ago
• th4s / beth

  View on GitHub
  A CLI for Ethereum with a focus on portability
  ☆10Jun 13, 2023Updated 2 years ago
• ControlCplusControlV / Scribe

  View on GitHub
  Minimal Yul Transpilation to the Miden VM
  ☆52Jan 27, 2023Updated 3 years ago
• perimetersec / resources

  View on GitHub
  Public resources on fuzzing services, methodologies, and benefits for protocol security.
  ☆26Jan 12, 2026Updated last month
• leonardoalt / sol-macros

  View on GitHub
  ☆33Oct 25, 2022Updated 3 years ago
• jordanteague / sandbox

  View on GitHub
  ☆12Jun 11, 2022Updated 3 years ago
• foundry-rs / getfoundry.sh

  View on GitHub
  Official Foundry landing page
  ☆17Jun 28, 2023Updated 2 years ago
• smartcontracts / eth-homework

  View on GitHub
  A place for you to do your homework
  ☆11Jan 30, 2022Updated 4 years ago
• dapp-org / radicle-contracts-tests

  View on GitHub
  testing https://github.com/radicle-dev/radicle-contracts
  ☆14Feb 18, 2021Updated 5 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
• aave / price-aggregators

  View on GitHub
  ☆15Nov 22, 2021Updated 4 years ago
• manifoldfinance / mevETH2

  View on GitHub
  mevETH LST Protocol - Repo has migrated see link
  ☆26Mar 12, 2024Updated last year
• tahos81 / ethernaut-bounty

  View on GitHub
  EthernautDAO reputation system
  ☆13Jun 1, 2022Updated 3 years ago
• dvush / seaport-gascompare

  View on GitHub
  ☆13May 21, 2022Updated 3 years ago
• mattiekat / cgraph

  View on GitHub
  A pure-std Rust computation graph library
  ☆15Jun 3, 2021Updated 4 years ago
• hack3r-0m / uniswap-v3-oracle

  View on GitHub
  Uniswap V3 On-chain oracle infrastructure
  ☆15Sep 2, 2021Updated 4 years ago
• kmbarry1 / flash-thaw

  View on GitHub
  ☆15Mar 7, 2022Updated 3 years ago
• keep-starknet-strange / bifrost

  View on GitHub
  Example of an ERC20 bridge for tokens minted on StarkNet layer 2
  ☆15Jan 26, 2023Updated 3 years ago
• DEShawResearch / Technical-Reports

  View on GitHub
  D. E. Shaw Research Technical Reports
  ☆13Jul 4, 2022Updated 3 years ago
• Stolkerve / borsh-cpp

  View on GitHub
  C++ implementation of Binary Object Representation Serializer for Hashing
  ☆14Nov 1, 2022Updated 3 years ago
• argotorg / yul-isabelle

  View on GitHub
  ☆41Nov 21, 2022Updated 3 years ago
• yashnaman / tokensWithPermitFunctionList

  View on GitHub
  An in complete list of tokens with permit function
  ☆14May 6, 2021Updated 4 years ago
• nxm-rs / nexum

  View on GitHub
  Terminal-first Ethereum wallet for people who read the docs. No hand-holding, just raw transaction power.
  ☆28Feb 1, 2026Updated last month
• 0xTomoyo / metavault

  View on GitHub
  Templating for meta vaults
  ☆15Dec 19, 2021Updated 4 years ago
• maxwalts / tinyv-c

  View on GitHub
  A tiny nearest-neighbor embedding database written in C
  ☆19Feb 18, 2026Updated last week
• ricobank / multifab-draft

  View on GitHub
  SUPERCEDED by ricobank/multifab
  ☆20Jul 13, 2022Updated 3 years ago
• Mikerah / solidity-bugs-and-vulns-in-yul

  View on GitHub
  ☆91Feb 15, 2021Updated 5 years ago
• brockelmore / contract_grabber

  View on GitHub
  Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor
  ☆30May 7, 2022Updated 3 years ago
• dmihal / hardhat-change-network

  View on GitHub
  ☆33Nov 9, 2023Updated 2 years ago
• refcell / cairopal

  View on GitHub
  Modern, Flexible Starknet Dapp Template
  ☆42Feb 9, 2022Updated 4 years ago