Discover jackfoxy/TypedSicm Open Source project

Stars
2
Language
F#
License
Other
Created about 5 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!

F# implementation of Structure and Interpretation of Classical Mechanics

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

hoon

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

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/TypedSicm

jackfoxy

Reviews

Repository Details

More Repositories