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. 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…☆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☆16Nov 14, 2016Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆55Jun 9, 2024Updated last year
- All source code for the QuAC tool proposed in the OOPSLA 2024 paper "QuAC: Quick Attribute-Centric Type Inference for Python." NOTE: This…☆13Oct 3, 2024Updated last year
- A tool for auditing Rust crates☆34Updated this week
- An LLM-first programming language.☆33Oct 6, 2025Updated 6 months ago
- Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems"☆14Jan 29, 2024Updated 2 years ago
- DPO-SYNT: Discrete Control Synthesis for Partially-Observed Systems☆12Jun 11, 2018Updated 7 years ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆26Jun 21, 2022Updated 3 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 4 months ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- ☆10May 10, 2019Updated 6 years ago
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆14Jun 17, 2024Updated last year
- ICSE2021 Submission☆13Aug 28, 2022Updated 3 years ago
- ☆11Mar 22, 2024Updated 2 years ago
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 5 years ago
- ☆11Oct 22, 2020Updated 5 years ago
- The ExpressOS kernel☆17Jun 7, 2013Updated 12 years ago
- Libraries useful for Dafny programs☆49Aug 19, 2025Updated 7 months ago
- cSPADE: mining frequent sequence patterns with constraints (extension of SPADE)☆12Jul 15, 2020Updated 5 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.
- Grammar synthesis algorithm using a black box oracle☆37May 17, 2024Updated last year
- Latest PASTE (NSDI'18) repository☆13May 2, 2022Updated 3 years ago
- Zing : An explicit state model checker for concurrent and message passing programs.☆16Dec 1, 2016Updated 9 years 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…☆16Oct 6, 2023Updated 2 years ago
- Frequent subgraph mining using FFSM algorithm, C++☆11Jan 15, 2018Updated 8 years ago
- Nimiq OpenCL GPU Mining Client☆12Jan 7, 2023Updated 3 years ago
- POC of CVE-2025-7783☆32Oct 31, 2025Updated 5 months ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Ethereum Dagger mining simulator. Tests impact of growing DAG size on Hashrate.☆13Apr 17, 2016Updated 9 years ago
- A mod for SPORE that adds mining and crafting,☆14Jan 5, 2026Updated 3 months ago
- A framework for evaluating community mining algorithms.☆10Mar 9, 2016Updated 10 years ago
- CPU-mining available. Get 1m TRLN for free.☆14Jul 14, 2018Updated 7 years ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- template for https://cnli.me☆10Feb 27, 2025Updated last year
- Algorithms for Mining Frequent Trees (in Tree Structured Datasets)☆10Mar 28, 2020Updated 6 years ago