Jack Pappas

fsharp-logic-examples. Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.

ExtCore. An extended core library for 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.

fs-core-optimized. Optimized implementations of collections from the F# Core library (FSharp.Core)

sublime-fsharp. F# syntax highlighting for Sublime Text 2

BBTrees. An F# implementation of weight-balanced binary search trees.

facio-examples. Example projects using the facio compiler tools

spsc-lite-fsharp. A Small Positive Supercompiler in F#

FSharp.Text.StructuredFormat. A pretty-printing library for F#.

c-blosc. A blocking, shuffling and loss-less compression library that can be faster than `memcpy()`.

CompilerTutorial. Exercises demonstrating various challenges in compiler-writing