MoonLight: a light-weight framework for runtime monitoring.
☆20Jan 25, 2026Updated 2 months ago
Alternatives and similar repositories for moonlight
Users that are interested in moonlight are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆62May 28, 2024Updated last year
- A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.☆42Jan 3, 2026Updated 3 months ago
- A hardware model checker for hyperproperties☆18Jun 14, 2024Updated last year
- POLAR official tool☆21Feb 13, 2026Updated last month
- ☆12Mar 24, 2023Updated 3 years 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.
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆16Dec 20, 2018Updated 7 years ago
- Reimplementation of graph neural network based generation model, HDMapGen☆20Jul 23, 2024Updated last year
- A Toolbox For Polytopic Objects, Operations, and Containment Problems☆25Jan 3, 2025Updated last year
- Script to calculate the normalized compression distance of sets of files. It also tries to parallize the work over the available processo…☆18Apr 13, 2015Updated 10 years ago
- ☆10Feb 21, 2019Updated 7 years ago
- TChecker is an open-source verification tool for timed automata☆25Dec 9, 2025Updated 4 months ago
- An implementation of "Subspace Representations for Soft Set Operations and Sentence Similarities" (NAACL 2024)☆10May 31, 2024Updated last year
- Take a peek at HN/知乎日报/V2EX/SBBS within Emacs☆13Jun 7, 2015Updated 10 years ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆28Mar 21, 2023Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- SAT solver for education☆26Nov 1, 2022Updated 3 years ago
- MNIST is the de facto “hello world” dataset of computer vision. In this competition, our goal is to correctly identify digits from a data…☆15May 3, 2020Updated 5 years ago
- Aspect-oriented programming in Rust☆14Nov 1, 2021Updated 4 years ago
- ☆17Sep 21, 2016Updated 9 years ago
- The repository hosts the code for the SBST CPS Tool competition for testing autonomous cars.☆21Nov 4, 2022Updated 3 years ago
- Boost.org logic module☆12Mar 11, 2026Updated last month
- Agent based simulation framework for validating planners in automated driving synthetic scenarios. This examples demonstrates overtake ma…☆11Nov 26, 2019Updated 6 years ago
- Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming.☆14Jun 28, 2021Updated 4 years ago
- Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)☆12Dec 16, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Some implementations of estimation algorithms from Thrun's Probabilistic Robotics☆16Dec 20, 2017Updated 8 years ago
- [IEEE IV 2024] Official implementation of paper "Chat2Scenario: Scenario Extraction From Dataset Through Utilization of Large Language Mo…☆32Jan 15, 2025Updated last year
- 将棋の棋譜ファイルの構文に色を付けるEmacs用のモード☆12Jan 28, 2024Updated 2 years ago
- Homebrew formulas for Mopidy and Mopidy extensions☆23Jun 25, 2025Updated 9 months ago
- ☆18Jul 6, 2023Updated 2 years ago
- BIO: A vocabulary for biographical information☆22Mar 21, 2012Updated 14 years ago
- A collection of slides of the SMT course I held at University of Milan in fall 2011☆10Mar 14, 2015Updated 11 years ago
- A pandoc custom writer and template for SATySFi☆10Updated this week
- SATySFi package for flexible ordered/unordered/description lists.☆15Nov 23, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆11Apr 11, 2020Updated 6 years ago
- ☆15Apr 26, 2021Updated 4 years ago
- Anything we need to maintain the Linked Open Data (LOD) publication of CEUR-WS.org☆16Jun 10, 2020Updated 5 years ago
- [ICML 2022] Robust Deep Reinforcement Learning through Bootstrapped Opportunistic Curriculum☆11Jul 15, 2022Updated 3 years ago
- Implementation for paper Automata Extraction from Transformers.☆12Jun 8, 2024Updated last year
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago