VSCode IDE Integration for Dafny
☆28Aug 5, 2026Updated last month
Alternatives and similar repositories for ide-vscode
Users that are interested in ide-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:
- An interactive mode for F* in VS Code☆27Jun 4, 2026Updated 3 months ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Jul 8, 2026Updated 2 months ago
- Ambient Authority☆22Jun 30, 2023Updated 3 years ago
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- Python bindings for yices2☆13Dec 18, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Peasy: An Intuitive Development Environment for P☆17May 24, 2026Updated 3 months ago
- A benchmark suite to study the performance characteristics of genomics applications☆32Oct 21, 2024Updated last year
- Building upon BWA-MEM2, this repository includes performance improvements to the seeding and mate-rescue steps.☆13Oct 15, 2021Updated 4 years ago
- Quantities in Typescript, Idris influenced☆10Dec 19, 2025Updated 8 months ago
- A small library for testing your types☆17Aug 23, 2026Updated 2 weeks ago
- Query your typescript codebase using GPT☆12May 29, 2023Updated 3 years ago
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆39Sep 1, 2026Updated last week
- TurboFuzzLLM: Turbocharging Mutation-based Fuzzing for Effectively Jailbreaking Large Language Models in Practice☆24Nov 24, 2025Updated 9 months ago
- Lean 4 as a scripting language in Houdini☆25Mar 13, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- IC3PO: IC3 for Proving Protocol Properties☆28Sep 10, 2024Updated 2 years ago
- Command line wrapper to interact with CodeGuru Reviewer☆23Sep 3, 2024Updated 2 years ago
- Develop sandstorm apps using Docker☆16Nov 5, 2022Updated 3 years ago
- Markdown Monster addin to create embeddable Gists for Markdown documents, and to load and save documents from Gists.☆19Dec 12, 2025Updated 9 months ago
- Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.☆14Aug 4, 2026Updated last month
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- Python 3 interface to RChain RNode RPC☆10May 13, 2022Updated 4 years ago
- A Github Action for turning Markdown into ReSpec HTML☆16Jun 6, 2024Updated 2 years ago
- DPLL boolean satisfiability solver for .NET☆10Updated this week
- 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.
- ☆75Aug 9, 2026Updated last month
- Experimental JS bindings for idris2-rhone☆21Oct 22, 2023Updated 2 years ago
- Read Typescript source and write Purescript types☆16Oct 8, 2019Updated 6 years ago
- Pure browser email viewer☆21Jan 7, 2023Updated 3 years ago
- Model finder for higher-order logic☆52Jul 11, 2026Updated 2 months ago
- Extract or modify pieces of arbitrarily nested types with type lenses☆27Aug 24, 2026Updated 2 weeks ago
- Label-based networking daemon☆23Jan 1, 2019Updated 7 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆16Feb 15, 2025Updated last year
- Display live statistics during .NET garbage collections☆13May 2, 2026Updated 4 months 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.
- Generate an alt-text description for an image using ollama and llama3.2-vision☆17May 26, 2025Updated last year
- A command line-based parameterized contracting tool☆46Sep 6, 2023Updated 3 years ago
- Spark implementation of Ford-Fulkerson algorithm☆14Feb 11, 2018Updated 8 years ago
- Multiparty Session Types toolKit☆14May 7, 2025Updated last year
- Minimal Markdown Documentation☆36Sep 5, 2026Updated last week
- .NET library that implements an ordered dictionary.☆13Jul 18, 2026Updated last month
- ECMA 376 (Office Open XML File Formats), 5th edition☆16Sep 4, 2019Updated 7 years ago