FStar
proof assistant
A proof-oriented programming language designed to support formal verification and theorem-proving of software systems.
A Proof-oriented Programming Language
3k stars
80 watching
234 forks
Language: F*
last commit: almost 2 years agoc-languagedependent-typesf-sharpfstarocamlprogramming-languageproof-assistantsmttheorem-provingverification
Related projects:
| Repository | Description | Stars |
|---|---|---|
 dotnet/fsharp | The F# compiler, core library, and tools provide a platform for building functional programs in a statically typed language. | 3,948 |
 fsprojects/fantomas | Automatically formats F# source code to improve readability and consistency | 777 |
| fsprojects/ifsharp | An implementation of F# language support in Jupyter Notebooks for .NET and Mono environments. | 442 |
 kongware/ftor | A programming language and runtime system designed to provide type-directed functional programming in JavaScript with debugging support | 44 |
| fsprojects/fsharpplus | Extends F# with functional programming techniques and generic functions to simplify development and improve code reuse. | 857 |
 mrakgr/the-spiral-language | A functional programming language with advanced features like intensional polymorphism and staging, designed to support high-performance computations on GPUs. | 925 |
 never-lang/never | A simple functional programming language with a compiler and virtual machine | 436 |
 alanvf/star | An experimental programming language designed to be powerful, productive, and predictable with features like type specialization and rich standard libraries. | 130 |
 koka-lang/koka | A research language with effect types and handlers for building concurrent, efficient programs | 3,333 |
| fsprojects/fsharpx.async | Utilities for asynchronous programming in F# | 94 |
 fsharp/emacs-fsharp-mode | Provides support and tools for the F# programming language within the Emacs text editor. | 209 |
| fsprojects/fsxaml | A set of F# libraries and tools for working with XAML projects. | 171 |
 cmeeren/facil | Automates generation of F# data access code from SQL queries and stored procedures. | 141 |
 fuechs/fux | A modern programming language designed to eliminate common issues and provide efficient performance while being easy to write and read. | 11 |
 zesterer/tao | A statically-typed functional language with extensive type system features and optimization techniques, aimed at supporting totality, optimization, learning, and compiler development. | 1,098 |