jack-pappas/ClassifyDigits
A fairly simple KNN digit classification algorithm tried out in multiple languages
Developer Profile
jack-pappas
Discovered public repositories for jack-pappas in the GitHub catalog.
jack-pappas/FSharp.Text.StructuredFormat
A pretty-printing library for F#.
jack-pappas/mathnet-numerics
Math.NET Numerics
jack-pappas/experimental-functors
An experiment at expressing functors in F# the .NET type system.
jack-pappas/fsfoundation
The F# Software Foundation website
jack-pappas/fsharp
The F# compiler, core library and core tools (open source edition)
jack-pappas/NHol
An implementation of higher-order logic (HOL) in F#. Based on hol-light, Isabelle, and HOL4.
jack-pappas/fs-core-optimized
Optimized implementations of collections from the F# Core library (FSharp.Core)
jack-pappas/BBTrees
An F# implementation of weight-balanced binary search trees.
jack-pappas/spsc-lite-fsharp
A Small Positive Supercompiler in F#
jack-pappas/ExtCore
An extended core library for F#.
jack-pappas/sublime-fsharp
F# syntax highlighting for Sublime Text 2
jack-pappas/facio
Tools for building compilers, interpreters, and analysis tools in F#
jack-pappas/fsharp-tapl
Accompanying code for "Types and Programming Languages", ported to F#
jack-pappas/fsharp-logic-examples
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.