Probabilistic Mission Design for Neuro-Symbolic Transportation Systems.
☆20Oct 22, 2026Updated last week
Alternatives and similar repositories for ProMis
Users that are interested in ProMis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cluster-Normalize-Activate Modules☆13Jan 13, 2025Updated last year
- The Neuro-Symbolic Forward Reasoner☆30Jun 19, 2023Updated 3 years ago
- The Pix2Code framework: generalizable, interpretable and revisable visual concept learning☆14Oct 7, 2025Updated last year
- Dolphin is a Python package that enables scalable neurosymbolic learning by performing probabilistic computations over the GPU.☆21Mar 18, 2026Updated 7 months ago
- A Python test framework for ROS2 allowing simple and expressive assertions based on message interactions.☆32Jan 27, 2025Updated last year
- 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.
- Explainable Modular Reinforcement Learning (from images)☆16Jan 5, 2026Updated 9 months ago
- Library implementation of DreamCoder as adapted for LAPS.☆13Jun 9, 2023Updated 3 years ago
- Reversal Curse Experiment☆15Sep 24, 2023Updated 3 years ago
- Implementation of the Structure-Mapping Engine (Falkenhainer et al., 1989) in Clojure.☆12Feb 23, 2011Updated 15 years ago
- Lab material/code for the Uncertainty Quantification in Machine Learning Course @ ESSAI 2023, using Keras-Uncertainty and Pyro.☆10Aug 4, 2023Updated 3 years ago
- Calculates the output shape of Pytorch operations☆15May 30, 2023Updated 3 years ago
- ☆14Jun 27, 2023Updated 3 years ago
- ☆13Dec 1, 2023Updated 2 years ago
- Rational Activation Functions - Replacing Padé Activation Units☆107Mar 12, 2025Updated last year
- 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.
- larc solving with gpt4☆20May 25, 2023Updated 3 years ago
- An open-soured framework for training deployable blind locomotion using differentiable simulation☆13Aug 5, 2026Updated 2 months ago
- The PyGpPhs package is designed for utilizing Gaussian Process for port-Hamiltonian system.☆11May 6, 2024Updated 2 years ago
- PostgreSQL extension for managing 3D sensor data☆12Oct 13, 2022Updated 4 years ago
- I like the idea of having like this 20-line Varnish config that we deploy around the world, and it’s like: Look at our CDN!☆53Sep 8, 2026Updated last month
- Basic implementation of geometric fabrics using PyTorch☆14Jan 8, 2023Updated 3 years ago
- A web based platform for collecting human actions in reinforcement learning environments☆31Oct 16, 2026Updated 2 weeks ago
- Using Model Knowledge for Learning Forward Dynamics☆10Oct 30, 2021Updated 5 years ago
- Diagnostics framework for micro-ROS☆10Jun 4, 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.
- The Reconfigurable Solver for QP☆13Apr 19, 2023Updated 3 years ago
- Neuro-Symbolic Message-Passing Reasoner☆16Mar 4, 2025Updated last year
- This is a short project using www.postgis.net , and www.github.com/pramsey/pointcloud to store efficentlly large point clouds in a www.…☆15Apr 14, 2015Updated 11 years ago
- ☆18Sep 19, 2024Updated 2 years ago
- Small Robot, Toy Robot platform☆33Jun 8, 2020Updated 6 years ago
- CUAV-hardware-19-0815☆10Aug 12, 2019Updated 7 years ago
- ☆16Jan 8, 2022Updated 4 years ago
- ☆20Nov 10, 2022Updated 3 years ago
- A python framework base on David Harel's statecharts (SCXML).☆16Dec 13, 2025Updated 10 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Template & code for the Continual Learning EValuation Assessment (CLEVA) Compass☆24Dec 13, 2023Updated 2 years ago
- Contact-Aware Symplectic Integrator Network☆19Mar 22, 2023Updated 3 years ago
- AN INTERACTIVE REMOTE SENSING CHANGE ANALYSIS MODEL BASED ON MULTIMODAL INSTRUCTION TUNING☆25Jun 16, 2025Updated last year
- 3D navigation software for unmanned ground vehicles☆17Sep 23, 2014Updated 12 years ago
- Semantic flow graphs for data science☆30Sep 8, 2022Updated 4 years ago
- Mochi Cards Exporter Plugin for Obsidian☆37Nov 26, 2021Updated 4 years ago
- Observer-Based Repetitive Model Predictive Control in Active Vibration Suppression☆16Apr 20, 2020Updated 6 years ago