The Adaptive Stress Testing for Robust AI (ASTRA) toolbox provides tooling to support model developers and testing in the full life cycle of making more robust AI Systems through the application of adaptive stress testing and adversarial training.
☆28Dec 15, 2025Updated 10 months ago
Alternatives and similar repositories for astra-rl
Users that are interested in astra-rl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An RL environment made for wildfire evacuation.☆17Apr 2, 2025Updated last year
- ☆61Oct 19, 2026Updated 2 weeks ago
- A minimal reinforcement learning environment interface with additional opt-in features.☆49Jun 7, 2023Updated 3 years ago
- A toolbox for worst-case validation of autonomous policies☆36Dec 8, 2022Updated 3 years ago
- Interface for defining discrete and continuous-space MDPs and POMDPs in python. Compatible with the POMDPs.jl ecosystem.☆26Aug 3, 2023Updated 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.
- Grammatical Evolution package for Julia.☆16Jan 25, 2016Updated 10 years ago
- ☆10Feb 8, 2021Updated 5 years ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆56Oct 27, 2026Updated last week
- Julia Package for discrete-time linear Gaussian parametric filtering systems, namely KF, EKF, UKF, GM-PHD☆50Jul 20, 2026Updated 3 months ago
- @tex macro for generating LaTeX PDFs from Julia code with descriptions☆18Aug 27, 2020Updated 6 years ago
- Efficient Large-Scale Multi-Drone Delivery Using Transit Networks☆92Jul 13, 2023Updated 3 years ago
- A set of common benchmark functions for testing optimization algorithms in Julia☆11Sep 20, 2021Updated 5 years ago
- Conflict-Based Search and Enhanced CBS in Julia☆37Feb 18, 2021Updated 5 years ago
- Basically what it says on the tin☆12Nov 22, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Visual Studio Code plugin that provide a quick open file command☆11Sep 18, 2020Updated 6 years ago
- ☆12Nov 26, 2025Updated 11 months ago
- Badges in Julia☆17Dec 9, 2025Updated 10 months ago
- A tour of Pomdpland☆10Aug 10, 2022Updated 4 years ago
- ☆16Dec 2, 2022Updated 3 years ago
- Julia library for deep reinforcement learning☆85Jun 6, 2026Updated 5 months ago
- Julia package for students in Decision Making under Uncertainty☆14Oct 4, 2026Updated last month
- An astrodynamics package for working in the three body problem☆13Oct 14, 2026Updated 3 weeks ago
- Catkin wrapper for a Bazel-free build of Tensorflow☆18Sep 2, 2018Updated 8 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.
- Vector Bazel Rules and Toolchains☆16Mar 2, 2026Updated 8 months ago
- Tool for computing unmitigated collision risk using traffic density data☆16Aug 15, 2023Updated 3 years ago
- Implementation of occupancy grid predictions via ConvLSTM video frame prediction architecture.☆19Feb 16, 2021Updated 5 years ago
- Agentic AI framework for sphinx-needs projects☆24Jul 28, 2026Updated 3 months ago
- A* Algorithm in Julia☆14Jun 23, 2026Updated 4 months ago
- Julia wrapper for the Spot LTL and automata manipulation library☆21Jan 20, 2026Updated 9 months ago
- Benchmark based on the Logical Foundations volume of [Software Foundations](https://softwarefoundations.cis.upenn.edu/)☆13Feb 20, 2026Updated 8 months ago
- Represent modular arithmetic via clock symbols☆23Nov 22, 2021Updated 4 years ago
- Lean 4 Markdown rendering library — types, rendering functions, and Represent typeclass☆14Jul 16, 2026Updated 3 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A taste of ReplicaR traffic simulation in a lighter version☆10Oct 28, 2026Updated last week
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- Bayesian Optimal Monte Carlo Planning POMDP solver☆20Jul 7, 2023Updated 3 years ago
- Notebooks paired with lectures for Stanford's AA228V course.☆21Feb 18, 2025Updated last year
- ☆21Oct 23, 2023Updated 3 years ago
- SynthTL: Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers☆12Sep 20, 2024Updated 2 years ago
- ☆18Feb 14, 2024Updated 2 years ago