🦅 VSCode extension for F* with IDE features
☆16Mar 21, 2020Updated 5 years ago
Alternatives and similar repositories for vsfstar
Users that are interested in vsfstar are comparing it to the libraries listed below
Sorting:
- Spacemacs layer for fstar (wrapper for fstar-mode.el)☆11Jul 13, 2020Updated 5 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 6 years ago
- Logically Qualified Data Types - automatically infer refinement types☆16Aug 24, 2021Updated 4 years ago
- A Vim mode for FStar☆26Mar 24, 2023Updated 2 years ago
- λ calculus library made purely in and for F#☆36Jun 7, 2023Updated 2 years ago
- A simple computer algebra system (CAS), written in F# for fun and learning.☆16May 20, 2020Updated 5 years ago
- The official Github Repo and Download for the FNAF Mod☆10Nov 10, 2015Updated 10 years ago
- F* running in the browser☆21Aug 15, 2019Updated 6 years ago
- This is a tool to analyze two paket.lock files showing additions, removals, upgrades and downgrades.☆20Nov 25, 2024Updated last year
- Simple and powerful programming language with type inference☆24Feb 17, 2017Updated 9 years ago
- Verified compilation of space-efficient reversible circuits☆23Mar 5, 2019Updated 7 years ago
- A somewhat simple example project for using F# with Godot.☆25Jan 15, 2023Updated 3 years ago
- Write regex using F# computation expressions☆31Dec 5, 2023Updated 2 years ago
- Terminal::Print is a pure Raku layer for printing to terminal screens☆25Nov 18, 2025Updated 3 months ago
- Highlight F# template strings in VS Code☆28Oct 3, 2022Updated 3 years ago
- Emacs support for F*☆70Jun 25, 2025Updated 8 months ago
- Old Clowdr versions 1 & 2 from 2020☆36Jan 6, 2021Updated 5 years ago
- A Forge based Minecraft server-side plugin API☆13Nov 23, 2014Updated 11 years ago
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆496Feb 18, 2026Updated 2 weeks ago
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated 7 months ago
- ☆10May 2, 2025Updated 10 months ago
- you can start vmess proxy with easy setup☆13Oct 20, 2022Updated 3 years ago
- A Cydia Repo for iOS tweaks hosted on github.☆13Mar 5, 2018Updated 8 years ago
- Calculate allowed interactions in QED☆10Nov 2, 2022Updated 3 years ago
- AllTheModium for Minecraft 1.16+☆17Jan 16, 2026Updated last month
- Aivika for .NET, simplified version☆10Nov 11, 2017Updated 8 years ago
- translation of pi3d from python to rust☆11Jun 28, 2025Updated 8 months ago
- Userland and toolchain for seakernel☆13Dec 11, 2015Updated 10 years ago
- Simple, straightforward MSP430 disassembler and assembler in Python☆14Jul 5, 2023Updated 2 years ago
- Easy, flexible C unit testing☆11Feb 13, 2016Updated 10 years ago
- A Snowflake SQL parser (WIP)☆11May 31, 2020Updated 5 years ago
- A two-dimensional esoteric programming language, inspired by Hexagony and based on Surface☆11Nov 14, 2019Updated 6 years ago
- jmp - search files and jump to matching lines in a text editor☆13Mar 14, 2021Updated 4 years ago
- FlawlessChips is a C# library that provides gate-level simulation of various 8-bit chips.☆10Jan 17, 2026Updated last month
- AsyncRx for F# and Fable☆42Sep 11, 2023Updated 2 years ago
- Pure F# Parsec Implementation☆40Dec 26, 2019Updated 6 years ago
- A term rewriting system for experimental programming language development.☆49Feb 10, 2026Updated 3 weeks ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- Repo containing the game for the Minetest Engine.☆14Mar 22, 2016Updated 9 years ago