ThunderAI is a Thunderbird Addon that uses the capabilities of ChatGPT, Gemini, Claude or Ollama to enhance email management.

Main repository of SageMath

Bringing the power of SageMath to VS Code with this extension that offers specialized syntax highlighting, quick run capabilities, and additional coding tools.

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

⚡ Dynamically generated stats for your github readmes

Catan board analyzer built in Python

Stub generation for Cython code.

C++ python bytecode disassembler and decompiler

Models the mersenne twister used by Python Random as a symbolic program. This allows recovering the state given a few outputs

PEP 561 type stubs for gmpy2 2.2.1, a Python extension wrapping the GMP, MPFR, and MPC arbitrary-precision arithmetic libraries. Improves static type checking and IDE support.

Ubuntu Pro for WSL

SSHFS For Windows

A brazen two-column theme for Jekyll.

A Visual Studio Code Debug Extension for debugging mixed Python and C++ code. The extension starts a Python debug session and attaches the C++ debugger to it. This extension is useful for debugging…

SMT based attacks on non cryptographic PRNGs