Visual Studio Code extension for VDM language support
☆21Jul 17, 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☆29Updated this week
- Node for python virtual environment☆11Apr 7, 2026Updated 3 months ago
- The Overture Tool☆53Nov 26, 2025Updated 7 months ago
- This exercise is part of the GraphQL training provided by https://leanjs.com☆14Dec 4, 2017Updated 8 years ago
- Exploring techniques for code refactoring with formal verification☆11Oct 27, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Toward a Well-Calibrated Discrimination via Survival Outcome-Aware Contrastive Learning, Neurips 2024☆11Nov 5, 2025Updated 8 months ago
- Maestro a Co-Simulation Orchestration Engine☆23Apr 17, 2026Updated 3 months ago
- source code of VDMTools☆15Mar 30, 2022Updated 4 years ago
- Testbed of AI Systems Quality Management☆20Jan 29, 2026Updated 5 months ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 3 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆15Feb 14, 2023Updated 3 years ago
- An itree-like data-structure to additionally support internal non-determinism☆22Updated this week
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- ☆11Apr 5, 2024Updated 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.
- Per-target CPPCheck for CMake☆18May 30, 2016Updated 10 years ago
- This is a repository that a custom stm32 secure bootloader is being developed.☆11Feb 16, 2025Updated last year
- ☆11Feb 27, 2026Updated 4 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
- Create, compile and manage your Gradle projects without leaving vim!☆11Jun 27, 2022Updated 4 years ago
- Verified Extraction from Rocq to OCaml/Malfunction☆17Jun 3, 2026Updated last month
- MAchine Learning Support System☆42Aug 2, 2022Updated 3 years ago
- generic embedded stuff used throughout hobby projs☆24Apr 8, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- HACSurv: A Hierarchical Copula-based Approach for Survival Analysis with Dependent Competing Risks☆14Jun 6, 2026Updated last month
- Haskell plugin-based framework for any type of applications☆52Sep 24, 2023Updated 2 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆29Oct 25, 2022Updated 3 years ago
- JIRA CLI☆20Sep 16, 2021Updated 4 years ago
- ☆14Feb 13, 2022Updated 4 years ago
- OSS License Open Data☆12Jun 28, 2019Updated 7 years ago
- This is my attempt at developing at MW 208 project☆35Jan 5, 2022Updated 4 years ago
- OSS License Simple Viewer is a simple Excel-based tool as OSS license reference for engineers.☆14Nov 20, 2020Updated 5 years ago
- Tool for visualizing the Open SSF Scorecard Api data in a human friendly way☆19Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A simple Lightning Memory-Mapped Database (LMDB) converter for ImageFolder datasets in PyTorch. Using LMDB over a regular file structure …☆21Jun 2, 2021Updated 5 years ago
- Carbon Efficient Karpenter: Optimizing Kubernetes Cluster Autoscaling for Carbon Efficiency☆15Feb 19, 2024Updated 2 years ago
- Vuln Disclosure WG's new SIG☆11Jan 2, 2024Updated 2 years ago
- Conformal Bayes with importance sampling☆23Oct 25, 2021Updated 4 years ago
- Step by Step directions for turning a Yubikey 5 Series into a poorman’s HSM Token for storing a Certificate Authority.☆15Jan 25, 2026Updated 5 months ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆31Sep 15, 2021Updated 4 years ago
- Training wheels, side rails, and helicopter parent for your Deep Learning projects in PyTorch☆24Sep 23, 2023Updated 2 years ago