Statically typechecks a common SQL dialect and translates it to various RDBMS backends

Logs and metrics are one! Professional logging, metrics and analytics for your apps.

This library provides a set of F# helpers for string manipulations, logging, collection data structures, file operations, text processing, security, async, parsing, diagnostics, configuration files…

A fast multi-format message serializer for .NET

Release with confidence, state-of-the-art property testing for .NET.

DSLs in Action samples in Java, Groovy, Ruby, Clojure and Scala, translated to F#

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.

F# templating library with simple syntax designed for smooth work with F# types.

F# library for working with music theory concepts, music notation, guitar tab notation and programmatically creating music.

Build dockerfiles and run docker commands from F#

Simple DSL to solve SMT problems using Z3 API in F#

Framework for F# Desktop Applications

extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0

Collection of F# snippets

An implementation of higher-order logic (HOL) in F#. Based on hol-light, Isabelle, and HOL4.