Wybe proof checker and language definition
Features and progress:
statistical testing, linear algebra, machine learning, fitting and signal processing in F#
F# Emacs mode
Random Testing for .NET
Tiger Compiler implemented in F#
F# Fable Elmish example, with Preact and Vite.
System.Linq.Expression expressions optimizer. http://thorium.github.io/Linq.Expression.Optimizer
This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Pr...
Practical generic programming for F#
F# to core erlang compiler experiment
λ calculus library made purely in and for F#
LALR parser combinators for C# and F#.
F# to JavaScript, TypeScript, Python, Rust and Dart Compiler
Prototype atom feed reader in F# with SAFE stack
An updated cheat sheet for F# 🔷🦔💙💛🤍💚
A helper library to easily add F# scripts to your application.