- San Jose, CA
- https://koksal.org/
Stars
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.
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
Notes & Code as I attempt to figure out overtone.
📚 List of awesome university courses for learning Computer Science!
Scala library for parsing and printing the SMT-LIB format
scopt / scopt
Forked from jstrachan/scoptcommand 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