🦅 VSCode extension for F* with IDE features
☆16Mar 21, 2020Updated 6 years ago
Alternatives and similar repositories for vsfstar
Users that are interested in vsfstar are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- A Vim mode for FStar☆26Mar 24, 2023Updated 3 years ago
- Logically Qualified Data Types - automatically infer refinement types☆16Aug 24, 2021Updated 4 years ago
- λ calculus library made purely in and for F#☆38Mar 28, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- F* running in the browser☆21Aug 15, 2019Updated 6 years ago
- Search GitHub repositories☆15Apr 19, 2018Updated 7 years ago
- A simple computer algebra system (CAS), written in F# for fun and learning.☆16May 20, 2020Updated 5 years ago
- Write regex using F# computation expressions☆31Dec 5, 2023Updated 2 years ago
- This is a tool to analyze two paket.lock files showing additions, removals, upgrades and downgrades.☆20Nov 25, 2024Updated last year
- ☆11Nov 27, 2024Updated last year
- A python client library to interact with Polar Flow☆10Feb 3, 2021Updated 5 years ago
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆501Updated this week
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- A somewhat simple example project for using F# with Godot.☆25Jan 15, 2023Updated 3 years ago
- Verified compilation of space-efficient reversible circuits☆23Mar 5, 2019Updated 7 years ago
- A toy ML-like programming language☆16Sep 2, 2012Updated 13 years ago
- Lean 4 kernel / 'external checker' written in Lean 4☆177Apr 9, 2026Updated last week
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆11Jul 19, 2023Updated 2 years ago
- Syntax highlighting for F* in Atom Editor☆11Oct 4, 2021Updated 4 years ago
- Tile map of the Computer Science Department of Università di Pisa☆12Mar 19, 2021Updated 5 years ago
- DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code☆19Jun 19, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A "git trac" subcommand for git☆13Apr 6, 2022Updated 4 years ago
- Emacs support for F*☆73Jun 25, 2025Updated 9 months ago
- sorear's Metamath system engine☆13May 5, 2016Updated 9 years ago
- ☆13Apr 4, 2024Updated 2 years ago
- Import or partially refresh your Google Sheets from Excel files☆17Mar 18, 2026Updated 3 weeks ago
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Mar 20, 2026Updated 3 weeks ago
- ☆14Jan 30, 2017Updated 9 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Numerical eigenvalue/eigenfunction software: PyQt GUI and FEniCS finite elements.☆11Mar 25, 2018Updated 8 years ago
- A formalization of properties of a simple imperative, memory-safe language.☆20Sep 27, 2021Updated 4 years ago
- ☆13Aug 29, 2025Updated 7 months ago
- A tool for building Lean4 .olean files from Lean3 export data☆10Jul 28, 2021Updated 4 years ago
- A collection of examples on how to use .NET Generic Host with F#☆14Apr 26, 2023Updated 2 years ago
- Compositional CompCert☆15Jan 9, 2019Updated 7 years ago
- Robert Lang's reference finder, remade for the web☆15Sep 8, 2018Updated 7 years ago