Efficient techniques for mining LTL formulae over linear input traces
☆18Apr 12, 2023Updated 3 years ago
Alternatives and similar repositories for texada
Users that are interested in texada are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A replicated key value store that achieves eventual consistency through the use of conflict-free replicated data types (CRDTs). Individua…☆12Mar 2, 2021Updated 5 years ago
- ☆18May 31, 2024Updated 2 years ago
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Aug 21, 2020Updated 6 years ago
- All source code for the QuAC tool proposed in the OOPSLA 2024 paper "QuAC: Quick Attribute-Centric Type Inference for Python." NOTE: This…☆11Oct 3, 2024Updated 2 years ago
- vRAG: Verified Code Synthesis with Retrieval-Augmented Generation [FSE-2024]☆56Jun 9, 2024Updated 2 years ago
- 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.
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆62Apr 1, 2024Updated 2 years ago
- ☆19Jun 29, 2018Updated 8 years ago
- Modbat is a model-based API tester for stateful systems.☆23May 17, 2023Updated 3 years ago
- An LLM-first programming language.☆37Oct 6, 2025Updated last year
- Bayesian inference of linear temporal logic (LTL) specifications to explain differences across two sets of traces☆10Nov 19, 2019Updated 6 years ago
- Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems"☆14Jan 29, 2024Updated 2 years ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆26Jun 21, 2022Updated 4 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 9 years ago
- Repository for reproducing `Model-Based Robust Deep Learning`☆17Jan 22, 2021Updated 5 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.
- Dafny examples☆10Apr 2, 2018Updated 8 years ago
- Quantum circuits compiler with staging and continuations☆18Nov 19, 2024Updated last year
- ICSE2021 Submission☆13Aug 28, 2022Updated 4 years ago
- ☆11Mar 22, 2024Updated 2 years ago
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆15Jun 17, 2024Updated 2 years ago
- Effect monads with specifications (DIjkstra Monads) in Lean 4☆12Feb 18, 2024Updated 2 years ago
- A tool to visualize distributed system logs☆91Dec 1, 2021Updated 4 years ago
- ☆17Nov 11, 2021Updated 4 years ago
- A tool for auditing Rust crates☆48Updated this week
- 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.
- Lean formalization of extended regular expressions with lookarounds☆10Oct 18, 2026Updated last week
- A vector clock implementation for node.js☆14Apr 6, 2014Updated 12 years ago
- Data processing pipelines☆14Updated this week
- ☆11Oct 22, 2020Updated 6 years ago
- LLVM IR Binding for Rust☆14Nov 16, 2020Updated 5 years ago
- Automated Testing Tool for Graph-processing Systems.☆12Jul 31, 2026Updated 2 months ago
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 4 years ago
- Calculate any index of the Cartesian Product of any number of sequences in no time!☆10Oct 12, 2020Updated 6 years ago
- Working through the Book Lisp In Small Pieces☆13Jun 8, 2022Updated 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. Zero configuration with optimized deployments.
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 6 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- Tools for record-and-replay debugging☆45Mar 9, 2023Updated 3 years ago
- DafnyBench: A Benchmark for Formal Software Verification☆69Dec 12, 2024Updated last year
- KLEE Symbolic Execution Engine☆10Jan 31, 2026Updated 8 months ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 3 years ago
- Watch a simulation of emoji Rock, Paper, Scissors battle it out.☆11Aug 9, 2021Updated 5 years ago