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:
- ☆13May 12, 2026Updated 5 months ago
- Deposit smart contract in Dafny☆24Sep 9, 2021Updated 5 years ago
- Formalization of the Beacon Chain Phase 0 Specification in K☆21Sep 6, 2022Updated 4 years ago
- An EVM interpreter in Dafny☆141May 11, 2026Updated 5 months ago
- Draft of SSZ specs repo☆16Jun 16, 2020Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 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
- Eth2.0 spec in Dafny☆80Jun 24, 2024Updated 2 years ago
- A cross-platform hotkey module for Python.☆10Aug 11, 2024Updated 2 years ago
- Lean 3 web editor☆12Oct 25, 2023Updated 3 years ago
- Exercises for the Dafny Tutorial☆15May 21, 2018Updated 8 years ago
- ☆11Dec 14, 2023Updated 2 years ago
- Dafny examples☆10Apr 2, 2018Updated 8 years ago
- 按主题显示浏览历史, 支持关键词搜索☆13Feb 3, 2021Updated 5 years ago
- A verified high-performance file system☆42Jun 30, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Simple WordPress plugin to embed Google Calendars in way that doesn't suck.☆15Jan 4, 2026Updated 10 months ago
- A formatter for TLA+ specs☆15Oct 14, 2026Updated 3 weeks ago
- NFS server that runs in userspace☆10Updated this week
- ☆18Nov 29, 2021Updated 4 years ago
- Avoiding merge conflicts by making invalid collaboration states unrepresentable.☆25May 18, 2026Updated 5 months ago
- A user friendly editor to create ice cream recipes and calculate the ideal mixture.☆19Sep 12, 2020Updated 6 years ago
- Plonk verifier in solidity (using Commit api)☆22Jun 24, 2024Updated 2 years ago
- iTunes Smart playlist parser with Python. Convert to Kodi xsp smart playlists.☆22Updated this week
- 📊Simple yet cool EDA module☆15Jun 8, 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.
- OpenCV based motion detection/recording software built for research on Bumblebees.☆20Jan 22, 2024Updated 2 years ago
- A sleek and minimal theme for Obsidian.☆16May 23, 2026Updated 5 months ago
- A repo of knowledge to support the TruSat project☆19Jan 6, 2023Updated 3 years ago
- ☆10May 15, 2021Updated 5 years ago
- A toy implementation of socket programming for Lean 4.☆27Feb 23, 2023Updated 3 years ago
- A web app that can improve your study experience in University of Manchester☆19Apr 15, 2023Updated 3 years ago
- Browse, compare, and restore previous versions of your notes using Obsidian's built-in file-recovery snapshots☆31Oct 12, 2026Updated 3 weeks ago
- Extension for Firefox☆29Sep 16, 2022Updated 4 years ago
- A pretty printer for Lean 4☆10Mar 18, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Data and code from our stories, "Google Has a Secret Blocklist that Hides YouTube Hate Videos from Advertisers—But It’s Full of Holes," a…☆31Aug 23, 2021Updated 5 years ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆36Mar 25, 2026Updated 7 months ago
- Proofmood is a computer logic system specifically tailored for Fitch calculus, covering propositional logic, first-order logic, and type …☆12Nov 1, 2023Updated 3 years ago
- A set of Hasktorch tutorials based on pytorch-tutorial☆10Dec 22, 2020Updated 5 years ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- A simple opengl spinning cube in pascal☆10Jul 6, 2026Updated 4 months ago
- Python code and tests for the post 'Programming with Finite Fields'☆48Jun 9, 2020Updated 6 years ago