VSCode IDE Integration for Dafny
☆28Aug 5, 2026Updated 2 months ago
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:
- Kani VSCode Extension☆23Updated this week
- Syntax trees for VSCode using tree-sitter☆56Aug 8, 2026Updated last month
- An interactive mode for F* in VS Code☆27Jun 4, 2026Updated 4 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- Python bindings for yices2☆13Dec 18, 2024Updated last year
- Code for reproducing the results from the paper Avoiding Side Effects in Complex Environments☆12Jun 3, 2021Updated 5 years ago
- Peasy: An Intuitive Development Environment for P☆17May 24, 2026Updated 4 months ago
- Topological sort algorithm☆15Jul 10, 2026Updated 2 months ago
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆17Nov 24, 2017Updated 8 years ago
- Building upon BWA-MEM2, this repository includes performance improvements to the seeding and mate-rescue steps.☆13Oct 15, 2021Updated 4 years ago
- Total Parser Combinators in Coq [maintainer=@womeier]☆51Aug 22, 2026Updated last month
- A syntactic "for" loop Rust macro☆56Jan 17, 2023Updated 3 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.
- Lean models of Rust libraries☆37Sep 4, 2024Updated 2 years ago
- A codebase dedicated to exploring multimodal learning approaches by integrating images of host galaxies of supernovae and their correspon…☆18Jan 15, 2025Updated last year
- 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.☆40Sep 1, 2026Updated last month
- TurboFuzzLLM: Turbocharging Mutation-based Fuzzing for Effectively Jailbreaking Large Language Models in Practice☆24Nov 24, 2025Updated 10 months ago
- Showcase of how to employ best practices to provide a high-fidelity user experience inside of VS Code extensions.☆49May 16, 2023Updated 3 years ago
- Lean 4 as a scripting language in Houdini☆25Mar 13, 2024Updated 2 years ago
- Adversarial Robustness for Code☆16Mar 30, 2021Updated 5 years ago
- IC3PO: IC3 for Proving Protocol Properties☆28Sep 10, 2024Updated 2 years ago
- Embedding of some of SQL into Racket☆33Mar 24, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Command line wrapper to interact with CodeGuru Reviewer☆23Sep 3, 2024Updated 2 years ago
- SecretHandshake secure connections in C++, with Cap'n Proto support☆15Jan 11, 2026Updated 8 months ago
- Dafny is a verification-aware programming language☆3,573Sep 20, 2026Updated 2 weeks ago
- Develop sandstorm apps using Docker☆16Nov 5, 2022Updated 3 years ago
- Some common NPM MSBuild targets and other utilities used in ASP.NET (Core) MVC and Orchard (Core) CMS development.☆12Updated this week
- Formal Contracts for Multi-Agent Reinforcement Learning☆20Oct 24, 2023Updated 2 years ago
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆57Jul 1, 2026Updated 3 months 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 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Implementation of DEFT as a fork of RED-diff.☆15Dec 6, 2024Updated last year
- Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)☆40Mar 30, 2021Updated 5 years ago
- Code for paper "Closing the Dequantization Gap: PixelCNN as a Single-Layer Flow"☆19Jul 7, 2020Updated 6 years ago
- DPLL boolean satisfiability solver for .NET☆10Sep 25, 2026Updated last week
- ☆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