- 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.
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.
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