Visual Studio Code extension for VDM language support
☆20Apr 21, 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formal Modelling in VDM☆29Updated this week
- The Overture Tool☆50Nov 26, 2025Updated 5 months ago
- source code of VDMTools☆15Mar 30, 2022Updated 4 years ago
- Verified Extraction from Rocq to OCaml/Malfunction☆14Mar 12, 2026Updated last month
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆13Feb 14, 2023Updated 3 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.
- An itree-like data-structure to additionally support internal non-determinism☆21Apr 17, 2026Updated last week
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- Per-target CPPCheck for CMake☆18May 30, 2016Updated 9 years ago
- ☆10Apr 5, 2024Updated 2 years ago
- ☆11Feb 27, 2026Updated 2 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 3 years ago
- Official repository of the Autosubst 2 project.☆25May 8, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆13Feb 13, 2022Updated 4 years ago
- JIRA CLI☆20Sep 16, 2021Updated 4 years ago
- Convenient, opinionated wrapper around some (deep) survival models☆18Oct 20, 2025Updated 6 months ago
- HACSurv: A Hierarchical Copula-based Approach for Survival Analysis with Dependent Competing Risks☆13Mar 5, 2025Updated last year
- A simple Lightning Memory-Mapped Database (LMDB) converter for ImageFolder datasets in PyTorch. Using LMDB over a regular file structure …☆21Jun 2, 2021Updated 4 years ago
- Conformal Bayes with importance sampling☆23Oct 25, 2021Updated 4 years ago
- Training wheels, side rails, and helicopter parent for your Deep Learning projects in PyTorch☆24Sep 23, 2023Updated 2 years ago
- Carbon Efficient Karpenter: Optimizing Kubernetes Cluster Autoscaling for Carbon Efficiency☆15Feb 19, 2024Updated 2 years ago
- Copula-GP model☆16Oct 23, 2023Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A Multi-Task Learning Formulation for Survival Analysis☆19Sep 18, 2016Updated 9 years ago
- Miles expiration and value reporting for Fava/Beancount (Personal finance software).☆18May 18, 2025Updated 11 months ago
- A pacman wrapper that helps you watch important package updates.☆25Nov 22, 2025Updated 5 months ago
- A simple LaTeX package for formatting responses to journal reviews.☆27Feb 6, 2019Updated 7 years ago
- Coq library on rewriting theory and termination☆37Apr 2, 2026Updated 3 weeks ago
- Format program files in vim using your favorite command line formatter☆25Mar 30, 2026Updated last month
- Expedient and simple text highlighting using built in Neovim commands: |*|, |g*|, |#|, |g#|. Written in Lua.☆23Aug 20, 2021Updated 4 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆33Oct 29, 2020Updated 5 years ago
- ☆19Mar 23, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- NeoVim plugin to auto configure 'ts', 'sw', 'sts', 'et'☆20Oct 15, 2021Updated 4 years ago
- ☆13Feb 15, 2025Updated last year
- Common Lisp to SQL engine interface☆17Jun 24, 2025Updated 10 months ago
- VATA Tree Automata Library☆34Feb 3, 2026Updated 2 months ago
- ☆54Mar 26, 2016Updated 10 years ago
- nvim-cmp completion for jenkinsfile gdsl☆19Jul 1, 2025Updated 9 months ago
- Literate emacs config file☆13Feb 2, 2018Updated 8 years ago