(mirroring) miTLS is a verified reference implementation of the TLS protocol.
OTHER License
F# language server using Language Server Protocol
F# Emacs mode
F# RISC-V Instruction Set formal specification
FAKE - F# Make
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
Math.NET Numerics
Tiger Compiler implemented in F#
Lint tool for F#
An updated cheat sheet for F# 🔷🦔💙💛🤍💚
F# to core erlang compiler experiment
RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-sug...
statistical testing, linear algebra, machine learning, fitting and signal processing in F#
F# -> ASM disassembler
Myriad is a code generator for F#
Random Testing for .NET