toddaaro

metaNew York

Pinned Repositories

advanced-dan
Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"
Language:Scheme13 3 07
chase_lev
My attempt at a toy implementation of a chase-lev workstealing deque.
Language:C0 1 00
haskell-di
example of an approach to modular development in haskell
Language:Haskell3 5 01
rusty_screeps
screeps, but with rust
Language:Rust1 2 00

toddaaro's Repositories

toddaaro/advanced-dan
Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"
Language:Scheme13 3 07
toddaaro/haskell-di
example of an approach to modular development in haskell
Language:Haskell3 5 01
toddaaro/rusty_screeps
screeps, but with rust
Language:Rust1 2 00
toddaaro/chase_lev
My attempt at a toy implementation of a chase-lev workstealing deque.
Language:C0 1 00
toddaaro/cbt
CBT - fun, fast, intuitive, compositional, statically checked build written in Scala
Language:Scala1 0
toddaaro/gke-factorio
Configuration files for running a Factorio headless server on Google Container Engine
Language:Shell2 0
toddaaro/haskell-lockfree
A collection of different packages for CAS based data structures.
Language:Haskell1 0
toddaaro/ircz
Internet relay chat demo using scalaz-streams
Language:Scala1 0
toddaaro/market-site
Code to create a simple market summary page
Language:Python1 0
toddaaro/nixpkgs
Nix Packages collection
Language:Nix
toddaaro/PlayWithR
Experimenting with R and time series
Language:R1 0
toddaaro/resume
resume latex
Language:TeX
toddaaro/rust
pursuing the trifecta
Language:Rust1 0
toddaaro/scala-types
Messing around with the Scala type system. Inspired by http://apocalisp.wordpress.com/2010/06/08/type-level-programming-in-scala/
Language:Scala1 0
toddaaro/wonks.github.io
PL Wonks website
Language:HTML1 0