FStarLang/FStar
View on GitHub ↗ ★ 3,132 F*
A Proof-oriented Programming Language
13 mentions on Hacker News by 12 people: 1 story, 12 comments · first 2015-04-29 · latest 2026-09-15
20082026
-
…with mutable state and concurrency, with specifications and proofs in Concurrent Separation Logic." https://github.com/FStarLang/FStar/tree/master/pulse
comment by hackingonempty · 2026-09-15 · in Pulse: Proof-Oriented Programming in Concurrent Separation Logic (Output C/Rust) -
…thing: 1. Read https://fstar-lang.org/index.html#download 2. Go to the GitHub page linked there: https://github.com/fstarlang/fstar/releases 3. Download F* for an operating system of your choice there.
comment by aleph_minus_one · 2026-08-02 · in F*: A general-purpose proof-oriented programming language -
…C code*)... Apparently, the commit is one big rename operation from Kremlin to Karamel, funny. 0: https://github.com/FStarLang/FStar/pull/2489
comment by pelagicAustral · 2024-05-16 · in F* – A Proof-Oriented Programming Language -
wonder how much work it would be to add a rust backend to F* [ https://github.com/FStarLang/FStar ]
comment by zem · 2024-05-15 · in Translation of Rust's core and alloc crates to Coq for formal verification -
▲ 10
F* – Microsoft's programming language with a superset of features over F#story by philonoist · 2022-07-07 · 1 comment
-
…int, Even*. Systems which are structurally typed can demonstrate functional extensionality and ( https://github.com/FStarLang/FStar/wiki/SMT-Equality-and-Ext... ) and check whether you've flipped the arguments, which would be a more valid…
comment by zbobet2012 · 2022-06-14 · in Why I Don't Like Golang (2016) -
Why? I do. Search for dependent types. https://github.com/FStarLang/FStar
comment by ernst_klim · 2019-03-03 · in Quilc: An optimizing quantum compiler written in Common Lisp -
…all invariants and properties are ensured with types, so this code does not need any tests at all. https://github.com/FStarLang/FStar/blob/master/examples/algo... >integration tests You could reason about your program's correctness on any…
comment by ernst_klim · 2018-09-24 · in Deep learning experiments in OCaml -
If you're interested, and you don't care much about tooling, go for it: https://github.com/FStarLang/FStar/blob/master/INSTALL.md
comment by ZenoArrow · 2017-10-31 · in F* – An ML-like functional programming language aimed at program verification -
F* now has tactics, it is very new, but no doubt that it will evolve a lot... https://github.com/FStarLang/FStar/tree/master/examples/tact...
comment by beurdouche · 2017-10-30 · in F* – An ML-like functional programming language aimed at program verification -
…it no longer functions. It appears that the correct way is to create a .fsi file. A few examples: https://github.com/FStarLang/FStar/blob/4e4162f736195b2031ba... https://github.com/FStarLang/FStar/blob/4e4162f736195b2031ba...…
comment by jaked89 · 2015-09-14 · in F* reworked and released as v0.9.0 -
it looks like they are able to reference mscorlib https://github.com/FStarLang/FStar/blob/997b1f20f35142e65032... and F# with these externs https://github.com/FStarLang/FStar/blob/997b1f20f35142e65032...
comment by platz · 2015-09-14 · in F* reworked and released as v0.9.0 -
…written in F* can be translated to OCaml, F#, or JavaScript for execution. " It's open source too: https://github.com/FStarLang/FStar
comment by typish · 2015-04-29 · in Microsoft Launches Its .NET Distribution for Linux and Mac