Here we collect worldwide courses teaching formal methods
☆43Jul 5, 2019Updated 6 years ago
Alternatives and similar repositories for Formal-Methods-Courses
Users that are interested in Formal-Methods-Courses are comparing it to the libraries listed below
Sorting:
- The ADUni course material, and extra info.☆14Sep 17, 2011Updated 14 years ago
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 3 years ago
- Obsolete☆14Mar 7, 2023Updated 3 years ago
- ☆22Jan 2, 2026Updated 2 months ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- A curated list of rust articles worth reading☆23Jun 1, 2023Updated 2 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Jan 13, 2017Updated 9 years ago
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆167Jul 14, 2022Updated 3 years ago
- ☆41Nov 21, 2022Updated 3 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Oct 9, 2019Updated 6 years ago
- A simple tool that converts MIDI files to QWERTY sheets for playing on your favorite VP platform.☆11Updated this week
- Simulations for light-pulse atom interferometry☆13Updated this week
- Timeless is a yield tokenization protocol that offers Perpetual Yield Tokens.☆40Sep 7, 2022Updated 3 years ago
- More stable versions of some articles from my blog☆37Apr 23, 2025Updated 10 months ago
- A Powershell wrapper around the Voiceemeter Remote API☆14Feb 19, 2026Updated 2 weeks ago
- Julia package for performing Bloch simulations within the context of Magnetic Resonance Imaging☆13Updated this week
- Sources of the EuroProofNet web site.☆13Feb 28, 2026Updated last week
- Generate SVG path data declarative way. Made by http://www.owlsdepartment.com/☆10May 7, 2023Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆85Jul 11, 2016Updated 9 years ago
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated last year
- ☆13Jun 6, 2022Updated 3 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- Rust Implementation of the Solidity ABI☆43Sep 6, 2025Updated 6 months ago
- Starter template for an ethereum DApp using typescript☆12Jan 19, 2021Updated 5 years ago
- Extrator do conteúdo da página de transparência da Secretaria de Segurança Pública de São Paulo☆10Aug 25, 2018Updated 7 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- ☆10Oct 2, 2021Updated 4 years ago
- Produce probabilities for economy-based environments.☆11Sep 10, 2022Updated 3 years ago
- Privacy Protected On-chain Identity Based on Zero Knowledge Proof☆10Apr 3, 2023Updated 2 years ago
- ☆10Dec 12, 2022Updated 3 years ago
- Shipyard Precourse Work Part 4☆10Mar 30, 2022Updated 3 years ago
- Office Improvement Proposals☆10Nov 28, 2019Updated 6 years ago
- the rendering and smart contract code for vibes☆12Oct 9, 2021Updated 4 years ago
- ☆10May 7, 2022Updated 3 years ago
- ☆11Jan 28, 2023Updated 3 years ago
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- Actor model implemented in OCaml - early alpha☆10Jun 5, 2020Updated 5 years ago
- A regular expression parser written in JavaScript☆10Feb 24, 2021Updated 5 years ago