Starred repositories
The graph pooling library made for Pytorch Geometric
A collection of formalized statements of conjectures in Lean.
Official repository for the paper "Relational Conformal Prediction for Correlated Time Series" (ICML 2025)
The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.
Rich is a Python library for rich text and beautiful formatting in the terminal.
Repository for providing off-the-shelf benchmarks for aerospace applications.
Archetype Computing / Adapting System for the EMERGE project.
Official repository of the paper "MaxCutPool: differentiable feature-aware Maxcut for pooling in graph neural networks" presented at ICLR 2025.
Implementation of the BNPool layer and code to reproduce the experiments in "Bayesian Nonparametric GNNs for graph pooling and clustering".
Official reference implementation of our paper "On Oversquashing in Graph Neural Networks Through The Lens of Dynamical Systems" accepted at AAAI 2025
A Practical Approach to Causal Inference over Time
Create markdown-based reveal.js presentations in Obsidian
RAG that intelligently adapts to your use case, data, and queries
An Edge-CLoud pYthon Platform for Simulated runtime Environments
aider is AI pair programming in your terminal
Quick implementation of nGPT, learning entirely on the hypersphere, from NvidiaAI
The easiest way to deploy agents, MCP servers, models, RAG, pipelines and more. No MLOps. No YAML.
Material for the dataviz courses, Bordeaux
A collaboration friendly studio for NeRFs
Implementation of the Aurora model for Earth system forecasting
Initial public release of code, data, and model weights for FourCastNet
Research Software for Neural Weather Prediction for Limited Area Modeling
Open standard for machine learning interoperability