An interactive mode for F* in VS Code
☆27Feb 11, 2026Updated 3 weeks ago
Alternatives and similar repositories for fstar-vscode-assistant
Users that are interested in fstar-vscode-assistant are comparing it to the libraries listed below
Sorting:
- ☆22Sep 10, 2025Updated 5 months ago
- [WIP] Compiler for the Limonite programming language.☆15Jul 7, 2022Updated 3 years ago
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 2 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 6 years ago
- OCaml bindings for Clang☆18Jan 26, 2026Updated last month
- The official Github Repo and Download for the FNAF Mod☆10Nov 10, 2015Updated 10 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Feb 28, 2019Updated 7 years ago
- A silent threshold encryption scheme, which does not require any interaction during the setup phase☆38Jun 16, 2025Updated 8 months ago
- Experimental model checker for testing concurrent algorithms☆44Dec 17, 2024Updated last year
- Formal verification tool based on predicate calculus and supporting several programming languages☆39Aug 23, 2025Updated 6 months ago
- Bonn Lean course for winter 24/25☆43Jan 8, 2026Updated last month
- Safe CUDA cuBLAS wrapper for the Rust language.☆31Jan 14, 2018Updated 8 years ago
- A blueprint for next-gen AI. Project Infinity uses a token-efficient, Codified Agent Protocol to create specialized, secure, and imaginat…☆25Oct 2, 2025Updated 5 months ago
- A Forge based Minecraft server-side plugin API☆13Nov 23, 2014Updated 11 years ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆42Sep 10, 2024Updated last year
- Latex template for VNU-UET Student thesis in Vietnamese.☆13Mar 18, 2023Updated 2 years ago
- ☆12May 24, 2025Updated 9 months ago
- ☆10Sep 28, 2020Updated 5 years ago
- Aivika for .NET, simplified version☆10Nov 11, 2017Updated 8 years ago
- translation of pi3d from python to rust☆11Jun 28, 2025Updated 8 months ago
- AllTheModium for Minecraft 1.16+☆17Jan 16, 2026Updated last month
- A Cydia Repo for iOS tweaks hosted on github.☆13Mar 5, 2018Updated 8 years ago
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated 7 months ago
- Easy, flexible C unit testing☆11Feb 13, 2016Updated 10 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
- Simple, straightforward MSP430 disassembler and assembler in Python☆14Jul 5, 2023Updated 2 years ago
- Userland and toolchain for seakernel☆13Dec 11, 2015Updated 10 years ago
- A Powershell wrapper around the Voiceemeter Remote API☆14Feb 19, 2026Updated 2 weeks ago
- A two-dimensional esoteric programming language, inspired by Hexagony and based on Surface☆11Nov 14, 2019Updated 6 years ago
- Community edition of Nightfall_4☆16Feb 27, 2026Updated last week
- Case study using dotfurther's Open Discover Platform with the RavenDB document store to rapidly create a full-text search/eDiscovery/info…☆12May 28, 2024Updated last year
- Generate SVG path data declarative way. Made by http://www.owlsdepartment.com/☆10May 7, 2023Updated 2 years ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- Interactive breakpoints!☆47Jan 9, 2026Updated last month
- A lightweight fast and simple homebrew loader for Nintendo Wii.☆20Jul 25, 2010Updated 15 years ago
- Functional Dependency Injection for FSharp☆10Dec 12, 2020Updated 5 years ago
- Moved to codeberg.org/derat/nitter-rss-proxy☆11Apr 18, 2023Updated 2 years ago
- 🍒 Cherry programming language 🍒☆14Sep 18, 2024Updated last year
- "The Legend of Zelda: Majora's Mask 3D" savedata RE☆10Jul 6, 2015Updated 10 years ago