☆32Nov 12, 2025Updated 11 months ago
Alternatives and similar repositories for muscat
Users that are interested in muscat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A package for compositional system analysis and design☆36Aug 16, 2026Updated 2 months ago
- Spacecraft Proximity Operations Testbed☆17Jul 21, 2026Updated 2 months ago
- Official repository for the College of DuPage NASA Lunabotics competition.☆18Sep 27, 2026Updated 2 weeks ago
- Machine learning Algorithm for Radiative transfer of Generated Exoplanets☆13Aug 15, 2025Updated last year
- This is an example of the design-by-contract method☆14Dec 27, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- This is a software package for testing and performance evaluation of different star sensors. The algorithms used for calculating quaterni…☆23Jul 31, 2016Updated 10 years ago
- Random Forest retrieval for exoplanet atmospheres☆13Mar 17, 2023Updated 3 years ago
- Efficient random sampling via linear interpolation.☆18Jul 27, 2026Updated 2 months ago
- NASA Goddard's Evolutionary Mission Trajectory Generator (EMTG)☆91Nov 8, 2024Updated last year
- ☆10May 2, 2020Updated 6 years ago
- fuzzylab, a Python fuzzy logic library☆19Aug 18, 2022Updated 4 years ago
- an enumerative reactive synthesis tool for the GR(1) fragment of LTL☆13Jan 5, 2026Updated 9 months ago
- ☆14Sep 12, 2025Updated last year
- Evolutionary Mission Trajectory Generator (EMTG)☆19Dec 13, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆34May 10, 2022Updated 4 years ago
- [CVPR 2025] This is the official implementation of [Full-DoF Egomotion Estimation for Event Cameras Using Geometric Solvers]☆13May 9, 2025Updated last year
- Gauss-Radau Small-body Simulator☆15Sep 1, 2026Updated last month
- ☆35May 26, 2021Updated 5 years ago
- ☆10Updated this week
- The code used for the paper "On the stability analysis of optimal state feedbacks as represented by deep neural models"☆16Mar 20, 2020Updated 6 years ago
- mixed integer semidefinite programming plugin for SCIP☆20Sep 21, 2026Updated 3 weeks ago
- A PYNQ overlay demonstrating the Xilinx RFSoC SD-FEC☆13Sep 23, 2026Updated 3 weeks ago
- Implementation of the CCSDS TM and TC standards for the AcubeSAT nanosatellite☆17Dec 22, 2025Updated 9 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.☆18Jun 4, 2025Updated last year
- Abstraction Layer for Ephemerides (ALE)☆19Sep 15, 2026Updated last month
- ☆12Mar 9, 2026Updated 7 months ago
- A LaTeX template for Masters (M.Sc.) and Doctorate (Ph.D) theses in the Tel-Aviv University.☆10Feb 4, 2021Updated 5 years ago
- C++ drivers and utilities for the kobuki base☆20May 20, 2025Updated last year
- The Core Flight System (cFS) Sample Library (sample_lib)☆12Oct 8, 2026Updated last week
- Shared computing for distributed systems science or autonomy support.☆31Oct 28, 2021Updated 4 years ago
- SpaceWire☆14Jul 17, 2014Updated 12 years ago
- A LaTeX template for replying to paper reviews☆16May 15, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆93Feb 27, 2026Updated 7 months ago
- The Core Flight System (cFS) Table CRC Tool (tblCRCTool)☆16Updated this week
- Pre-built URDF files from the open source Robonaut 2 and Valkyrie projects from JSC☆41Mar 2, 2023Updated 3 years ago
- Event-based Linear Solver for Motion and Sturture☆15Feb 28, 2025Updated last year
- A starting point for your custom Dockerfile that works on binder. You probably don't want to use this.☆21Dec 16, 2021Updated 4 years ago
- SystemVerilog RTL and UVM RAL model generators for RgGen☆17Jul 1, 2026Updated 3 months ago
- VHDL plugin for RgGen☆15Jul 1, 2026Updated 3 months ago