There are no reviews yet. Be the first to send feedback to the community and the maintainers!
ExtCore
An extended core library for F#.fsharp-logic-examples
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.fsharp-tapl
Accompanying code for "Types and Programming Languages", ported to F#facio
Tools for building compilers, interpreters, and analysis tools in F#experimental-functors
An experiment at expressing functors in F# the .NET type system.NHol
An implementation of higher-order logic (HOL) in F#. Based on hol-light, Isabelle, and HOL4.sublime-fsharp
F# syntax highlighting for Sublime Text 2fs-core-optimized
Optimized implementations of collections from the F# Core library (FSharp.Core)BBTrees
An F# implementation of weight-balanced binary search trees.facio-examples
Example projects using the facio compiler toolsFSharp.Text.StructuredFormat
A pretty-printing library for F#.CompilerTutorial
Exercises demonstrating various challenges in compiler-writingLove Open Source and this site? Check out how you can help us