FStarLang / fstar-mode.elView external linksLinks
Emacs support for F*
☆70Jun 25, 2025Updated 7 months ago
Alternatives and similar repositories for fstar-mode.el
Users that are interested in fstar-mode.el are comparing it to the libraries listed below
Sorting:
- Spacemacs layer for fstar (wrapper for fstar-mode.el)☆11Jul 13, 2020Updated 5 years ago
- A Vim mode for FStar☆26Mar 24, 2023Updated 2 years ago
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆493Feb 6, 2026Updated last week
- Syntax highlighting for F* in Atom Editor☆11Oct 4, 2021Updated 4 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 6 years ago
- A Coq IDE build on top of Proof General's Coq mode☆359Aug 17, 2025Updated 5 months ago
- A Proof-oriented Programming Language☆2,969Updated this week
- Emacs mode for Lean☆68Jun 11, 2023Updated 2 years ago
- Verified implementation of TLS 1.3 in F*☆179Feb 12, 2025Updated last year
- Tools for interacting with Boogie☆55Mar 10, 2025Updated 11 months ago
- Type provider library for Idris☆95Dec 21, 2017Updated 8 years ago
- This repo is the new home of Proof General☆547Jan 24, 2026Updated 3 weeks ago
- Verified Assembly Language for Everest☆304Feb 22, 2024Updated last year
- A simple XML module for Idris.☆13May 22, 2020Updated 5 years ago
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 5 years ago
- Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆274Dec 3, 2025Updated 2 months ago
- Emacs Major Mode for Io language☆23Oct 4, 2016Updated 9 years ago
- Selective applicative functors laws and theorems☆15Mar 12, 2020Updated 5 years ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆53Jan 23, 2023Updated 3 years ago
- An implementation of the IETF QUIC protocol in F*☆20Aug 8, 2019Updated 6 years ago
- Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors☆20Sep 23, 2019Updated 6 years ago
- A simple volume indicator utility for the i3 desktop environment (i3bar) interfacing with `pactl`☆15Mar 31, 2016Updated 9 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Feb 6, 2018Updated 8 years ago
- Emacs OCaml mode☆388Sep 10, 2025Updated 5 months ago
- company-mode completion back-end for MLton/Standard ML☆16Dec 7, 2020Updated 5 years ago
- Coverage and timing tool for font-lock keywords☆18Jan 4, 2025Updated last year
- ☆56Feb 2, 2026Updated last week
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 6 years ago
- Luck -- A Language for Property-Based Generators☆36Feb 28, 2025Updated 11 months ago
- Probabilistic computation in Idris☆33Jul 2, 2019Updated 6 years ago
- A function definition package for Coq☆236Feb 5, 2026Updated last week
- OCaml support for Flycheck using Merlin☆22Jan 6, 2024Updated 2 years ago
- a WxWidgets binding for OCaml☆30Jun 2, 2016Updated 9 years ago
- An interactive development environment for SMT-LIB files and Z3☆24Aug 16, 2022Updated 3 years ago
- Scrap Your Boilerplate for OCaml with modular implicits☆18Aug 3, 2023Updated 2 years ago
- Mathematical Components☆668Feb 4, 2026Updated last week
- Ring solver for Idris☆20Nov 12, 2018Updated 7 years ago
- An OS written in Idris (eventually...)☆20Mar 4, 2015Updated 10 years ago
- A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]☆137Oct 2, 2025Updated 4 months ago