Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by jackfoxy
A curated list of projects in awesome lists by jackfoxy .
https://github.com/jackfoxy/dependenttypes
experiments with @robkuz LimitedValue type
Last synced: 19 Nov 2024
https://github.com/jackfoxy/specifyingsystemswithcontents
Adding a table of contents to Specifying Systems, TLA+.pdf
Last synced: 19 Nov 2024
https://github.com/jackfoxy/fsregex
Composable regular expressions for F#
fsharp functional-programming regular-expression regular-expressions
Last synced: 19 Nov 2024
https://github.com/jackfoxy/obelisk
Time travelling relational database engine and urQL (SQL derived) scripting for the Urbit computer
hoon personal-server sql sql-server urbit
Last synced: 19 Nov 2024
https://github.com/jackfoxy/randombits
.Net Standard Libray for random numbers from bits streamed from the ANU Quantum Random Numbers Server
Last synced: 11 Nov 2024
https://github.com/jackfoxy/sequent
library of hoon list functions for mortal developers
Last synced: 19 Nov 2024
https://github.com/jackfoxy/testtest
bug between MSTest and FSharpx.DataStructures.DList.fold
Last synced: 19 Nov 2024
https://github.com/jackfoxy/functionallineardatastructures
Example code for Lambda Jam 2013 talk
Last synced: 19 Nov 2024
https://github.com/jackfoxy/typedsicm
F# implementation of Structure and Interpretation of Classical Mechanics
Last synced: 19 Nov 2024
https://github.com/jackfoxy/randombitssolution
Engineering excercise in random bits from ANU
Last synced: 19 Nov 2024
https://github.com/jackfoxy/lambdacalc
Stripped-down parser using fslexyacc of the lambda calculus.
Last synced: 19 Nov 2024
https://github.com/jackfoxy/funcpatterndemosolution
Working with Functional Data Structures, Practical F# Application -- companion demos
Last synced: 19 Nov 2024
https://github.com/jackfoxy/multitargetnuget
test of multi-target F# dotnet builds
Last synced: 19 Nov 2024
https://github.com/jackfoxy/testdependenttypes
Experiments in F# dependent types
Last synced: 19 Nov 2024
https://github.com/jackfoxy/letsmakeadeal
Bayes' Theorem in action on the Monty Hall problem - F#
Last synced: 19 Nov 2024
https://github.com/jackfoxy/fsharpcascalogcore
Demonstration of problem with IKVM
Last synced: 19 Nov 2024
https://github.com/jackfoxy/svcc2014demo
demo code for "Functional Programming for Production Quality Code"
Last synced: 19 Nov 2024
https://github.com/jackfoxy/multitargetpaket
test mult-target F# builds with Paket
Last synced: 19 Nov 2024
https://github.com/jackfoxy/sqlcommandanalyze
A proposal for data flow meta data gathering within SQLCommandProvider
Last synced: 19 Nov 2024
https://github.com/jackfoxy/bigasstextfiles
search and sample very large text file
Last synced: 19 Nov 2024
https://github.com/jackfoxy/testsqlclient
test of SqlClient type provider for netstandard2.0 build
Last synced: 19 Nov 2024
https://github.com/jackfoxy/azuretablepresentation
Presentation to S.F. Azure user group on F# and Azure Table Storage
Last synced: 19 Nov 2024