GitPlanet
All Git Users → jack-pappas

3 open source projects by jack-pappas

[ Open user page on Github ]
1. Extcore
An extended core library for F#.
✭ 172
csharpfsharpdotnetperformancedata-structuresimmutable
2. Fsharp Logic Examples
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
✭ 130
3. fsharp-tapl
Accompanying code for "Types and Programming Languages", ported to F#
✭ 53
F#fortran
1-3 of 3 user projects