🦅 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)☆10Jul 13, 2020Updated 6 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 7 years ago
- A Vim mode for FStar☆26Mar 24, 2023Updated 3 years ago
- TLS implemented in f7☆44Jul 28, 2016Updated 10 years ago
- A proof of the consistency of ZF in axiom-free Lean☆23Sep 19, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- λ calculus library made purely in and for F#☆37Mar 28, 2026Updated 7 months ago
- F* running in the browser☆21Aug 15, 2019Updated 7 years ago
- A simple computer algebra system (CAS), written in F# for fun and learning.☆16May 20, 2020Updated 6 years ago
- Landing page for Project Everest☆12Oct 30, 2026Updated last week
- Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq …☆13Nov 3, 2022Updated 4 years ago
- Thesis project on the development of a framework for Value-Set Analysis☆11Jul 28, 2021Updated 5 years ago
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆524Updated this week
- Old Clowdr versions 1 & 2 from 2020☆38Jan 6, 2021Updated 5 years ago
- Search GitHub repositories☆16Apr 19, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tutorial for Creusot☆13Oct 14, 2026Updated 3 weeks ago
- Write regex using F# computation expressions☆31Dec 5, 2023Updated 2 years ago
- Example of using native libraries in F#☆11Feb 16, 2025Updated last year
- A model-checker for caml programs.☆13Mar 31, 2021Updated 5 years ago
- This is a tool to analyze two paket.lock files showing additions, removals, upgrades and downgrades.☆20Aug 15, 2026Updated 2 months ago
- Logically Qualified Data Types - automatically infer refinement types☆17Aug 24, 2021Updated 5 years ago
- A pretty printer for Lean 4☆10Mar 18, 2023Updated 3 years ago
- A somewhat simple example project for using F# with Godot.☆24Jan 15, 2023Updated 3 years ago
- One-file solution for various problems writing F#☆11Dec 3, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 8 years ago
- A collection of utilities that everyone should have.☆10Jul 16, 2025Updated last year
- ☆16Jul 1, 2015Updated 11 years ago
- Support for linearly-typed generics in Haskell☆10Jun 18, 2026Updated 4 months ago
- A sound and complete solver for type inhabitation and unification in dependent type theory, written in 185 lines of Lean.☆12Sep 20, 2026Updated last month
- Syntax highlighting for F* in Atom Editor☆11Oct 4, 2021Updated 5 years ago
- IRC-bot written in Lean (https://leanprover.github.io/)☆10Mar 4, 2022Updated 4 years ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Dec 18, 2025Updated 10 months ago
- The 'Robot' theorem prover. Fork of github.com/mg262/research☆12Sep 21, 2020Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An agent framework in F# (fork of http://code.msdn.microsoft.com/windowsdesktop/LAgent-an-agent-framework-6530ff5b)☆15Aug 7, 2012Updated 14 years ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- ☆14Jan 30, 2017Updated 9 years ago
- Emacs support for F*☆71Jun 25, 2025Updated last year
- An implementation of the IETF QUIC protocol in F*☆21Aug 8, 2019Updated 7 years ago
- Import or partially refresh your Google Sheets from Excel files☆18Mar 18, 2026Updated 7 months ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 9 months ago