F* Posts

Latest F* related posts with mentions of open-source projects

  • F*: A proof oriented general purpose programming language

    5 projects | news.ycombinator.com | about 1 month ago

  • HACL: A High-Assurance Cryptographic Library

    1 project | news.ycombinator.com | 8 months ago

  • F* – A Proof-Oriented Programming Language

    4 projects | news.ycombinator.com | 8 months ago

  • Why is there no simple C-like functional programming language?

    3 projects | /r/functionalprogramming | almost 2 years ago

  • One step forward, an easier interoperability between Rust and Haskell | IOG Engineering

    1 project | /r/haskell | almost 2 years ago

  • [2022 day 7] I created a copy of the elves' filesystem

    1 project | /r/adventofcode | about 2 years ago

  • [Hobby] Amateur Generalist Programmer Seeking to Put Bugfixing Skills to Good Use

    2 projects | /r/INAT | about 2 years ago

  • Use-After-Freedom: MiraclePtr

    1 project | news.ycombinator.com | over 2 years ago

  • Rust in Perspective (the author, Linus Walleij, is a Linux kernel contributor)

    1 project | /r/linux | over 2 years ago

  • Have you ever used F* ? Can you ELI5 its use case?

    1 project | /r/fsharp | over 2 years ago

  • F* – Microsoft's programming language with a superset of features over F#

    1 project | news.ycombinator.com | over 2 years ago

  • Ante – a low-level functional language

    4 projects | /r/ProgrammingLanguages | over 2 years ago

  • Is it worth learning dependent types for someone who won't do research in type theory and PL?

    2 projects | /r/dependent_types | over 2 years ago

  • The F* Programming Language

    1 project | news.ycombinator.com | over 2 years ago

  • Swapping your M and N key around, yeah I know, some people will call me a Nomster!

    1 project | /r/ProgrammerHumor | over 2 years ago

  • What developments have there been in FP over the last 10 years?

    1 project | /r/functionalprogramming | almost 3 years ago

  • In your opinion, has the most popular programming language 50 years from now already been created? Or will a new programming language be invented that becomes more popular than those already in existence?

    1 project | /r/computerscience | almost 3 years ago

  • how to change 24v circuit to 12v.

    1 project | /r/Reprap | about 3 years ago

  • how to change 24v circuit to 12v.

    1 project | /r/circuitmaker | about 3 years ago

  • Static checking for size of dynamic arrays

    1 project | /r/ProgrammingLanguages | about 3 years ago

  • Examples of type systems describing things other than data flow?

    2 projects | /r/ProgrammingLanguages | about 3 years ago

  • DIY 3D Printer with ESP32 as a controller (help)

    1 project | /r/3dprinter | about 3 years ago

  • How We Proved the Eth2 Deposit Contract Is Free of Runtime Errors

    4 projects | news.ycombinator.com | about 3 years ago

  • Why type systems matter

    1 project | /r/programming | about 3 years ago

  • Awesome Rust Cryptography list compiled by the Rust Cryptography Interest Group (RCIG)

    4 projects | /r/rust | about 3 years ago

  • A Memory Safe TLS Module for the Apache HTTP Server

    1 project | /r/rust | about 3 years ago
Loading...