nickbattle / vdmjView external linksLinks
Formal Modelling in VDM
☆29Updated this week
Alternatives and similar repositories for vdmj
Users that are interested in vdmj are comparing it to the libraries listed below
Sorting:
- Visual Studio Code extension for VDM language support☆20Feb 6, 2026Updated last week
- The BToolkit, a toolkit supporting software development with the B-method.☆38Apr 19, 2024Updated last year
- Haskell trading framework.☆11Apr 3, 2016Updated 9 years ago
- Multi-view learning approaches for stock return prediction with tweets.☆10Jun 17, 2020Updated 5 years ago
- Unbreakable links.☆20Nov 16, 2025Updated 2 months ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- small script for managing google scholar alert emails☆11May 6, 2023Updated 2 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- Proof of concept code for VoteAgain paper☆10Jul 23, 2023Updated 2 years ago
- Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits☆11Jul 17, 2025Updated 6 months ago
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆18Feb 3, 2026Updated last week
- ☆13Feb 15, 2025Updated 11 months ago
- Ruby Hardware Description Language☆15Mar 13, 2013Updated 12 years ago
- Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError☆15Jul 19, 2025Updated 6 months ago
- ☆19Mar 23, 2025Updated 10 months ago
- LABS☆13Apr 29, 2025Updated 9 months ago
- ☆11Sep 7, 2025Updated 5 months ago
- Formal verification tools for Chisel and RISC-V☆13Jul 2, 2024Updated last year
- A Tamarin model and analysis of EMV contactless☆15Feb 16, 2021Updated 4 years ago
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- The Advanced Scripting Framework is a modern scripting for VBA: JavaScript-like syntax, classes with inheritance, map/filter/reduce, clos…☆23Updated this week
- ZeroMQ 4.x.x+ binding for Lua☆15Nov 4, 2017Updated 8 years ago
- ScalaTest plugin for Scala IDE☆41Jul 4, 2020Updated 5 years ago
- C library plusifier☆10Nov 13, 2021Updated 4 years ago
- OpenMZ, a security kernel for RISC-V targeting secure coprocessors and secure embedded systems.☆15Jun 26, 2020Updated 5 years ago
- 🌑 Forth Programming Language on Lua☆23Jun 19, 2025Updated 7 months ago
- [DEPRECATED] Generate Ada bindings to C++ code☆16Dec 9, 2019Updated 6 years ago
- Assume-Guarantee REasoning Environment☆19Dec 3, 2025Updated 2 months ago
- The PharoByExample9 repository since to have a broken history. Now the book versioning is moved to this repository to get work done.☆14Aug 2, 2025Updated 6 months ago
- DevOps for Dyalog APL☆17Dec 27, 2024Updated last year
- a 9term-compatible terminal in Ruby/Tk☆18Jan 28, 2012Updated 14 years ago
- Training files for Ada courses☆13Jan 26, 2026Updated 2 weeks ago
- An Ivory library inspired by Atom☆14Oct 17, 2016Updated 9 years ago
- Haskell Wavefront OBJ loader library☆20Dec 23, 2023Updated 2 years ago
- ACCESSIBLE ELECTRONIC VOTING SYSTEM☆16Jun 22, 2019Updated 6 years ago
- gallina frontend for CompCert☆19Jul 6, 2019Updated 6 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆157Jan 27, 2026Updated 2 weeks ago
- An implementation of the actor model in Haskell using STM☆17Dec 20, 2024Updated last year
- ☆21Aug 1, 2015Updated 10 years ago