Stars
CVPR 2025(Highlight) DexGraspAnything: Towards Universal Robotic Dexterous Grasping with Physics Awareness
FAIR Chemistry's library of machine learning methods for chemistry
Imposition of Hard Convex Constraints on Neural Networks
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)
Extended experiments of "Growing Neural Cellular Automata" https://distill.pub/2020/growing-ca/
Official implementation of E(n)-equivariant Graph Neural Cellular Automata
Offical code for the paper: "Growing 3D Artefacts and Functional Machines with Neural Cellular Automata" https://arxiv.org/abs/2103.08737
Code for the Fractured Entangled Representation Hypothesis position paper!
A professionally curated list of awesome Conformal Prediction videos, tutorials, books, papers, PhD and MSc theses, articles and open-source libraries.
A general-purpose probabilistic programming system with programmable inference
Python library for causal inference and probabilistic modeling.
A tool for learning and verification of neural networks
Insert and import citations, bibliographies, notes, and PDF annotations from Zotero into Obsidian.
Obsidian plugin which integrates your academic reference manager with the Obsidian editor. Search your references from within Obsidian and automatically create and reference literature notes for pa…
Model-based design and verification for robotics.
Shareable model files (urdf/sdf + meshes, etc) for our robotics projects
An open-source, code-first Python toolkit for building, evaluating, and deploying sophisticated AI agents with flexibility and control.
A collection of sample agents built with Agent Development (ADK)
Main repo for the ROS side of Project Phoenix - an autonomous go-kart
The Marine Systems Simulator (MSS) is software that supplements the textbook "Handbook of Marine Craft Hydrodynamics and Motion Control," 2nd Edition, by T. I. Fossen, published in 2021 by John Wil…
Initial target: base station & relay for extending bitchat messaging across Boston.
RETCON is a streamlined, deployment-focused solution for Reticulum mesh networking.