FStarLang / VimFStarLinks
A Vim mode for FStar
☆26Updated 2 years ago
Alternatives and similar repositories for VimFStar
Users that are interested in VimFStar are comparing it to the libraries listed below
Sorting:
- Emacs support for F*☆70Updated 5 months ago
- Spacemacs layer for fstar (wrapper for fstar-mode.el)☆11Updated 5 years ago
- Probabilistic computation in Idris☆34Updated 6 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- A prototype programming language for programming with runners☆91Updated 4 years ago
- 🦅 VSCode extension for F* with IDE features☆16Updated 5 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- A verified compiler for a lazy functional language☆37Updated last week
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆62Updated 4 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- Setting up an Idris dev environment on Windows☆16Updated 6 years ago
- Vim mode for Idris 2☆78Updated 3 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆51Updated last year
- The Twelf Programming Language☆147Updated this week
- Type provider library for Idris☆95Updated 7 years ago
- Parallel Programming in Futhark☆49Updated last month
- Library for automatic unit testing of Standard ML modules☆71Updated 5 years ago
- Hoare Type Theory☆83Updated 6 months ago
- ☆56Updated last week
- The Definition of Standard ML, Revised (1997)☆117Updated 8 years ago
- Preprocessor / Pretty Printer for OCaml☆76Updated 2 months ago
- Formalising Type Theory in a modular way for translations between type theories☆95Updated 7 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆94Updated 2 weeks ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆46Updated 3 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- System Fω interpreter for use in Advanced Functional Programming course☆68Updated 2 years ago
- A custom parser/auto-formatter for Standard ML☆85Updated 3 months ago