Popular repositories Loading

1. ExtCore ExtCore Public

   An extended core library for F#.

   F# 181 32

2. fsharp-logic-examples fsharp-logic-examples Public

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

   F# 178 17

3. fsharp-tapl fsharp-tapl Public

   Accompanying code for "Types and Programming Languages", ported to F#

   F# 55 8

4. facio facio Public

   Tools for building compilers, interpreters, and analysis tools in F#

   F# 46 14

5. experimental-functors experimental-functors Public

   An experiment at expressing functors in F# the .NET type system.

   F# 17 1

6. NHol NHol Public

   An implementation of higher-order logic (HOL) in F#. Based on hol-light, Isabelle, and HOL4.

   F# 11 4