Stars
A good looking terminal emulator which mimics the old cathode display...
Facil generates F# data access source code from SQL queries and stored procedures. Optimized for developer happiness.
Functional language with intensional polymorphism and first-class staging.
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
🌍 Academic publications about The Gamma project. This includes the Computation+Journalism 2015 paper and ECOOP 2017 paper on the pivot type provider with supporting materials and occasionally other…
SoManyFeeds in F# using .NET and Giraffe on the backend, and HTMX on the frontend.
A comprehensive Domain-Driven Design example with problem space strategic analysis and various tactical patterns.
Full Modular Monolith application with Domain-Driven Design approach.
Scriptable static site generator using type safe F# DSL to define page templates.
Builds PDF's from pure F# (and needs a more interesting name)
Source Code for 'Practical TLA+' by Hillel Wayne
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Repository around the organization, recording, and publication of (audio) episodes
Stream Store library targeting RDBMS based implementations for .NET
A library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.
An example on how to use F# Make (FAKE) 5+ for the entire pipeline when deploying to Azure App Service
Implements a resumption monad for .NET targeting data access with automatic batching and caching.
Different type inference algorithms implemented in F#
Helper tool to verify semantic version changes based on API surface area changes
Musical Ascii - a plain text, richly polyphonic music engine and notation
Implementing Scott Wlaschin's “Domain Modeling Made Functional” in Rust, Elm, F♯, and ReasonML