Jack Pappas
Results
5
repositories owned by
Jack Pappas
ExtCore
178
Stars
32
Forks
Watchers
An extended core library for F#.
fsharp-logic-examples
171
Stars
16
Forks
Watchers
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
experimental-functors
17
Stars
1
Forks
Watchers
An experiment at expressing functors in F# the .NET type system.
facio
45
Stars
14
Forks
Watchers
Tools for building compilers, interpreters, and analysis tools in F#
fsharp-tapl
52
Stars
8
Forks
Watchers
Accompanying code for "Types and Programming Languages", ported to F#