Stars
For when I can not decide what to eat.
Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
Web application enabling users and software to browse, upload, and share synthetic biology designs
Create agents that monitor and act on your behalf. Your agents are standing by!
A fork of the i3 window manager with gaps and some other features.
This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github…
Coxeter is a library for the study of combinatorial aspects of Coxeter group theory
Fawkes, privacy preserving tool against facial recognition systems. More info at https://sandlab.cs.uchicago.edu/fawkes
🇫🇷 Oh my tmux! My self-contained, pretty & versatile tmux configuration made with ❤️
Implementation of python itertools and builtin iteration functions for C++17
VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.
Hunt down social media accounts by username across social networks
A modern C++ library for efficiently and easily iterating through common combinatorial objects, such as combinations, permutations, partitions and more.
A Python package that makes building pybind11 modules with cmake dead simple by using headers from pybind11 python package and supplying all the cmake boilerplate
Example pybind11 module built with a Python-based build system
Various utility scripts to calculate Schur polynomials
Repository containing evidence of police brutality during the 2020 George Floyd protests
Replicating the Illinois letterhead in latex
Interactive editor using Cinder to design and train simple convolutional neural networks with the MNIST dataset
Easy access to StockX's unofficial API through promises.