artagnon / vsfstarView external linksLinks
🦅 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:
- 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
- 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 8 years ago
- Verified compilation of space-efficient reversible circuits☆23Mar 5, 2019Updated 6 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 2 months ago
- Emacs support for F*☆70Jun 25, 2025Updated 7 months 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☆493Feb 6, 2026Updated last week
- Easy, flexible C unit testing☆11Feb 13, 2016Updated 10 years ago
- you can start vmess proxy with easy setup☆13Oct 20, 2022Updated 3 years ago
- jmp - search files and jump to matching lines in a text editor☆13Mar 14, 2021Updated 4 years ago
- ☆10May 2, 2025Updated 9 months ago
- AllTheModium for Minecraft 1.16+☆17Jan 16, 2026Updated 3 weeks ago
- Aivika for .NET, simplified version☆10Nov 11, 2017Updated 8 years ago
- Simple, straightforward MSP430 disassembler and assembler in Python☆14Jul 5, 2023Updated 2 years ago
- Calculate allowed interactions in QED☆10Nov 2, 2022Updated 3 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
- translation of pi3d from python to rust☆11Jun 28, 2025Updated 7 months ago
- A Cydia Repo for iOS tweaks hosted on github.☆13Mar 5, 2018Updated 7 years ago
- Userland and toolchain for seakernel☆13Dec 11, 2015Updated 10 years ago
- AsyncRx for F# and Fable☆42Sep 11, 2023Updated 2 years ago
- A term rewriting system for experimental programming language development.☆48Updated this week
- Functions for working with Jalaali (Jalali, Persian, Khayyami, Khorshidi, Shamsi) calendar systems.☆10Nov 14, 2020Updated 5 years ago
- Unofficial fork Phosphor ported to 1.8.9 Forge☆13Apr 24, 2024Updated last year
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- ☆11Oct 8, 2025Updated 4 months ago
- a steady descent into madness☆17Jun 22, 2025Updated 7 months ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- A lightweight fast and simple homebrew loader for Nintendo Wii.☆20Jul 25, 2010Updated 15 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- To experiment with ligh-weight user threads based on stack copying.☆13Oct 25, 2022Updated 3 years ago