niftycent.com
NiftyCent
DE
Login
Marktplatz
Rabatte

F*: A proof oriented general purpose programming language

Article URL: https://fstar-lang.org/

Comments URL: https://news.ycombinator.com/item?id=42508642

Points: 25

# Comments: 0

https://fstar-lang.org/

Erstellt 6mo | 25.12.2024, 17:10:12


Melden Sie sich an, um einen Kommentar hinzuzufügen

Andere Beiträge in dieser Gruppe

Solving `UK Passport Application` with Haskell
Solving `UK Passport Application` with Haskell

Article URL: https://jameshaydon.github.io/passport/

Comments URL: https://news

29.06.2025, 02:10:12 | Hacker news
US Defense Department will stop providing satellite weather data
US Defense Department will stop providing satellite weather data

Article URL: https://text.npr.org/nx-s1-5446120

Comments URL: https://news.ycombinat

29.06.2025, 02:10:10 | Hacker news
Refurb weekend: Gremlin Blasto arcade board
Refurb weekend: Gremlin Blasto arcade board

Article URL: http://oldvcr.blogspot.com/2025/06/refurb-weekend-gremlin-blasto-arcade.html

Comments

29.06.2025, 02:10:09 | Hacker news
Satellites keep breaking up in space. Insurance won't cover them
Satellites keep breaking up in space. Insurance won't cover them

Article URL: https://www.space.com/space-exploration/satellites/satellit

29.06.2025, 02:10:09 | Hacker news
Check out how AI is reshaping creator marketing with real data insights
Check out how AI is reshaping creator marketing with real data insights

Article URL: https://old.reddit.com/r/IndiaBusiness/comments/1ln2jd2/hey_folks_eve

29.06.2025, 02:10:07 | Hacker news
An Indoor Beehive in My Bedroom Wall
An Indoor Beehive in My Bedroom Wall

Article URL: https://www.keepingbackyardbees.com/an-indoor-beehive-zbwz1810zsau/

Comments URL:

28.06.2025, 23:50:10 | Hacker news
The Great Illusion: When We Believed BeOS Would Save the World
The Great Illusion: When We Believed BeOS Would Save the World

Article URL: https://www.desktoponfire.com/haiku_inc/782

28.06.2025, 23:50:06 | Hacker news
Techie
Techie