Discover jackfoxy/urQL Open Source project by Jack Fox (@jackfoxy)

Stars
26
Rank 930,752 (Top 19 %)
Language hoon
License
MIT License
Created over 2 years ago
Updated about 1 month ago

jackfoxy

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

RDBMS for Urbit

DependentTypes

experiments with @robkuz LimitedValue type

SpecifyingSystemsWithContents

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

FsRegEx

Composable regular expressions for F#

obelisk

hoon

FSharpx.Cmdlet

F# PowerShell Cmdlets

DS_Benchmark

F# Data Structure Benchmarking

sequent

library of hoon list functions for mortal developers

hoon

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

jackfoxy/urQL

jackfoxy

Reviews

Repository Details

More Repositories