🦅 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☆17Aug 24, 2021Updated 4 years ago
- λ calculus library made purely in and for F#☆37Mar 28, 2026Updated 2 months 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.
- F* running in the browser☆21Aug 15, 2019Updated 6 years ago
- Search GitHub repositories☆15Apr 19, 2018Updated 8 years ago
- A simple computer algebra system (CAS), written in F# for fun and learning.☆16May 20, 2020Updated 6 years ago
- Old Clowdr versions 1 & 2 from 2020☆38Jan 6, 2021Updated 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
- Open Source Hardware Electrical Stimulator☆19Apr 21, 2022Updated 4 years ago
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆515Updated this week
- 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.
- A pipeline to optimize a portfolio of assets and test it against unseen data.☆14Jan 17, 2020Updated 6 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 7 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
- Formalisation of Goedel's System T in Coq☆15Jul 1, 2011Updated 14 years ago
- A Lisp syntax for Haskell.☆22May 11, 2012Updated 14 years ago
- A Library for Representing Recursive and Impure Programs in Coq☆251May 7, 2026Updated last month
- 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.
- Some notes on the relationship between the Legendre and Fourier transforms☆11Dec 18, 2025Updated 5 months ago
- Experimental CPSA -- the Cryptographic Protocol Shapes Analyzer experimental version☆22Updated this 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
- Lean 4 kernel / 'external checker' written in Lean 4☆190Jun 5, 2026Updated last week
- 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☆20Jun 19, 2024Updated last year
- Repo for the Naive Bayesian Meetup Group☆11Nov 12, 2021Updated 4 years ago
- A "git trac" subcommand for git☆13Apr 6, 2022Updated 4 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.
- sorear's Metamath system engine☆13May 5, 2016Updated 10 years ago
- Emacs support for F*☆73Jun 25, 2025Updated 11 months ago
- Use HTTPS on localhost with the PHP built-in web server☆18Apr 17, 2023Updated 3 years ago
- ☆13Apr 4, 2024Updated 2 years ago
- Import or partially refresh your Google Sheets from Excel files☆17Mar 18, 2026Updated 2 months ago
- Homotopy type theory☆14Sep 21, 2022Updated 3 years ago
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago