6
23
56
Our great sponsors
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 42 | 2,562 | A Proof-oriented Programming Language | |
| 8 | 1,583 | HACL*, a formally verified cryptographic library written in F* | |
| 1 | 172 | Verified implementation of TLS 1.3 in F* | |
| 1 | 110 | Bertie TLS 1.3 Implementation | |
| 1 | 5 |
Popular F* Topics
Latest Mentions
Latest mentioned F* repos
| Stars | Project |
|---|---|
| 110 | bertie |
| 2,562 | FStar |
| 172 | mitls-fstar |
| 1,583 | hacl-star |
| 5 | advent-of-code-2022 |
| 45 | Creality_Ender_3_ESP32_Board |
Latest Discoveries
Latest discovered F* repos
| Stars | Project |
|---|---|
| 110 | bertie |
| 172 | mitls-fstar |
| 5 | advent-of-code-2022 |
| 45 | Creality_Ender_3_ESP32_Board |
| 2,562 | FStar |
| 1,583 | hacl-star |
Recently updated posts
- Why is there no simple C-like functional programming language?
- One step forward, an easier interoperability between Rust and Haskell | IOG Engineering
- [2022 day 7] I created a copy of the elves' filesystem
- [Hobby] Amateur Generalist Programmer Seeking to Put Bugfixing Skills to Good Use
- Use-After-Freedom: MiraclePtr