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:
- Spacemacs layer for fstar (wrapper for fstar-mode.el)☆11Updated 5 years ago
- 🦅 VSCode extension for F* with IDE features☆15Updated 5 years ago
- Emacs support for F*☆70Updated 3 weeks ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆50Updated 9 months ago
- A verified compiler for a lazy functional language☆36Updated 3 weeks ago
- Inigo: A Package Manager for Idris2☆62Updated 2 years ago
- Idris port of Haskell's sop-core library☆36Updated last month
- A prototype programming language for programming with runners☆91Updated 3 years ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆81Updated 3 years ago
- Vim mode for Idris 2☆77Updated 2 years ago
- Parallel Programming in Futhark☆48Updated 2 months ago
- Hoare Type Theory☆77Updated last month
- ☆55Updated 3 months ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆61Updated 4 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Idris 2 bindings to various C libraries☆15Updated 4 years ago
- Type provider library for Idris☆94Updated 7 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 3 years ago
- A .NET Bridge for Haskell☆25Updated 8 years ago
- ☆17Updated 2 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆43Updated 5 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆43Updated 5 years ago
- Total Parser Combinators in Coq [maintainer=@womeier]☆45Updated 3 weeks ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- A framework for implementing and certifying impure computations in Coq☆52Updated last year
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 5 years ago
- The Twelf Programming Language☆137Updated 5 months ago
- Collection of Idris snippets☆22Updated last year
- Idris LLVM codegen factored out☆82Updated 7 years ago