🪄 A browser extension that captures your workflow as you click and turns it into a step-by-step guide with annotated screenshots 📸

Drafts your next release notes as pull requests are merged into master.

Resume builder for academics and engineers

An improved plotting module for SymPy

Native macOS (SwiftUI) scrobbler that detects playing music and submits it to Last.fm.

Splitter bollette pigro per coinquilini con il culo pesante che non vogliono dividere a metà

[CVPR'26 Highlight] Official Implementation of GenTract: Generative Global Tractography

Pedagogical first-order prover in Python

[NeurIPS 2025] OmniSVG is the first family of end-to-end multimodal SVG generators that leverage pre-trained Vision-Language Models (VLMs), capable of generating complex and detailed SVGs, from sim…

Jasmin language support for Zed.

[AAAI, 2026] Official implementation of "CoCoLIT: ControlNet-Conditioned Latent Image Translation for MRI to Amyloid PET Synthesis".

A constraint solver purely on GPUs (CUDA)

Toolkit for linearizing PDFs for LLM datasets/training

#1 PDF Application on GitHub that lets you edit PDFs on any device anywhere

A single header-only C++ library for particle swarm optimization.

Python script to solve NYTimes Wordle in least possible guesses

A bot to keep Bazel dependencies up to date

Provides a templated scoped class for "Scope-Sensitive Programming"

Python tool for converting files and office documents to Markdown.

A header-only C++ library for L-BFGS and L-BFGS-B algorithms

The open source AI engineering platform for agents, LLMs, and ML models. MLflow enables teams of all sizes to debug, evaluate, monitor, and optimize production-quality AI applications while control…

A Telegram bot developed in Python to detect and report the mood of messages posted on SpottedDMI.

The recursive internet scanner for hackers. 🧡

A minimal, accessible and SEO-friendly Astro blog theme.

bazel rules cc resource

match command-line arguments to their help text

Qutes - A high level programming language for quantum computing.

A virtual world where Autonomous Systems from different Formula Student teams can compete in time-trial challenges

Geometric operations on polytopes of any dimension