Intro to leetcodes. Basic techniques, quicksort and hash structures implementation, space and time complexities.

EmbedPVP: Embedding-based Phenotype Variant Predictor

Introduction to Bioinformatics training course slides

Draw a ui and make it real

Lean 3's obsolete mathematical components library: please use mathlib4

papers of Per Martin Löf

A bundle of standard derivers

⭐️ Companies that don't have a broken hiring process

Pawtucket Improved

Cataloguing and data/media management application

The collected works of F. W. Lawvere

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

A command-line murder mystery

Random coordinates within a circle, within an annulus or on a circumference - given a center point and radius.

undo in any program that uses readline

A wrapper for stylegan2 with ada. You can train a model with just six lines of code.

A set of shell scripts, node.js scripts and templates to make journaling and daily/week/monthly goal tracking easy.

Private messaging system that hides metadata

A simple, yet aHmazing arabic programming language meant to light up your day

📝 Algorithms and data structures implemented in JavaScript with explanations and links to further readings

Master programming by recreating your favorite technologies from scratch.

JavaScript Style Guide

A collection of useful .gitignore templates

A book series (2 published editions) on the JS language.

😎 Awesome lists about all kinds of interesting topics

A complete computer science study plan to become a software engineer.

📚 Freely available programming books

Compilation of Etymologies of Computing Terms

One webpage for every book ever published!