Discover @jackfoxy Open Source projects

Jack Fox (@jackfoxy)

jackfoxy

Stars
241
Global Rank 106,350 (Top 4 %)
Followers 77
Following 3
Registered over 12 years ago
Most used languages

F#
86.4 %

hoon 13.6 %
Location 🇺🇸 United States
Country Total Rank 26,715
Country Ranking

hoon 3

F#
26

DependentTypes

experiments with @robkuz LimitedValue type

SpecifyingSystemsWithContents

Adding a table of contents to Specifying Systems, TLA+.pdf

FsRegEx

Composable regular expressions for F#

urQL

RDBMS for Urbit

obelisk

FSharpx.Cmdlet

F# PowerShell Cmdlets

DS_Benchmark

F# Data Structure Benchmarking

sequent

library of hoon list functions for mortal developers

RandomBits

.Net Standard Libray for random numbers from bits streamed from the ANU Quantum Random Numbers Server

TestTest

bug between MSTest and FSharpx.DataStructures.DList.fold

FunctionalLinearDataStructures

Example code for Lambda Jam 2013 talk

TypedSicm

F# implementation of Structure and Interpretation of Classical Mechanics

RandomBitsSolution

Engineering excercise in random bits from ANU

LambdaCalc

Stripped-down parser using fslexyacc of the lambda calculus.

Svcc2014Demo

demo code for "Functional Programming for Production Quality Code"

EmguCvPlayground

EmguCv Playground

AsyncPlayground

F# Async sandbox

FuncPatternDemoSolution

Working with Functional Data Structures, Practical F# Application -- companion demos

TestDependentTypes

Experiments in F# dependent types

MultiTargetNuget

test of multi-target F# dotnet builds

FSharpCascalogCore

Demonstration of problem with IKVM

LetsMakeADeal

Bayes' Theorem in action on the Monty Hall problem - F#

CrockSolution