Complete software package for the Iris Lunar Rover (CMU).
☆16Feb 23, 2026Updated 3 weeks ago
Alternatives and similar repositories for IrisRoverPackage
Users that are interested in IrisRoverPackage are comparing it to the libraries listed below
Sorting:
- Required Arduino libraries for robots used in the NASA Swarmathon☆11Jan 29, 2018Updated 8 years ago
- Public involveMINT repo☆10Jan 6, 2026Updated 2 months ago
- Relevant documents for teams participating in the NASA Swarmathon☆18Apr 8, 2019Updated 6 years ago
- Everything you need to build a Swarmathon Robot.☆18Mar 5, 2018Updated 8 years ago
- ☆20Jan 23, 2012Updated 14 years ago
- A Python package for performing self-consistent population synthesis and galactic dynamics simulations☆25Feb 27, 2026Updated 3 weeks ago
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆15Oct 15, 2025Updated 5 months ago
- This branch contain the java classes for orekit-python-wrapper☆19Aug 3, 2025Updated 7 months ago
- ☆17Apr 24, 2020Updated 5 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- A Money library for Ada☆24Aug 23, 2023Updated 2 years ago
- ☆14Sep 16, 2021Updated 4 years ago
- Repo to accompany the SIGGRAPH webinar☆22Feb 7, 2021Updated 5 years ago
- support Xenomai from CMake☆13May 5, 2021Updated 4 years ago
- ARCADE198 Dataset from the ACL 2018 MRQA Workshop☆15Oct 29, 2018Updated 7 years ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Sep 22, 2022Updated 3 years ago
- ☆16Mar 17, 2025Updated last year
- ☆16Aug 2, 2017Updated 8 years ago
- SE3 pose lib uses JPL quaternion representing rotation. Headers only.☆13Oct 25, 2018Updated 7 years ago
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆11Jul 1, 2020Updated 5 years ago
- Xenomai and RTNet Interface for Kuka LBR IV Arms☆16Dec 6, 2017Updated 8 years ago
- ICLR 2019 Paper, "Characterizing Audio Adversarial Examples using Temporal Dependency".☆12Apr 3, 2019Updated 6 years ago
- A small library for creating Domain Specific Languages (DSLs)☆53Nov 9, 2012Updated 13 years ago
- A collection of solved concurrent programming exercises☆15Sep 20, 2020Updated 5 years ago
- A curated list of references to help you get up to speed with the concepts and techniques needed to become a successful ML researcher.☆15Jan 20, 2022Updated 4 years ago
- ROS2 AUV based on the BlueRobotics BlueROV2☆15Jun 17, 2022Updated 3 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- ☆19Mar 25, 2019Updated 6 years ago
- An organization for bringing Julia to embedded processors☆36Nov 6, 2019Updated 6 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 4 years ago
- CMU 15-712 lecture slides☆11Jan 6, 2020Updated 6 years ago
- My own samples and projects for use with the nRF Connect SDK.☆17Dec 7, 2022Updated 3 years ago
- Ada library and tools for the analysis of Complex Networks and more☆11Nov 16, 2023Updated 2 years ago
- Sketching-based matrix computations for numpy arrays☆17Oct 29, 2019Updated 6 years ago
- 目标是分析Modbus TCP协议，对B-L475E-IOT01A STM32源代码进行了分析，理解其MQTT、Modbus协议通信工作原理。☆11Mar 20, 2018Updated 8 years ago
- ☆10Feb 19, 2016Updated 10 years ago
- A framework for majority vote classifiers allowing for computation of PAC Bayesian risk bounds.☆14Feb 9, 2023Updated 3 years ago
- Robot navigation algorithms implemented in SPARK☆12Sep 19, 2014Updated 11 years ago
- Implementation of ADRNet (Sunggoo Jung*, Sunyou Hwang, Heemin Shin, David H Shim)☆17Aug 13, 2024Updated last year