Repositories list

• F1-Vault

  Public
  Jumping Four-Wheeled Robot in Issac Sim

  Jupyter Notebook

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 23, 2026Mar 23, 2026

• MACpp

  Public
  MATLAB

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 5, 2026Mar 5, 2026

• WheeledLab

  Public
  Environments, assets, workflow for open-source mobile robotics, integrated with IsaacLab.

  Python

  •

  Other

  •4444 forks•00 stars•00 issues•00 pull requests•Updated Jan 12, 2026Jan 12, 2026

• lab_website

  Public
  SCSS

  •00 forks•11 star•00 issues•11 pull request•Updated Jan 8, 2026Jan 8, 2026

• nail-experiment-utils

  Public
  Small utility codes for field testing and demonstrations

  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 16, 2025Oct 16, 2025

• FeatureLIOM

  Public
  Official Implementation of Feature Extractor for DFLIOM

  Python

  •

  MIT License

  •77 forks•7575 stars•11 issue•00 pull requests•Updated Oct 7, 2025Oct 7, 2025

• f1tenth-mods

  Public
  Python

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 1, 2025Oct 1, 2025

• SPARTA

  Public
  Official Repository for CoRL 2025 paper: "Learning Smooth State-Dependent Traversability from Dense Point Clouds".

  Python

  •00 forks•55 stars•00 issues•00 pull requests•Updated Sep 21, 2025Sep 21, 2025

• Docker-Images

  Public
  Docker images that containerize stacks. Currently contianing the rouster driver, dliom, and scout robot stack. More to come...

  Shell

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 13, 2025Aug 13, 2025

• Contingency-MPPI

  Public
  Implementation of "Contingency Constrained Planning with MPPI within MPPI"

  Python

  •33 forks•1010 stars•00 issues•00 pull requests•Updated May 29, 2025May 29, 2025

• HybridKoopman

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Apr 25, 2025Apr 25, 2025

• ReBAR

  Public
  Implementation for paper "Collision Avoidance Verification of Multi-agent Systems with Learned Policies".

  Python

  •

  MIT License

  •00 forks•44 stars•00 issues•00 pull requests•Updated Dec 8, 2024Dec 8, 2024

• robust-laplacians-py

  Public
  Build high-quality Laplace matrices on meshes and point clouds in Python. Implements [Sharp & Crane SGP 2020].

  C++

  •

  MIT License

  •2222 forks•00 stars•00 issues•00 pull requests•Updated Nov 21, 2024Nov 21, 2024

• nfl_veripy

  Public
  Formal Verification of Neural Feedback Loops (NFLs)

  deep-learningroboticsneural-networks+ 4

  deep-learningroboticsneural-networkscontrol-systemsreachability-analysisadversarial-attacksrobustness-verification

  Python

  •

  MIT License

  •1717 forks•8383 stars•00 issues•11 pull request•Updated Sep 12, 2024Sep 12, 2024