A community-maintained Python framework for creating mathematical animations.

Opiniated RAG for integrating GenAI in your apps 🧠 Focus on your product rather than the RAG. Easy integration in existing products with customisation! Any LLM: GPT4, Groq, Llama. Any Vectorstore: …

Official Code for DragGAN (SIGGRAPH 2023)

Quickly rewrite git repository history (filter-branch replacement)

A keyboard-driven, vim-like browser based on Python and Qt.

Interactive GCC - C/C++ REPL.

Visual environment for manipulation the lambda calculus expressions

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.

Key adjustment script for placing glyphs on KLE-based keyboard layouts

The kitchen sink with SnapPy, SageMath, Regina, and friends