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

A community driven list of useful Scala libraries, frameworks and software.

Uniform Manifold Approximation and Projection

A font family with a great monospaced variant for programmers.

Quickly and accurately render even the largest data.

Using speech-to-text to fully check out during con calls

Cloud-native genomic dataframes and batch computing

Functional language with intensional polymorphism and first-class staging.

code accompanying "DeepBach: a Steerable Model for Bach Chorales Generation" paper

Pyevolve

Algebraic Number Theory package

My repo for training neural nets using pytorch-lightning and hydra

JudgeD: Probabilistic Datalog with Dependencies

Proof assistant for opetope and opetopic set derivation systems 🐍 🎓

Python scripts from Shape of Data Case Studies

A simple Python 2.7 module for computing local and relative simplicial homology

Polynomial semantics of linear logic

Sublime Text plugin for Idris language. MOVED TO @idris-hackers

Captcha bot for telegram superchat

Multivariative Simplicial Weight Interpolation / Extrapolation