artagnon / vsfstarLinks
π¦
VSCode extension for F* with IDE features
β15Updated 5 years ago
Alternatives and similar repositories for vsfstar
Users that are interested in vsfstar are comparing it to the libraries listed below
Sorting:
- The Steel separation logic library for F*β36Updated 3 weeks ago
- The Twelf Programming Languageβ145Updated last week
- A Vim mode for FStarβ26Updated 2 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]β51Updated last year
- A verified compiler for a lazy functional languageβ37Updated last week
- β56Updated 6 months ago
- A pure type system implemented in OCamlβ77Updated 4 years ago
- Normalization by Evaluation for Martin-LΓΆf Type Theoryβ129Updated last year
- FΟΞΌ type checker and compilerβ54Updated 2 years ago
- A deterministic parser with fused lexingβ73Updated 2 years ago
- LL(1) parser generator verified in Coqβ47Updated 5 years ago
- joke page until I decide what to do with this domain nameβ39Updated 4 months ago
- mirror of A simple type-theoretic language: Mini-TTβ40Updated 8 years ago
- Writeup that goes along with this:β40Updated 7 years ago
- An enhanced unification algorithm for Coqβ58Updated 6 months ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.β82Updated 4 years ago
- An experimental type checker for a modal dependent type theory.β115Updated 5 years ago
- Implementation of the λΠ-calculus modulo rewritingβ217Updated 2 months ago
- A prototype programming language for programming with runnersβ91Updated 4 years ago
- Build systemβ131Updated this week
- Hoare Type Theoryβ81Updated 4 months ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.β61Updated last year
- Gallina to Bedrock2 compilation toolkitβ61Updated 3 weeks ago
- Duo - A research language exploring duality in programming language designβ58Updated 2 years ago
- Prototype type inference engineβ204Updated 8 months ago
- A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]β44Updated last year
- Coq library for verified low-level programmingβ60Updated 8 years ago
- Experiments with higher-kinded types and object algebras in C#β38Updated 5 years ago
- An interactive theorem prover based on lambda-tree syntaxβ98Updated 3 weeks ago
- EGraphs in OCamlβ76Updated last year