FStarLang / fstar-vscode-assistantView external linksLinks
An interactive mode for F* in VS Code
☆27Updated this week
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:
- ☆21Sep 10, 2025Updated 5 months ago
- [WIP] Compiler for the Limonite programming language.☆14Jul 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 2 weeks ago
- The official Github Repo and Download for the FNAF Mod☆10Nov 10, 2015Updated 10 years ago
- 💹 Collection of elementary financial functions☆27Nov 24, 2022Updated 3 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 6 years ago
- The Steel separation logic library for F*☆36Nov 24, 2025Updated 2 months ago
- Bonn Lean course for winter 24/25☆40Jan 8, 2026Updated last month
- Formal verification tool based on predicate calculus and supporting several programming languages☆39Aug 23, 2025Updated 5 months ago
- 🎮 Real-time game subtitle translator with AI-powered OCR. Context-aware translation for 20+ languages. Free offline models + dirt cheap …☆25Nov 25, 2025Updated 2 months ago
- ☆11May 8, 2023Updated 2 years ago
- Kessler is a simulation environment loosely modeled after our internal project PsiBee and the external project Fuzzy Asteroids. The game …☆15Aug 13, 2025Updated 6 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.☆41Sep 10, 2024Updated last year
- A package to simplify integration of language models into Unity.☆16Oct 14, 2025Updated 3 months ago
- Userland and toolchain for seakernel☆13Dec 11, 2015Updated 10 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 6 months ago
- Latex template for VNU-UET Student thesis in Vietnamese.☆13Mar 18, 2023Updated 2 years ago
- Profitable MT5 Expert Advisors☆19Jan 5, 2026Updated last month
- ☆13May 24, 2025Updated 8 months ago
- Simple, straightforward MSP430 disassembler and assembler in Python☆14Jul 5, 2023Updated 2 years ago
- A Cydia Repo for iOS tweaks hosted on github.☆13Mar 5, 2018Updated 7 years ago
- mobile international certificate of vaccination☆12Nov 9, 2021Updated 4 years ago
- translation of pi3d from python to rust☆11Jun 28, 2025Updated 7 months ago
- Case study using dotfurther's Open Discover Platform with the RavenDB document store to rapidly create a full-text search/eDiscovery/info…☆11May 28, 2024Updated last year
- Making it simple to customize Hosting for your .NET Core 6.x+ application☆10Oct 19, 2022Updated 3 years ago
- A two-dimensional esoteric programming language, inspired by Hexagony and based on Surface☆11Nov 14, 2019Updated 6 years ago
- Easy, flexible C unit testing☆11Feb 13, 2016Updated 10 years ago
- ☆10Sep 28, 2020Updated 5 years ago
- AllTheModium for Minecraft 1.16+☆17Jan 16, 2026Updated 3 weeks ago
- Aivika for .NET, simplified version☆10Nov 11, 2017Updated 8 years ago
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated 6 months ago
- Generate SVG path data declarative way. Made by http://www.owlsdepartment.com/☆10May 7, 2023Updated 2 years ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆50Updated this week
- Veracruz branches of https://gitlab.com/arm-research/security/icecap/icecap☆19Jan 22, 2024Updated 2 years ago
- "The Legend of Zelda: Majora's Mask 3D" savedata RE☆10Jul 6, 2015Updated 10 years ago
- NYU's Introduction to Deep Learning Research☆39Updated this week