FStarLang / FStar
A Proof-oriented Programming Language
☆2,697Updated last week
Related projects ⓘ
Alternatives and complementary repositories for FStar
- Agda is a dependently typed programming language / interactive theorem prover.☆2,514Updated this week
- A Dependently Typed Functional Programming Language☆3,436Updated 3 months ago
- Dafny is a verification-aware programming language☆2,924Updated this week
- Koka language compiler and interpreter☆3,314Updated 2 weeks ago
- A purely functional programming language with first class types☆2,528Updated last week
- CakeML: A Verified Implementation of ML☆964Updated this week
- The CompCert formally-verified C compiler☆1,889Updated this week
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆4,862Updated this week
- Liquid Types For Haskell☆1,196Updated this week
- The Mercury logic programming system.☆907Updated this week
- A functional programming language based on algebraic effect handlers☆863Updated 2 months ago
- The Flix Programming Language☆2,175Updated this week
- A composable build system for OCaml.☆1,635Updated this week
- A dependently typed programming language, a successor to Idris☆902Updated 4 years ago
- An introduction to programming language theory in Agda☆1,372Updated this week
- A collaborative bibliography of work related to the theory and practice of computational effects☆971Updated 3 weeks ago
- The MLton repository☆958Updated 2 weeks ago
- A data-parallel functional programming language☆2,407Updated this week
- The Ur/Web programming language☆808Updated 5 months ago
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆396Updated this week
- Programming Languages Zoo☆1,460Updated 5 months ago
- A friendly programming language from the future☆5,807Updated this week
- lamdu - towards the next generation IDE☆1,852Updated 3 weeks ago
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,607Updated 2 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆754Updated this week
- DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc☆1,974Updated 2 years ago
- Multicore OCaml☆762Updated last year
- Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). F…☆3,056Updated this week
- A Coq library for Homotopy Type Theory☆1,256Updated this week
- Factor programming language☆1,650Updated this week