Model-based design and verification for robotics.
- robotics
- drake
47,133 repositories indexed
1–10 of 10 · Most stars
Model-based design and verification for robotics.
Uncharted: The Nathan Drake Collection running natively on Windows - by SuperMedo
Uncharted: The Nathan Drake Collection PC port (no game files)
Create Docker images directly from sbt
Firedrake is an automated system for the portable solution of partial differential equations using the finite element method (FEM)
Drakengard 3 (PS3) static recompilation using ps3recomp
Unofficial native Windows port of Uncharted: The Nathan Drake Collection (PS4). UC3 at 60 FPS, UC2 playable, UC1 experimental. No game files included.
A micro domain-specific-language example for NSPredicate written in Swift.
Facility, Prosperity and Maintainability.
JS/TS ESM package for creating simple music staffs.