A Vim mode for FStar
☆26Mar 24, 2023Updated 2 years ago
Alternatives and similar repositories for VimFStar
Users that are interested in VimFStar are comparing it to the libraries listed below
Sorting:
- A dotnet CLI tool for Saturn projects providing code generation and scaffolding.☆19Dec 24, 2022Updated 3 years ago
- Spacemacs layer for fstar (wrapper for fstar-mode.el)☆11Jul 13, 2020Updated 5 years ago
- Syntax highlighting for F* in Atom Editor☆11Oct 4, 2021Updated 4 years ago
- Emacs support for F*☆70Jun 25, 2025Updated 8 months ago
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 5 years ago
- A reflection-based JSON (de)serialization library written in and for F#☆14Nov 19, 2020Updated 5 years ago
- The sharpest infrastructure automation tool.☆18Updated this week
- Packrat parsing of left-recursive grammars via F# active patterns. Efficient and expressive.☆14Nov 13, 2018Updated 7 years ago
- Setting up an Idris dev environment on Windows☆16Dec 8, 2019Updated 6 years ago
- Haskell library for manipulating and evaluating polynomials☆20Feb 24, 2022Updated 4 years ago
- ☆56Feb 26, 2026Updated last week
- Program verification with F* course materials☆12Jul 6, 2019Updated 6 years ago
- ☆12Oct 25, 2019Updated 6 years ago
- Agda interaction in vim☆136Oct 28, 2021Updated 4 years ago
- Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so lo…☆44Jun 2, 2019Updated 6 years ago
- https://github.com/mozilla/source-map for .NET, re-written in F#☆14Feb 17, 2022Updated 4 years ago
- Juniper contains Azure business reporting utils and uses an high level computation expression on top of the EPPlus excel package to creat…☆14Oct 14, 2019Updated 6 years ago
- Typeset source code with SATySFi☆16Jan 1, 2025Updated last year
- A collection of demos and tutorials for MBrace☆56Oct 31, 2017Updated 8 years ago
- Simply extract JSON values from HTTP requests without defining intermediate types or using model binding☆20Jun 3, 2021Updated 4 years ago
- Research material of Erik Palmgren (1963–2019)☆21Apr 7, 2025Updated 10 months ago
- A Haskell prelude optimized for safety☆18Jan 6, 2017Updated 9 years ago
- F# API for using Microsoft Azure Table Storage service☆76Mar 14, 2022Updated 3 years ago
- "Hello World" example using Avalonia and F#☆17Apr 28, 2020Updated 5 years ago
- Common helpers for VS Code plugins☆17Aug 1, 2023Updated 2 years ago
- This repo is obsolete. Please use Chickadee☆18Oct 26, 2019Updated 6 years ago
- An intelligent browser extension to silence toxic Twitter DMs powered by ML.NET, Bolero and .NET 5.☆18Dec 9, 2020Updated 5 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 5 years ago
- A learning application centered around building a genetic algorithm in F# and using it from Blazor.☆19Jan 25, 2023Updated 3 years ago
- Apply systemwide resilience strategies consistently across subsystems, standing on Polly's shoulders☆16Nov 20, 2020Updated 5 years ago
- Automatic validation contexts☆18Aug 27, 2020Updated 5 years ago
- Functional F# API for Cassandra☆20Dec 29, 2018Updated 7 years ago
- Parse bytes fast☆25Nov 17, 2025Updated 3 months ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Dec 1, 2017Updated 8 years ago
- Binary logical relations library for the Coq proof assistant☆22Oct 15, 2025Updated 4 months ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 6 years ago
- Verified implementation of TLS 1.3 in F*☆177Feb 12, 2025Updated last year
- Cross-platform desktop apps in F# using web tech - https://www.nuget.org/packages/Interstellar.Core/☆46Nov 5, 2025Updated 3 months ago
- Idris mode for vim☆221Aug 31, 2020Updated 5 years ago