Verification of Smart Contracts with Dafny – FMICS paper examples
☆11Feb 8, 2024Updated 2 years ago
Alternatives and similar repositories for dafny-sc-fmics
Users that are interested in dafny-sc-fmics are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Deposit smart contract in Dafny☆24Sep 9, 2021Updated 5 years ago
- ☆13May 12, 2026Updated 5 months ago
- Formalization of the Beacon Chain Phase 0 Specification in K☆21Sep 6, 2022Updated 4 years ago
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 8 years ago
- An ontology of Ethereum terms extracted from the Ethereum glossaries and Ethereum Improvement Proposals (EIPs). Available in plain text a…☆45Jun 23, 2025Updated last year
- 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.
- Lean 3 web editor☆12Oct 25, 2023Updated 2 years ago
- Draft of SSZ specs repo☆16Jun 16, 2020Updated 6 years ago
- An EVM interpreter in Dafny☆141May 11, 2026Updated 5 months ago
- A user friendly editor to create ice cream recipes and calculate the ideal mixture.☆19Sep 12, 2020Updated 6 years ago
- A verified high-performance file system☆41Jun 30, 2025Updated last year
- Simple WordPress plugin to embed Google Calendars in way that doesn't suck.☆15Jan 4, 2026Updated 9 months ago
- ☆18Nov 29, 2021Updated 4 years ago
- iTunes Smart playlist parser with Python. Convert to Kodi xsp smart playlists.☆22Apr 7, 2026Updated 6 months ago
- Avoiding merge conflicts by making invalid collaboration states unrepresentable.☆25May 18, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Plonk verifier in solidity (using Commit api)☆22Jun 24, 2024Updated 2 years ago
- Eth2.0 spec in Dafny☆80Jun 24, 2024Updated 2 years ago
- Browse, compare, and restore previous versions of your notes using Obsidian's built-in file-recovery snapshots☆30Updated this week
- A repo of knowledge to support the TruSat project☆19Jan 6, 2023Updated 3 years ago
- ☆10May 15, 2021Updated 5 years ago
- A sleek and minimal theme for Obsidian.☆16May 23, 2026Updated 4 months ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆36Mar 25, 2026Updated 6 months ago
- A web app that can improve your study experience in University of Manchester☆19Apr 15, 2023Updated 3 years ago
- Python code and tests for the post 'Programming with Finite Fields'☆48Jun 9, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- VKCapture with KMSGrab included☆12Sep 9, 2024Updated 2 years ago
- Repository for public artifacts related to the practice of secure code review☆12Nov 13, 2019Updated 6 years ago
- Various R files☆10Dec 4, 2021Updated 4 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Experimental deltachat client☆15May 11, 2024Updated 2 years ago
- Houses the code for the Lodestar Finance DeFi protocol.☆10Feb 7, 2025Updated last year
- Sokoban implementation in lean for proving solvability / unsolvability☆14Apr 21, 2021Updated 5 years ago
- Compressed sparse matrices☆15Jun 12, 2024Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 一个方便快捷的Selenium WebDriver Docker部署脚本☆25Jul 29, 2025Updated last year
- Utensil's LLM Playground (2023)☆10May 24, 2026Updated 4 months ago
- shepherd is a framework to build content moderation systems.☆13Updated this week
- Metamath logic game☆10Aug 11, 2026Updated 2 months ago
- Single-source shortest paths accelerated with AWS F1 FPGA☆14May 2, 2018Updated 8 years ago
- Vanilla NFT Standard For Representing Abstract Ownership☆11Jul 13, 2022Updated 4 years ago
- Could you accept my pr?☆32Jul 25, 2024Updated 2 years ago