Pinned Loading

1. wybe wybe Public

   Formal verification tool based on predicate calculus and supporting several programming languages

   F# 39 2

2. migrate migrate Public

   Declarative migrations for SQLite databases

   F# 12

3. structured_programming_in_fsharp structured_programming_in_fsharp Public

   Design principles for structured functional programming

   18 1

4. r0b0t r0b0t Public

   GUI for interacting with small and large language models

   F# 9 1

5. exercises exercises Public

   Miscellaneous problems and explorations

   Rocq Prover 8

6. pmproxy pmproxy Public

   HTTP proxy with per user download quotas

   Go 8