Jack Pappas (@jack-pappas)
github

jack-pappas

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    500
  • Global Rank 55,635 (Top 2 %)
  • Followers 107
  • Following 15
  • Registered over 13 years ago
  • Most used languages
    F#
         100.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 14,840
  • Country Ranking
    F#
         11

Top repositories

1

ExtCore

An extended core library for F#.
F#
177
star
2

fsharp-logic-examples

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

fsharp-tapl

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

facio

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

experimental-functors

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

NHol

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

sublime-fsharp

F# syntax highlighting for Sublime Text 2
7
star
8

fs-core-optimized

Optimized implementations of collections from the F# Core library (FSharp.Core)
F#
7
star
9

BBTrees

An F# implementation of weight-balanced binary search trees.
F#
5
star
10

facio-examples

Example projects using the facio compiler tools
F#
4
star
11

FSharp.Text.StructuredFormat

A pretty-printing library for F#.
F#
2
star
12

spsc-lite-fsharp

A Small Positive Supercompiler in F#
F#
2
star
13

CompilerTutorial

Exercises demonstrating various challenges in compiler-writing
F#
1
star