Visual Studio Code extension for VDM language support
☆20Feb 28, 2026Updated last week
Alternatives and similar repositories for vdm-vscode
Users that are interested in vdm-vscode are comparing it to the libraries listed below
Sorting:
- Manage collection of SBOMs (Software Bill of Materials)☆14Mar 25, 2024Updated last year
- Build, edit, validate, and export CycloneDX BOMs through an intuitive browser-based interface☆14Updated this week
- Verified Extraction from Rocq to OCaml/Malfunction☆14May 23, 2025Updated 9 months ago
- ☆19Mar 23, 2025Updated 11 months ago
- Vuln Disclosure WG's new SIG☆11Jan 2, 2024Updated 2 years ago
- OSS License Simple Viewer is a simple Excel-based tool as OSS license reference for engineers.☆14Nov 20, 2020Updated 5 years ago
- ☆19Feb 16, 2022Updated 4 years ago
- Peasy: An Intuitive Development Environment for P☆16May 12, 2025Updated 9 months ago
- A FoundryVTT module that supports rolling L5R, VtM 5e, Genesys and SWTTRP dice in chat☆13Feb 7, 2026Updated last month
- A threat modeling tool that implements the Trike v2 methodology in Smalltalk☆16Nov 18, 2019Updated 6 years 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 7 months ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆13Feb 14, 2023Updated 3 years ago
- Literate emacs config file☆13Feb 2, 2018Updated 8 years ago
- J add-on for Apache Arrow, Parquet, CSV, & JSON☆11Aug 20, 2025Updated 6 months ago
- An itree-like data-structure to additionally support internal non-determinism☆20Nov 25, 2025Updated 3 months ago
- Vulnerability Management with SBOM☆20Updated this week
- An expression parser supporting multiple types☆21Sep 25, 2024Updated last year
- Amazon Web Services (AWS) Microsoft Threat Modeling Tool Template☆16Aug 19, 2021Updated 4 years ago
- DevOps for Dyalog APL☆17Dec 27, 2024Updated last year
- Command line client for splitting secrets using Shamir's Secret Sharing Algorithm☆16Apr 2, 2017Updated 8 years ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 2 years ago
- The Micron Programming Language Specification☆23Feb 1, 2026Updated last month
- AgileUML tools for MDE using UML☆21Feb 27, 2026Updated last week
- Official repository of the Autosubst 2 project.☆25May 8, 2023Updated 2 years ago
- Optimizing database queries with array programming☆20Sep 21, 2020Updated 5 years ago
- Formalisation of a type unification algorithm in Coq proof assistant.☆21Oct 9, 2018Updated 7 years ago
- A Neovim colorscheme emphasizing readability above all else.☆21Mar 26, 2025Updated 11 months ago
- Format program files in vim using your favorite command line formatter☆25Jan 22, 2026Updated last month
- nvim-cmp completion for jenkinsfile gdsl☆19Jul 1, 2025Updated 8 months ago
- textlint filter rule that filters any word by allowing lists.☆19Dec 16, 2022Updated 3 years ago
- Decision Model & Notation in Markdown table format☆24Jun 29, 2025Updated 8 months ago
- A pacman wrapper that helps you watch important package updates.☆25Nov 22, 2025Updated 3 months ago
- Formally verified Coq serialization library with support for extraction to OCaml☆24Oct 22, 2023Updated 2 years ago
- Expedient and simple text highlighting using built in Neovim commands: |*|, |g*|, |#|, |g#|. Written in Lua.☆23Aug 20, 2021Updated 4 years ago
- A jvm tool to convert any rdf-ontology to owl2-ontology☆23Mar 12, 2023Updated 2 years ago
- NeoVim plugin to auto configure 'ts', 'sw', 'sts', 'et'☆20Oct 15, 2021Updated 4 years ago
- Alternative unified APL keyboard layouts (AltGr, Backtick, Compositions)☆32May 22, 2025Updated 9 months ago
- ☆46Feb 6, 2026Updated last month
- OpenSSF Endusers Working Group☆28Mar 21, 2024Updated last year