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