Anh-Dung Phan on GitHub

A typesetted F# Cheatsheet in PDF and HTML formats using F# literate tools

F# - Apache-2.0 - Last pushed May 10, 2017 - 209 stars - 32 forks

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

F# - Apache-2.0 - Last pushed Mar 25, 2013 - 129 stars - 14 forks

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

F# - MIT - Last pushed Jan 21, 2017 - 24 stars - 3 forks

An SMT-LIB v2 parser using FParsec

F# - Apache-2.0 - Last pushed Feb 14, 2012 - 2 stars

A query expression for optimization, using Microsoft SolverFoundation and F#

F# - Last pushed Jan 26, 2013 - 6 stars - 2 forks

Materials for learning F# async

F# - Last pushed Oct 10, 2011 - 3 stars

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

F# - Apache-2.0 - Last pushed Sep 7, 2013 - 9 stars - 4 forks

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

F# - Other - Last pushed Jan 17, 2017 - 102 stars - 7 forks

Please file issues or pull requests here: https://github.com/dotnet/fsharp https://fsharp.org

F# - MIT - Last pushed Apr 25, 2020 - 0 stars

F# - MIT - Last pushed Feb 17, 2023 - 3 stars

C - Other - Updated May 2, 2024 - 0 stars - 1 forks

C - Other - Last pushed Jan 15, 2021 - 0 stars