Formal specification and verification of Vyper
☆41Oct 30, 2026Updated this week
Alternatives and similar repositories for vyper-hol
Users that are interested in vyper-hol are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆54Updated this week
- Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full f…☆151Updated this week
- Executable formal model of the EVM and Yul in Lean 4.☆101Nov 19, 2025Updated 11 months ago
- Aave Umbrella smart contracts☆22Aug 27, 2026Updated 2 months ago
- A smart contract payment system built for automated service management☆24May 7, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An open benchmark for evaluating smart contracts verification tools.☆17Oct 5, 2025Updated last year
- experimental solidity compiler☆114Oct 23, 2026Updated last week
- Assembly implementation of EIP-4788 system contract.☆24Aug 20, 2024Updated 2 years ago
- Ethers extension for a multicall-based provider to batch calls.☆23Dec 3, 2024Updated last year
- Interact with the Safe API from Foundry scripts☆20Oct 14, 2026Updated 2 weeks ago
- A framework for AI systems to write EVM bytecode and prove it safe, built on NethermindEth/EVMYulLean.☆39Jun 24, 2026Updated 4 months ago
- Validation code for the EOF specification☆59Apr 28, 2025Updated last year
- zkVMs vulnerabilities☆16May 4, 2026Updated 5 months ago
- a lisp built on top of vyper☆43Jan 8, 2026Updated 9 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Providing assorted versions of solidity compilers (solc).☆25Oct 5, 2026Updated 3 weeks ago
- simple multisig for EVM☆20May 18, 2023Updated 3 years ago
- A gas-efficient, address-bound account abstraction for permissioned hooks on CoW Protocol☆16Sep 29, 2026Updated last month
- ☆14Jun 28, 2026Updated 4 months ago
- Interactive Theorem Proving course using HOL4☆14Mar 27, 2026Updated 7 months ago
- ☆19May 23, 2022Updated 4 years ago
- ☆140Oct 24, 2026Updated last week
- A simple and easy-to-use language and compiler for querying blockchain data.☆12Sep 24, 2023Updated 3 years ago
- Celestia proxy service enabling Private Blockspace☆13Oct 10, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Review git diffs ~aesthetically~. A standalone TUI that serves as a drop-in replacement for VS Code/Cursor's git diff view☆15Jun 17, 2026Updated 4 months ago
- Edge is a high level, strongly statically typed, multi-paradigm domain specific language for the Ethereum Virtual Machine (EVM) built in …☆148Mar 16, 2026Updated 7 months ago
- The home of the Plank Compiler and Sensei IR, its language agnostic EVM IR & backend.☆68Oct 26, 2026Updated last week
- Groth16 zkSNARK implementation in Julia - modular zero-knowledge proof system built from scratch for learning and research. Prove everyth…☆17May 12, 2026Updated 5 months ago
- Self-hosted Nix binary cache: nginx + mTLS + GC-root-based pruning. No database, no daemon.☆20May 9, 2026Updated 5 months ago
- A Rust program for finding (salt, nonce)-pairs that create gas-efficient Ethereum addresses via CREATE3.☆18May 24, 2025Updated last year
- A declarative Linux system. Easy to use, intuitive to configure.☆19Oct 1, 2026Updated last month
- Public repository for the Fluid Contracts from Instadapp☆81Oct 22, 2026Updated last week
- The new huff compiler, with improved codegen, label semantics & error messages.☆160Mar 15, 2026Updated 7 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A mostly mostly reasonable approach to inline Yul styling.☆30Apr 19, 2024Updated 2 years ago
- Ethereum primitives and cryptography☆69Sep 5, 2026Updated last month
- A rust library to interact with the Vyper compiler!☆44Feb 27, 2024Updated 2 years ago
- HOL Guidebook☆12Oct 11, 2024Updated 2 years ago
- A verifier that integrates LLMs into automated C program verification☆20Apr 4, 2026Updated 6 months ago
- Effect-ts monorepo with utilities for web3, next.js, and more☆22Updated this week
- ☆41Nov 21, 2022Updated 3 years ago