Python programs, usually short, of considerable difficulty, to perfect particular skills.

System design interview for IT companies

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Collection of tech talks, papers and web links on Distributed Systems, Scalability and System Design.

A curated list of high quality coding style conventions and standards.

Common data structures and algorithms in Rust

A curated list of Rust code and resources.

CSV Reader/Writer for Scala

vapor.cab

An audio server, programming language, and IDE for sound synthesis and algorithmic composition.

An overview of algorithms for estimating pseudotime in single-cell RNA-seq data

Deep Learning for humans

Notes & Code as I attempt to figure out overtone.

Overtone jams

Collaborative Programmable Music

📚 List of awesome university courses for learning Computer Science!

Scala library for parsing and printing the SMT-LIB format

The Z3 Theorem Prover

command line options parsing for Scala

Solarized Gnome Terminal colors, based on http://ethanschoonover.com/solarized

A tool to import BibTeX entries from various sources

DSL in Scala for Constraint Solving with Z3 SMT Solver