Fstar
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Appflowy | 38,670 | 11 hours ago | 6 | August 29, 2022 | 559 | agpl-3.0 | Dart | |||
| AppFlowy is an open-source alternative to Notion. You are in charge of your data and customizations. Built with Flutter and Rust. | ||||||||||
| Affine | 22,322 | 11 hours ago | 229 | other | TypeScript | |||||
| There can be more than Notion and Miro. AFFiNE is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable and ready to use. | ||||||||||
| Lime | 14,884 | 3 years ago | 21 | bsd-2-clause | ||||||
| Open source API-compatible alternative to the text editor Sublime Text | ||||||||||
| Scribe | 3,608 |  | 49 | 7 | 4 years ago | 68 | March 06, 2017 | 109 | apache-2.0 | JavaScript |
| DEPRECATED: A rich text editor framework for the web platform | ||||||||||
| Raneto | 2,616 |  | 23 | 2 | a month ago | 21 | June 20, 2023 | 78 | mit | JavaScript |
| Markdown powered Knowledgebase Wiki for Node.js | ||||||||||
| Fstar | 2,467 | a day ago | 465 | apache-2.0 | F* | |||||
| A Proof-oriented Programming Language | ||||||||||
| Tinyraycaster | 1,233 | 5 years ago | 1 | wtfpl | C++ | |||||
| 486 lines of C++: old-school FPS in a weekend | ||||||||||
| Completion | 682 | 5 years ago | June 01, 2021 | 13 | other | Go | ||||
| This project aims to implement an editor and language agnostic backend | ||||||||||
| Stuntrally | 545 | 2 days ago | 24 | gpl-3.0 | C++ | |||||
| Note: development continues in stuntrally3. 3D racing game based on VDrift and OGRE with own Track Editor. The main repository with Stunt Rally sources and data. | ||||||||||
| Ardupilot_wiki | 420 | 21 hours ago | 217 | other | Python | |||||
| Repository for ArduPilot wiki issues and wiki-specific website infrastructure. | ||||||||||
F*: A Proof-oriented Programming Language
F* website
More information on F* can be found at www.fstar-lang.org
Installation
See INSTALL.md
Online book
An online book Proof-oriented Programming In F* is in the works and regular updates are posted online. The book is available as a PDF, or you can read it while trying out examples and exercises in your browser interface from this tutorial page.
Wiki
The F* wiki contains additional technical documentation on F*, and is especially useful for topics that are not yet covered by the book.
Editing F* code
You can edit F* code using various text editor. Emacs has the best support currently, providing syntax highlighting, code completion and navigation, and interactive development, using fstar-mode.el. However, other editors also have limited support. More details on editor support are available on the F* wiki.
Extracting and executing F* code
By default F* only verifies the input code, it does not compile or execute it.
To execute F* code one needs to translate it for instance to OCaml or F#,
using F*'s code extraction facility---this is invoked using the
command line argument --codegen OCaml or --codegen FSharp.
More details on executing F* code via OCaml on the F* wiki.
Also, code written in a C-like shallowly embedded DSL can be extracted to C or WASM by the KaRaMeL tool, and code written in an ASM-like deeply embedded DSL can be extracted to ASM by the Vale tool.
Chatting about F* on Slack and Zulip
The F* developers and many users interact on this Slack forum---you should be able to join automatically by clicking here, but if that doesn't work, please contact the mailing list mentioned below.
Users can also chat about F* or ask questions at this Zulip forum.
Mailing list
We also have a mailing list which we use mainly for announcements.
Reporting issues
Please report issues using the F* issue tracker on GitHub.
Before filing please search to make sure the issue doesn't already exist.
We don't maintain old releases, so if possible please use the
online F* editor or directly the GitHub sources to check
that your problem still exists on the master branch.
Contributing
See CONTRIBUTING.md
License
F* is released under the Apache 2.0 license; for more details see LICENSE
