Formal Modelling in VDM
☆29Mar 3, 2026Updated this week
Alternatives and similar repositories for vdmj
Users that are interested in vdmj are comparing it to the libraries listed below
Sorting:
- source code of VDMTools☆15Mar 30, 2022Updated 3 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆33Oct 29, 2020Updated 5 years ago
- The BToolkit, a toolkit supporting software development with the B-method.☆39Apr 19, 2024Updated last year
- Haskell trading framework.☆11Apr 3, 2016Updated 9 years ago
- IRC-Jabber-Mumble-Telegram-Teamspeak Bridge.☆15Dec 25, 2016Updated 9 years ago
- Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits☆11Jul 17, 2025Updated 7 months ago
- Boost.Asio C++ Network Programming Cookbook by Dmytro Radchuk☆14May 14, 2017Updated 8 years ago
- Import from the Tiled map editor.☆16Sep 17, 2018Updated 7 years ago
- Proof of concept code for VoteAgain paper☆10Jul 23, 2023Updated 2 years ago
- CMake building with multiple targets, run configurations, and interactive menu☆14Oct 1, 2022Updated 3 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- Clean rewrite of EBXL.☆14Jan 17, 2019Updated 7 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- ☆13Feb 15, 2025Updated last year
- ☆19Mar 23, 2025Updated 11 months ago
- Simple parallel genetic algorithm implementation in pure Haskell☆12Mar 26, 2018Updated 7 years ago
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆18Feb 3, 2026Updated last month
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆18Jun 21, 2015Updated 10 years ago
- ☆13Oct 30, 2020Updated 5 years ago
- Ruby Hardware Description Language☆15Mar 13, 2013Updated 12 years ago
- Amazon F1-inspired Xilinx VCU118 hardware design framework☆13Jan 4, 2021Updated 5 years ago
- Exploring techniques for code refactoring with formal verification☆11Oct 27, 2024Updated last year
- Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError☆15Jul 19, 2025Updated 7 months ago
- ScalaTest plugin for Scala IDE☆41Jul 4, 2020Updated 5 years ago
- A Tamarin model and analysis of EMV contactless☆15Feb 16, 2021Updated 5 years ago
- Peasy: An Intuitive Development Environment for P☆16May 12, 2025Updated 9 months ago
- Formal verification tools for Chisel and RISC-V☆13Jul 2, 2024Updated last year
- ☆11Feb 27, 2026Updated last week
- ZeroMQ 4.x.x+ binding for Lua☆15Nov 4, 2017Updated 8 years ago
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- An itree-like data-structure to additionally support internal non-determinism☆20Nov 25, 2025Updated 3 months ago
- [DEPRECATED] Generate Ada bindings to C++ code☆16Dec 9, 2019Updated 6 years ago
- A FoundryVTT module that supports rolling L5R, VtM 5e, Genesys and SWTTRP dice in chat☆13Feb 7, 2026Updated last month
- 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 7 months ago
- Assume-Guarantee REasoning Environment☆20Dec 3, 2025Updated 3 months ago
- 🌑 Forth Programming Language on Lua☆23Jun 19, 2025Updated 8 months ago
- HsLua examples. This repository has been archived. See the hslua-examples folder in the main hslua repo for up-to-date examples.☆13Jun 8, 2021Updated 4 years ago
- J add-on for Apache Arrow, Parquet, CSV, & JSON☆11Aug 20, 2025Updated 6 months ago
- Haskell implementation of Nanoid, secure URL-friendly unique ID generator.☆20Jan 14, 2018Updated 8 years ago