☆27Nov 12, 2025Updated 6 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:
- ☆18Jun 14, 2024Updated last year
- This is an example of the design-by-contract method☆14Dec 27, 2022Updated 3 years ago
- An open-source interface to use the multiple-precision solver SDPA-GMP with YALMIP☆11Apr 8, 2021Updated 5 years ago
- an enumerative reactive synthesis tool for the GR(1) fragment of LTL☆13Jan 5, 2026Updated 4 months ago
- ☆11Feb 27, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A LaTeX template for replying to paper reviews☆16May 15, 2019Updated 7 years ago
- ☆18Nov 26, 2025Updated 6 months ago
- A PYNQ overlay demonstrating the Xilinx RFSoC SD-FEC☆13Jun 29, 2022Updated 3 years ago
- ROS code for Tenacity - A SAWPPY-inspired rover☆14Mar 8, 2025Updated last year
- mixed integer semidefinite programming plugin for SCIP☆18May 3, 2026Updated 3 weeks ago
- Parse hardware design information to generate project specific machine configuration☆18Updated this week
- SystemVerilog RTL and UVM RAL model generators for RgGen☆17Apr 19, 2026Updated last month
- Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.☆18Jun 4, 2025Updated 11 months ago
- The Core Flight System (cFS) Sample Library (sample_lib)☆12May 18, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A LaTeX template for Masters (M.Sc.) and Doctorate (Ph.D) theses in the Tel-Aviv University.☆10Feb 4, 2021Updated 5 years ago
- SpaceWire☆14Jul 17, 2014Updated 11 years ago
- C++ drivers and utilities for the kobuki base☆20May 20, 2025Updated last year
- Pre-built URDF files from the open source Robonaut 2 and Valkyrie projects from JSC☆39Mar 2, 2023Updated 3 years ago
- Shared computing for distributed systems science or autonomy support.☆31Oct 28, 2021Updated 4 years ago
- A package for compositional system analysis and design☆32Jul 22, 2025Updated 10 months ago
- ☆21Mar 10, 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
- The repository for the Misty Robotics developer documentation.☆20Dec 30, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Temporal Logic Planning toolbox☆126May 10, 2026Updated 2 weeks ago
- VHDL plugin for RgGen☆15Apr 19, 2026Updated last month
- Reinforcement learning is a machine learning technique where agents learn to make optimal decisions by maximizing reward signals through …☆18Jun 17, 2023Updated 2 years ago
- Astrodynamics framework☆38May 13, 2026Updated 2 weeks ago
- Custom OpenAI Gym environments based on PyChrono☆47Jan 28, 2025Updated last year
- ☆21Apr 1, 2026Updated last month
- Repository hosting the code associated with "Unsupervised Behaviour Discovery with Quality-Diversity Optimisation"☆15Jun 14, 2021Updated 4 years ago
- A pytorch implementation of Smooth Model Predictive Path Integral control (SMPPI)☆16Apr 18, 2024Updated 2 years ago
- sketching algorithms implemented in chapel and python☆10Jun 8, 2017Updated 8 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.
- Download your Earth science data with only one click☆50May 5, 2026Updated 3 weeks ago
- POPGym Library in JAX☆14Apr 15, 2024Updated 2 years ago
- A fast lost-in-space plate solver for star trackers.☆24Updated this week
- Reinforcement learning on an Arduino to control an arm☆13Sep 19, 2017Updated 8 years ago
- Delivery repo for users of Hauntimator tools☆20Updated this week
- A catkin wrapper for GTSAM☆14May 29, 2023Updated 2 years ago
- ☆18Sep 12, 2022Updated 3 years ago