Exercises for the Dafny Tutorial
☆14May 21, 2018Updated 7 years ago
Alternatives and similar repositories for dafny-tutorial
Users that are interested in dafny-tutorial are comparing it to the libraries listed below
Sorting:
- TriCera: a model checker for C programs☆26Feb 12, 2026Updated 2 weeks ago
- An EVM interpreter in Dafny☆135Oct 24, 2024Updated last year
- A design automation framework to engineer decision diagrams yourself☆26Updated this week
- Open Authorization API (OAA) development libraries, connectors and resources.☆17Jan 9, 2025Updated last year
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆39Apr 9, 2023Updated 2 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆38Mar 25, 2025Updated 11 months ago
- ☆11May 27, 2025Updated 9 months ago
- The Immutable Core SDK Golang provides convenient access to the Immutable APIs and Ethereum contract methods for applications integrating…☆10Jan 6, 2026Updated last month
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- formal tools for BPMN☆37Jul 1, 2025Updated 7 months ago
- A Rougelike Peer-to-Peer Multi Player Dungeon Explorer Game written in Rust☆10Feb 12, 2022Updated 4 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Analyze experimental data with Programming by Navigation☆13Updated this week
- Scripts for Digital Design flow control.☆16Oct 30, 2025Updated 3 months ago
- Not just a PDE toolbox. Adapt your ideas from a clean, modular code base with Femeko.☆15Updated this week
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- A simple tool to demonstrate the physical design steps of VLSI Design Flow.☆10Dec 13, 2020Updated 5 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- ☆10Feb 9, 2024Updated 2 years ago
- A public repo to hold some code review challenges for RSA Conference 2022☆11Jun 3, 2022Updated 3 years ago
- 不定期更新爬取各国网站的爬虫源码☆10Aug 15, 2018Updated 7 years ago
- [NeurIPS 2025] CodeCrash: Exposing LLM Fragility to Misleading Natural Language in Code Reasoning☆16Jan 24, 2026Updated last month
- An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.☆13Aug 31, 2018Updated 7 years ago
- OpenTitan FI formal verification framework☆16Aug 29, 2023Updated 2 years ago
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 years ago
- AMD Software Development Kit 2.5 Sources☆10Feb 29, 2016Updated 9 years ago
- Official developer documentation for OneBusAway☆13Feb 11, 2026Updated 2 weeks ago
- Interesting papers☆11Jun 22, 2024Updated last year
- Edit from https://github.com/shadowsocks/shadowsocks-libev/tree/master/docker/alpine☆10Jun 10, 2019Updated 6 years ago
- Houses the code for the Lodestar Finance DeFi protocol.☆10Feb 7, 2025Updated last year
- 💧 MAIL: Система доставки повідомлень☆29Jan 27, 2026Updated last month
- ☆10Aug 9, 2023Updated 2 years ago
- Python 3 runtime libraries for ANTLR 4☆13Jun 7, 2015Updated 10 years ago
- ☆11Apr 13, 2022Updated 3 years ago
- The 1st Golang challenge in Erlang☆11Mar 19, 2015Updated 10 years ago
- tiny reusable framework for building microservices with messaging and rest☆11Dec 15, 2023Updated 2 years ago
- ☆13Jul 25, 2023Updated 2 years ago
- ☆19Jan 29, 2026Updated last month
- Rust SDK for Rigetti Quantum Cloud Services (QCS)☆14Updated this week