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.

Programming style, best practices, and coding conventions.

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