VSCode IDE Integration for Dafny
☆26Sep 23, 2025Updated 5 months ago
Alternatives and similar repositories for ide-vscode
Users that are interested in ide-vscode are comparing it to the libraries listed below
Sorting:
- Refinery: an efficient graph solver for generating well-formed models☆20Feb 12, 2026Updated 3 weeks ago
- Ambient Authority☆21Jun 30, 2023Updated 2 years ago
- An interactive mode for F* in VS Code☆27Feb 11, 2026Updated 3 weeks ago
- Formally verified operator language and rewriting engine for high-performance computing☆30Jun 13, 2024Updated last year
- being a particular fragment of Haskell, extended to a proof system☆44Mar 2, 2026Updated last week
- A blueprint for next-gen AI. Project Infinity uses a token-efficient, Codified Agent Protocol to create specialized, secure, and imaginat…☆26Oct 2, 2025Updated 5 months ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Latex template for VNU-UET Student thesis in Vietnamese.☆13Mar 18, 2023Updated 2 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- 🎮 Real-time game subtitle translator with AI-powered OCR. Context-aware translation for 20+ languages. Free offline models + dirt cheap …☆35Feb 20, 2026Updated 2 weeks ago
- A package to simplify integration of language models into Unity.☆16Oct 14, 2025Updated 4 months ago
- ☆12May 24, 2025Updated 9 months ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Alternative and lite implementation of Hoogle☆11Apr 9, 2024Updated last year
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆23Jul 28, 2025Updated 7 months ago
- Experiments with linear types☆14Feb 23, 2018Updated 8 years ago
- A clean and minimal template for your CV or résumé.☆12Apr 2, 2025Updated 11 months ago
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 5 years ago
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 4 years ago
- Rust library to interface with the RISC-V Supervisor Binary Interface☆14Apr 17, 2025Updated 10 months ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- Python 3 interface to RChain RNode RPC☆10May 13, 2022Updated 3 years ago
- ☆12Mar 15, 2021Updated 4 years ago
- Profitable MT5 Expert Advisors☆22Feb 22, 2026Updated 2 weeks ago
- ☆12Feb 11, 2019Updated 7 years ago
- OCaml and Rust-style exhaustive exception handling for Python.☆34Jan 2, 2026Updated 2 months ago
- ☆12May 9, 2015Updated 10 years ago
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Jul 31, 2022Updated 3 years ago
- Javascript implementation of Fractran☆15Sep 14, 2017Updated 8 years ago
- ☆23Sep 22, 2021Updated 4 years ago
- Experiments with META II☆12Jan 9, 2018Updated 8 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- For hosting ATS3 and developing CodeDepot☆18Feb 6, 2026Updated last month
- ☆10Aug 14, 2023Updated 2 years ago
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated 2 months ago
- Interpreter for inference rules☆13May 5, 2018Updated 7 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- The repository contains examples files to use with JCOBridge. The examples are ready to run.☆11Nov 16, 2023Updated 2 years ago