Pinned Repositories
alphabeta
Secretly an alphabeta solver
arcpool
aspifcnf
cipola
dequeue
fastmemo
reflectionsort
Code from a talk about using reflection for sorting based on http://www.tweag.io/posts/2017-12-21-reflection-tutorial.html
regret-solver
A counterfactual regret minimization solver
standing-relations
transformed
davidspies's Repositories
davidspies/standing-relations
davidspies/fastmemo
davidspies/alphabeta
Secretly an alphabeta solver
davidspies/arcpool
davidspies/aspifcnf
davidspies/cipola
davidspies/dequeue
davidspies/transformed
davidspies/cargo
The Rust package manager
davidspies/curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
davidspies/dc2
davidspies/differential-dataflow
An implementation of differential dataflow using timely dataflow on Rust.
davidspies/dspies-prelude
davidspies/frunk_utils
davidspies/frunk_utils_derives
Derives for frunk traits
davidspies/generic_map
davidspies/impossible
davidspies/jigsaw
davidspies/lazy-fields
Lazy fields in rust
davidspies/lh-plugin-demo
A small package that demonstrates how to use LiquidHaskell as a GHC plugin
davidspies/maximized
davidspies/MemoTrie
Trie-based memo functions
davidspies/redis-rs
Redis library for rust
davidspies/relidrat
DRAT checker which uses standing-relations
davidspies/rust
Empowering everyone to build reliable and efficient software.
davidspies/simplified_ddflow
Simplified differential dataflow interface
davidspies/snapshots
davidspies/stackage
"Stable Hackage": vetted consistent packages from Hackage
davidspies/standing-relations-2
davidspies/stratified-relations