Control Systems Analysis Framework - a framework to minimize the effort required to evaluate, implement, and verify controller design (classical and learning enabled) with respect to the system dynamics.
☆16Nov 21, 2022Updated 3 years ago
Alternatives and similar repositories for csaf
Users that are interested in csaf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The official repo for the CoRL 2022 paper 'Learning Control Admissibility Models with Graph Neural Networks for Multi-Agent Navigation'☆10Oct 8, 2022Updated 4 years ago
- a little library to help me with things involving Koopman operators☆14Mar 3, 2022Updated 4 years ago
- F-16 Aircraft Dynamics Model from Stevens and Lewis "Aircraft Control and Simulation".☆82Jul 30, 2022Updated 4 years ago
- Jax version of F16 dynamics☆28Aug 18, 2024Updated 2 years ago
- Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…☆18Nov 23, 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.
- Lean4 port of Arduino balance car controller☆56Mar 17, 2021Updated 5 years ago
- First-order automated theorem prover based on the tableau method☆19Jul 8, 2026Updated 3 months ago
- ☆11Dec 14, 2021Updated 4 years ago
- Venus is a state-of-the-art sound and complete verification toolkit for Relu-based feed-forward neural networks. It can be used to check…☆15Aug 31, 2022Updated 4 years ago
- Official Implementation of ICLR2025 Paper: Songyuan Zhang, Oswin So, Mitchell Black, Chuchu Fan: "Discrete GCBF Proximal Policy Optimizat…☆35Oct 7, 2026Updated 2 weeks ago
- A simple heapless command line interface parser for embedded devices☆18Mar 15, 2019Updated 7 years ago
- pypcd for python3 changes☆14Jun 27, 2019Updated 7 years ago
- The latest source code of the tool Flow*☆30Jan 15, 2023Updated 3 years ago
- A fast, C++ OpenGL implementation of Conway's Game of Life. Now includes a 3D version!☆37Apr 22, 2022Updated 4 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.
- ☆28Sep 27, 2024Updated 2 years ago
- Official repository for the paper "The KoLMogorov Test Compression by Code Generation"☆13Mar 17, 2025Updated last year
- Implementation of CarSNN: An Efficient Spiking Neural Network for Event-Based Autonomous Cars on the Loihi Neuromorphi☆15Aug 4, 2021Updated 5 years ago
- Python Version of F-16 Maneuver Verification Benchmark☆146Mar 11, 2026Updated 7 months ago
- lean-related presentations☆18Jun 4, 2026Updated 4 months ago
- Repository for the HARDENS project☆30Dec 12, 2024Updated last year
- Team 5 Capstone git for the F16 Modeling and Simulation. Winter/Spring 2020-2021.☆30Jun 8, 2021Updated 5 years ago
- ☆17Feb 27, 2025Updated last year
- Some of the plotting code used in our paper, as an example for good-looking plots.☆14Jan 11, 2018Updated 8 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.
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 8 years ago
- Core interface to design, solve, and simulate trajectory games.☆21Jul 3, 2026Updated 3 months ago
- Framework for building, optimizing, and deploying AI agents as Effect services. Define an agent as a declarative blueprint. Run it agains…☆23Apr 13, 2026Updated 6 months ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- An Extensible Model Context Protocol (MCP) server☆13May 19, 2025Updated last year
- ModelJSON format for system models.☆13Jun 27, 2026Updated 3 months ago
- Gym wrapper for Vizdoom environments☆12Dec 14, 2018Updated 7 years ago
- A plugin for the oclif CLI framework that automatically discovers commands and serves them through the Model Context Protocol (MCP).☆13Oct 25, 2025Updated 11 months ago
- Verifying encodings into propositional logic in Lean☆15Aug 14, 2023Updated 3 years 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.
- TIGRIS: An Informed Sampling-based Informative Path Planner☆23Oct 11, 2022Updated 4 years ago
- A neural network accelerated solver for mixed-strategy solutions of trajectory games. Do you even lift?☆19Jun 22, 2025Updated last year
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Sep 23, 2026Updated last month
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated 2 years ago
- A Python library for creating digital sound.☆13Sep 22, 2024Updated 2 years ago
- Model Context Protocol (MCP) server that provides a flexible and configurable two-stage reasoning and response generation system☆15Aug 8, 2026Updated 2 months ago
- ☆10May 21, 2021Updated 5 years ago