q9i/urop-zardini
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Open-source artifacts from my work in the Zardini lab (summer 2025–present)
29 commits 1 branch 1 tag 226 MiB
  • Haskell 41.9%
  • Typst 32.1%
  • Nix 14.2%
  • Python 7.7%
  • Shell 2.2%
  • Other 1.9%
Find a file
Exact
Ananth b77e30b593
 feat: fill in lower bound mcdp implementation for uncertain drone
2026-03-24 14:37:57 -07:00
forms feat: presentation tomorrow! 2025-09-29 06:01:01 -04:00
mcdp feat: fill in lower bound mcdp implementation for uncertain drone 2026-03-24 14:37:57 -07:00
notes docs(notes): mcdp theory 2025-12-13 01:50:30 -05:00
paper docs(paper): add lower bound notes 2025-12-14 13:52:52 -05:00
present/fa25 feat(mcdp): reorganize outputs 2025-12-10 17:49:59 -05:00
progress docs(progress): case study 2026-02-06 13:29:56 -05:00
refs feat(mcdp): reorganize outputs 2025-12-10 17:49:59 -05:00
vis feat: begin working on the final frontier 2026-03-05 14:50:30 -05:00
.gitignore feat(mcdp): reorganize outputs 2025-12-10 17:49:59 -05:00
.pre-commit-config.yaml feat: begin working on the final frontier 2026-03-05 14:50:30 -05:00
LICENSE Initial commit 2025-09-28 19:55:32 -07:00
README.md feat(mcdp): reorganize outputs 2025-12-10 17:49:59 -05:00

README.md

urop-zardini

Open-source artifacts from my work in the Zardini lab (summer 2025–present)