Visual Studio Code extension for VDM language support
☆20Jun 6, 2026Updated this week
Alternatives and similar repositories for vdm-vscode
Users that are interested in vdm-vscode are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formal Modelling in VDM☆29May 31, 2026Updated last week
- Exploring techniques for code refactoring with formal verification☆11Oct 27, 2024Updated last year
- source code of VDMTools☆15Mar 30, 2022Updated 4 years ago
- Verified Extraction from Rocq to OCaml/Malfunction☆15Updated this week
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆14Feb 14, 2023Updated 3 years ago
- An itree-like data-structure to additionally support internal non-determinism☆21Apr 17, 2026Updated last month
- ☆11Feb 27, 2026Updated 3 months ago
- Formalisation of a type unification algorithm in Coq proof assistant.☆21Oct 9, 2018Updated 7 years ago
- Formally verified Coq serialization library with support for extraction to OCaml☆24Oct 22, 2023Updated 2 years ago
- Official repository of the Autosubst 2 project.☆26May 8, 2023Updated 3 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Oct 25, 2022Updated 3 years ago
- ☆14Feb 13, 2022Updated 4 years ago
- JIRA CLI☆20Sep 16, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- HACSurv: A Hierarchical Copula-based Approach for Survival Analysis with Dependent Competing Risks☆13Updated this week
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Sep 15, 2021Updated 4 years ago
- Miles expiration and value reporting for Fava/Beancount (Personal finance software).☆18May 18, 2025Updated last year
- A pacman wrapper that helps you watch important package updates.☆25Nov 22, 2025Updated 6 months ago
- Configurable instrumentation of LLVM bitcode☆35Mar 31, 2025Updated last year
- Coq library on rewriting theory and termination☆37Apr 2, 2026Updated 2 months ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆34Oct 29, 2020Updated 5 years ago
- JHS IDE☆14Apr 28, 2026Updated last month
- A Neovim colorscheme emphasizing readability above all else.☆21Mar 26, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆19Mar 23, 2025Updated last year
- ☆13Feb 15, 2025Updated last year
- NeoVim plugin to auto configure 'ts', 'sw', 'sts', 'et'☆20Oct 15, 2021Updated 4 years ago
- Common Lisp to SQL engine interface☆17May 28, 2026Updated last week
- VATA Tree Automata Library☆34Feb 3, 2026Updated 4 months ago
- The PharoByExample9 repository since to have a broken history. Now the book versioning is moved to this repository to get work done.☆14Updated this week
- nvim-cmp completion for jenkinsfile gdsl☆19Jul 1, 2025Updated 11 months ago
- Literate emacs config file☆13Feb 2, 2018Updated 8 years ago
- LABS☆13Mar 12, 2026Updated 2 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An expression parser supporting multiple types☆21Sep 25, 2024Updated last year
- 🌑 Forth Programming Language on Lua☆24Jun 19, 2025Updated 11 months ago
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆40Oct 21, 2025Updated 7 months ago
- Peasy: An Intuitive Development Environment for P☆17May 24, 2026Updated 2 weeks ago
- The Micron Programming Language Specification☆25May 30, 2026Updated last week
- DevOps for Dyalog APL☆17Dec 27, 2024Updated last year
- The Jakarta Batch project produces the Batch Specification and API.☆16Sep 23, 2024Updated last year