Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
OTHER License
An experiment at expressing functors in F# the .NET type system.
An extended core library for F#.
A collection of small projects that I'm building while learning F#
An updated cheat sheet for F# 🔷🦔💙💛🤍💚
λ calculus library made purely in and for F#
Wybe proof checker and language definition
An implementation of higher-order logic (HOL) in F#. Based on hol-light, Isabelle, and HOL4.
LALR parser combinators for C# and F#.
Practical generic programming for F#
This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Pr...
Accompanying code for "Types and Programming Languages", ported to F#
Tools for building compilers, interpreters, and analysis tools in F#
Optimized implementations of collections from the F# Core library (FSharp.Core)
A helper library to easily add F# scripts to your application.
Parsing with derivatives in F#