Repositories list

• nail-experiment-utils

  Public
  Small utility codes for field testing and demonstrations

  Python

  •0•0•0•0•Updated Oct 16, 2025Oct 16, 2025

• FeatureLIOM

  Public
  Official Implementation of Feature Extractor for DFLIOM

  Python

  •

  MIT License

  •7•69•1•0•Updated Oct 7, 2025Oct 7, 2025

• f1tenth-mods

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated Oct 1, 2025Oct 1, 2025

• SPARTA

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

  Python

  •0•2•0•0•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

  •0•0•0•0•Updated Aug 13, 2025Aug 13, 2025

• lab_website

  Public
  SCSS

  •0•0•0•0•Updated Jul 18, 2025Jul 18, 2025

• Contingency-MPPI

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

  Python

  •3•8•0•0•Updated May 29, 2025May 29, 2025

• HybridKoopman

  Public
  0•0•0•0•Updated Apr 25, 2025Apr 25, 2025

• ReBAR

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

  Python

  •

  MIT License

  •0•4•0•0•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

  •21•0•0•0•Updated Nov 21, 2024Nov 21, 2024

• nfl_veripy

  Public
  Formal Verification of Neural Feedback Loops (NFLs)

  deep-learningroboticsneural-networks+ 4control-systemsreachability-analysisadversarial-attacksrobustness-verification

  Python

  •

  MIT License

  •16•82•0•1•Updated Sep 12, 2024Sep 12, 2024