Skip to content
View lamg's full-sized avatar
57 followers · 113 following

Achievements

Achievement: StarstruckAchievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault Contributor

Block or report lamg

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
lamg/README.md

Structure!

structured-sharpie

Interests

  • Writing and teaching
  • Formal verification
  • Databases
  • Structured (functional) programming
  • Problem solving
  • Concurrent programming
  • Compilers
  • Smart Contracts

Pinned Loading

  1. wybe wybe Public

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

    F# 39

  2. migrate migrate Public

    Declarative migrations for SQLite databases

    F# 13

  3. structured_programming_in_fsharp structured_programming_in_fsharp Public

    Design principles for structured functional programming

    18

  4. snippets snippets Public

    LSP server for custom code snippets

    F# 4

  5. r0b0t r0b0t Public

    GUI for interacting with small and large language models

    F# 9 1

  6. exercises exercises Public

    Miscellaneous problems and explorations

    Rocq Prover 7