Pinned Repositories
DependentTypes
experiments with @robkuz LimitedValue type
DS_Benchmark
F# Data Structure Benchmarking
FSharpx.Cmdlet
F# PowerShell Cmdlets
FsRegEx
Composable regular expressions for F#
LetsMakeADeal
Bayes' Theorem in action on the Monty Hall problem - F#
obelisk
Time travelling relational database engine and urQL (SQL derived) scripting for the Urbit computer
RandomBits
.Net Standard Libray for random numbers from bits streamed from the ANU Quantum Random Numbers Server
sequent
library of hoon list functions for mortal developers
SpecifyingSystemsWithContents
Adding a table of contents to Specifying Systems, TLA+.pdf
urQL
RDBMS for Urbit
jackfoxy's Repositories
jackfoxy/DependentTypes
experiments with @robkuz LimitedValue type
jackfoxy/urQL
RDBMS for Urbit
jackfoxy/obelisk
Time travelling relational database engine and urQL (SQL derived) scripting for the Urbit computer
jackfoxy/sequent
library of hoon list functions for mortal developers
jackfoxy/TypedSicm
F# implementation of Structure and Interpretation of Classical Mechanics
jackfoxy/ProjectScaffold
A prototypical .NET solution (file system layout and tooling), recommended for F# projects
jackfoxy/aardvark.base
Aardvark is an open-source platform for visual computing, real-time graphics and visualization. This repository is the basis for most platform libraries and provides basic functionality such as data-structures, math and much more.
jackfoxy/aardvark.docs
Simple examples combining multiple packages provided by the aardvark platform. Each platform repository comes with separate examples -- here we collect overarching examples using for example aardvark.rendering and aardvark.media.
jackfoxy/aardvark.media
Serverside, functional (ELM style) front-end and UI for aardvark, an open-source platform for visual computing, real-time graphics and visualization.
jackfoxy/aardvark.rendering
The dependency-aware, high-performance aardvark rendering engine. This repo is part of aardvark - an open-source platform for visual computing, real-time graphics and visualization.
jackfoxy/AardvarkSandBox
AardvarkSandBox
jackfoxy/Animal_Shelter
Animal shelter demo SQL database
jackfoxy/DynamicChart
Dynamic html charting with Fable
jackfoxy/EmguCvPlayground
EmguCv Playground
jackfoxy/FAKE
FAKE - F# Make
jackfoxy/FSharp.Formatting
F# tools for generating documentation (Markdown processor and F# code formatter)
jackfoxy/FSharpx.Collections
FSharpx.Collections is a collection of datastructures for use with F# and C#.
jackfoxy/fslang-design
RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
jackfoxy/list
A list library for mortals.
jackfoxy/martian-computing
CS 498MC Martian Computing at the University of Illinois at Urbana–Champaign
jackfoxy/nelder-mead-fsharp-fable
Nelder-Mead Optimization Demo with F# & Fable
jackfoxy/PSlogger
F# Azure logger using table storage
jackfoxy/PublishDoc
PublishDoc
jackfoxy/SAFE-Dojo
An introductory dojo to learn how to develop full stack web applications in F#
jackfoxy/sample-react-todomvc
jackfoxy/TestSqlClient
test of SqlClient type provider for netstandard2.0 build
jackfoxy/tufte-css
Style your webpage like Edward Tufte’s handouts.
jackfoxy/XPlot
A plotting library for the F# programming language.
jackfoxy/yard
A developer commons desk.
jackfoxy/YoloDev.Expecto.TestSdk