Pinned Repositories
binarysearch
Solutions to problems from binarysearch.com
distributed-systems-readings
Readings in distributed systems
distsysbook
The book Distributed systems: for fun and profit
dotfiles
leetcode
sia
Stock market server (part of stock market simulation system).
jam231's Repositories
jam231/Quizzer
Ruby on Rails web application for managing study groups.
jam231/sia
Stock market server (part of stock market simulation system).
jam231/binarysearch
Solutions to problems from binarysearch.com
jam231/distributed-systems-readings
Readings in distributed systems
jam231/distsysbook
The book Distributed systems: for fun and profit
jam231/dotfiles
jam231/leetcode
jam231/littleosbook
Source for the little book about OS development
jam231/ostep-homework-solutions
Solutions to coding homeworks for Operating Systems Three Easy Pieces
jam231/plt-study
A path to Programming Language Theory enlightenment
jam231/sia-rAgents
SIA-compatible clients written in Ruby and implementing various trading strategies.
jam231/Software-Foundations
My solutions to exercises from Software Foundations book (http://www.cis.upenn.edu/~bcpierce/sf/current/index.html)
jam231/z3
The Z3 Theorem Prover