Generate Python Requests code from your browser activity 🤖

TextMate support for Scheme

Python MIDI library

Group project for the class "Design and Analysis of Algorithms"

Bot for slither.io

Write a decent-looking resume in 5 minutes without knowing LaTeX!

Some Python programs to interact with "old" Texas Instrument calculators.

Generic Optimization by Genetically Evolved Operation Trees

A modular SMT solver in OCaml, based on mcSAT

For anyone who would need copypasta data.

A cross-platform (Windows, MacOS, Linux) implementation of beep

Cool features for Jupyter Notebooks with Jekyll

Python bindings for libdivsufsort

AI controlling a Mars Rover

Automatic colorization using deep neural networks. "Colorful Image Colorization." In ECCV, 2016.

Basic and advanced algorithms and data structures

Work in progress

Algebraic Number Theory package

Various utilities for making bots.

Hash-based signatures

A curated list of awesome Self-Supervised methods

Simple app for 5BX

Bot Dofus 2 en Python 3

🔥 Python client for tinder api

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

CNF generator in DIMACS format. It produces common families of CNFs.

A diabolic implementation of mcSAT 😈

Import and Export passwords for Firefox Quantum 🔑