shterrett

Boston, MA

Pinned Repositories

cLRUd
Client-server LRU cache
Language:Rust1 2 00
efficient_route_planning
http://ad-wiki.informatik.uni-freiburg.de/teaching/EfficientRoutePlanningSS2012
Language:Rust9 3 00
escape-from-itunes
Copy iTunes files to a better folder hierarchy
Language:Haskell0 2 00
haskell-road
The Haskell Road to Logic, Maths, and Programming
Language:Haskell7 2 05
line-server
Serves an arbitrary line from a text file
Language:Ruby0 2 00
mit-intro-algorithms
MIT 6.006 Introduction to Algorithms
Language:Python13 3 05
necklace
Clojure threading macros for ruby
Language:Ruby4 2 00
peer-chat
Peer-to-Peer chat clients in Haskell
Language:Haskell0 2 00
rust-map-reduce
Local, threaded map-reduce in rust
Language:Rust1 2 01
tokio-tutorials
Tutorials for Rust's Tokio library
Language:Rust28 5 02

shterrett's Repositories

shterrett/custom-monads
Implementing custom monads a la _Book of Monads_
Language:Haskell4 2 01
shterrett/advent-2018
Advent of Code 2018
Language:Haskell2 2 2
shterrett/tiger
Compiler for Tiger programming language from Modern Compiler Implementation in ML
Language:Haskell2 3 0
shterrett/future-combinators
Future combinators for Rust
Language:Rust1 2 0
shterrett/hangman
Using hangman to explore effects
Language:Haskell1 2 0
shterrett/haskell-intermediates
Materials for intermediate-level haskell project tutorials
Language:Haskell1 2 0
shterrett/escape-from-itunes
Copy iTunes files to a better folder hierarchy
Language:Haskell0 2 00
shterrett/black-hat-rust
Applied offensive security with Rust - https://academy.kerkour.com/black-hat-rust?coupon=GITHUB
Language:Rust1 0
shterrett/cookietower
A stack based bytecode interpreter
Language:Rust2 0
shterrett/cps
continuation-passing-style interpreter
Language:Haskell2 0
shterrett/cql-io
Fork of https://gitlab.com/twittner/cql-io
Language:Haskell1 0
shterrett/csapp
Computer Systems: A Programmer's Perspective (CMU Labs)
Language:C2 0
shterrett/dotfiles
A set of vim, zsh, git, and tmux configuration files.
Language:Vim Script2 0
shterrett/dropwizard-db-test
Minimal reproduction of database pool issue
Language:Java2 0
shterrett/eopl
Essentials of Programming Languages
Language:Racket2 0
shterrett/failure
Maybe and Either for Ruby
Language:Ruby2 01
shterrett/fp-course
Functional Programming Course
Language:Haskell1 0
shterrett/haskell-exercises
A little course to learn about some of the more obscure GHC extensions.
Language:Haskell1 0
shterrett/java-tutorial
http://courses.coreservlets.com/Course-Materials/java.html
Language:Java2 0
shterrett/kotlin-koans
Kotlin workshop
Language:Kotlin2 0
shterrett/lets-lens
Course material for lens
Language:Haskell1 0
shterrett/mortgage-calculator
Calculation for our interest-only mortgage (because our servicer can't)
Language:Haskell
shterrett/optics-exercises
Exercises from https://leanpub.com/optics-by-example/
Language:Haskell2 0
shterrett/plfa.github.io
Introduction to programming language theory in Agda
Language:Agda1 0
shterrett/simple-ci
Adversarial implementation of https://marcosampellegrini.com/simple-haskell-book
Language:Haskell2 0
shterrett/simpledb
_A Simple and Efficient Implementation for Small Databases_
Language:Rust3 0
shterrett/stack
The Haskell Tool Stack
Language:Haskell1 0
shterrett/tapl
Types and Programming Languages
Language:Haskell2 0
shterrett/ttfi
Typed Tagless Final Interpreters
Language:Haskell2 0
shterrett/websockets
A Haskell library for creating WebSocket-capable servers
Language:Haskell1 0