Pinned Repositories
FsCheck
Random Testing for .NET
finally-tagless
fing
Fing: F# API Search
FsLogic
A port of MiniKanren to F# - embedded, typed logic programming
Humanoid
Human-readable and memorable identifiers for anything.
minidiff
A minimal reference implementation of automatic differentiation in Rust
pytest-cloudist
quadtrees
An in-browser demo of quadtrees in Rust compiled to WebAssembly
substack-pbt
tensorken
A fun, hackable, GPU-accelerated, neural network library in Rust, written by an idiot
kurtschelfthout's Repositories
kurtschelfthout/tensorken
A fun, hackable, GPU-accelerated, neural network library in Rust, written by an idiot
kurtschelfthout/FsLogic
A port of MiniKanren to F# - embedded, typed logic programming
kurtschelfthout/minidiff
A minimal reference implementation of automatic differentiation in Rust
kurtschelfthout/finally-tagless
kurtschelfthout/fing
Fing: F# API Search
kurtschelfthout/Humanoid
Human-readable and memorable identifiers for anything.
kurtschelfthout/quadtrees
An in-browser demo of quadtrees in Rust compiled to WebAssembly
kurtschelfthout/substack-pbt
kurtschelfthout/pytest-cloudist
kurtschelfthout/meadowrun_demo
kurtschelfthout/FlatBuffers-Net
Reflective .NET implementation of Google FlatBuffers
kurtschelfthout/fscheckbenchmarks
Benchmarks I used during development of fscheck#351
kurtschelfthout/fslang-design
RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
kurtschelfthout/meadowrun
kurtschelfthout/meadowrun-test
kurtschelfthout/meadowrun_website
kurtschelfthout/Olympia-Viewer
kurtschelfthout/parsing-with-derivatives-clj
kurtschelfthout/python-atomicwrites
Powerful Python library for atomic file writes.
kurtschelfthout/SciFe
SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants
kurtschelfthout/shrinking-challenge
Comparing shrinking approaches and performance across different PBT libraries
kurtschelfthout/slice.net
A simple C# type for working with contiguous buffers.
kurtschelfthout/Streams
A lightweight F#/C# library for efficient functional-style pipelines on streams of data.
kurtschelfthout/test_repo
Example user code for tests