Efficient techniques for mining LTL formulae over linear input traces
☆18Apr 12, 2023Updated 2 years ago
Alternatives and similar repositories for texada
Users that are interested in texada are comparing it to the libraries listed below
Sorting:
- A light-weight library for manual distributed system tracing☆11Feb 2, 2022Updated 4 years ago
- A replicated key value store that achieves eventual consistency through the use of conflict-free replicated data types (CRDTs). Individua…☆11Mar 2, 2021Updated 5 years ago
- ☆17May 31, 2024Updated last year
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Aug 21, 2020Updated 5 years ago
- Verify the communication of your microservices by writing contracts for your RPCs☆16Nov 8, 2020Updated 5 years ago
- Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems☆15Nov 14, 2016Updated 9 years ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆55Jun 9, 2024Updated last year
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆58Apr 1, 2024Updated last year
- A tool for auditing Rust crates☆34Feb 10, 2026Updated last month
- Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems"☆14Jan 29, 2024Updated 2 years ago
- DafnyBench: A Benchmark for Formal Software Verification☆59Dec 12, 2024Updated last year
- This is a read-only mirror of the CRAN R package repository. arulesSequences — Mining Frequent Sequences☆10Nov 25, 2025Updated 3 months ago
- ☆10May 10, 2019Updated 6 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆13Jun 17, 2024Updated last year
- Open-source, Cloud-native Streams☆12Apr 7, 2021Updated 4 years ago
- ICSE2021 Submission☆13Aug 28, 2022Updated 3 years ago
- Repository for reproducing `Model-Based Robust Deep Learning`☆16Jan 22, 2021Updated 5 years ago
- ☆11Mar 22, 2024Updated last year
- A Computational Graph Generator for AI Compiler Fuzzing☆16May 31, 2023Updated 2 years ago
- ☆11Oct 22, 2020Updated 5 years ago
- super easy interactive html animations.☆34Apr 30, 2023Updated 2 years ago
- The ExpressOS kernel☆17Jun 7, 2013Updated 12 years ago
- Working through the Book Lisp In Small Pieces☆13Jun 8, 2022Updated 3 years ago
- Libraries useful for Dafny programs☆49Aug 19, 2025Updated 7 months ago
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 3 years ago
- An Eulerian fluid simulation written in Rust to learn the language☆13Mar 16, 2024Updated 2 years ago
- cSPADE: mining frequent sequence patterns with constraints (extension of SPADE)☆12Jul 15, 2020Updated 5 years ago
- https://www.text-mining.ro/ demonstrates how to design & implement a Web Search Engine☆19Mar 2, 2026Updated 2 weeks ago
- Latest PASTE (NSDI'18) repository☆13May 2, 2022Updated 3 years ago
- ☆12Jul 1, 2025Updated 8 months ago
- Tools for record-and-replay debugging☆44Mar 9, 2023Updated 3 years ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆17Oct 6, 2023Updated 2 years ago
- Frequent subgraph mining using FFSM algorithm, C++☆11Jan 15, 2018Updated 8 years ago
- POC of CVE-2025-7783☆31Oct 31, 2025Updated 4 months ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- multi-shot continuations in OCaml☆52Nov 21, 2025Updated 3 months ago
- Vulkan-ethminer is the first an Ethash/Etcash GPU mining worker based on Vulkan. It supports windows, linux and macOS.☆13Aug 19, 2024Updated last year
- A mod for SPORE that adds mining and crafting,☆14Jan 5, 2026Updated 2 months ago