Vision-Language Interactive Relation Mining for Open-Vocabulary Scene Graph Generation, ICCV2025

This is a repository for listing papers on scene graph generation and application.

The official implementation of "Relation-aware Hierarchical Prompt for Open-vocabulary Scene Graph Generation."

An extremely fast Python package and project manager, written in Rust.

Repository of symmetric TSP data

Code for the paper "Improved Wake-Up Time for the Euclidean Freeze-Tag Problem" (CCCG 2025)

Ground Zero: Lean 4 HoTT Library

A New Benchmark for Scene Graph Generation, targeting real-world applications

Algortimo de GRASP aplicado ao problema MAX_SC_QBF

Repositório para trabalho 1 da disciplina de MO824

An introduction to theorem proving in Lean for the impatient.

Homebrew installation manager for nix-darwin

Fix .app programs installed by Nix on Mac

Teaching Material for Course on Formalization Summer Semester 2025 at Uni Greifswald

Experimental nix expression to package all MacOS casks from homebrew automatically

Animation engine for explanatory math videos

Messing about plotting fractals with Haskell.

Libraries for finite field, elliptic curve, and polynomial arithmetic

parallelized hyperdimensional tictactoe

A Graph Neural Network Library in Jax

Flax is a neural network library for JAX that is designed for flexibility.

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

A research project exploring how language models can help us think more, not less.

Anime Girls Holding Programming Books

Neural Networks: Zero to Hero

An incremental writing plugin for Obsidian where you add notes and blocks to prioritized queues and review them incrementally over time, spaced repetition style.