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 4 years ago
- Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems☆15Nov 14, 2016Updated 9 years ago
- A collaborative machine learning framework that operates through Tor.☆13Jun 1, 2020Updated 5 years ago
- Verify the communication of your microservices by writing contracts for your RPCs☆16Nov 8, 2020Updated 5 years ago
- ☆17May 31, 2024Updated last year
- A tool for auditing Rust crates☆26Feb 10, 2026Updated 2 weeks ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆26Jun 21, 2022Updated 3 years ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆55Jun 9, 2024Updated last year
- Modbat is a model-based API tester for stateful systems.☆23May 17, 2023Updated 2 years ago
- An LLM-first programming language.☆33Oct 6, 2025Updated 4 months ago
- Data processing pipelines☆13Feb 9, 2026Updated 2 weeks ago
- This is a read-only mirror of the CRAN R package repository. arulesSequences — Mining Frequent Sequences☆10Nov 25, 2025Updated 3 months ago
- SPBench: A Framework for Benchmarking Stream Processing Applications☆11Dec 16, 2025Updated 2 months ago
- A mod for SPORE that adds mining and crafting,☆14Jan 5, 2026Updated last month
- template for https://cnli.me☆10Feb 27, 2025Updated last year
- Calculate any index of the Cartesian Product of any number of sequences in no time!☆10Oct 12, 2020Updated 5 years ago
- ☆10May 30, 2018Updated 7 years ago
- Inferring models of systems from observations of their behavior☆86Sep 6, 2022Updated 3 years ago
- Auxiliary variable Markov chain Monte Carlo methods☆10Oct 24, 2017Updated 8 years ago
- Go basic utility library with futures, iterators, pubsub programming, ergonomic data types, and pipeline programming. Has no third-party …☆12Feb 13, 2026Updated 2 weeks ago
- WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.☆10May 10, 2017Updated 8 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
- Python script for crawling ResearchGate.net papers.✨⭐️📎☆11Feb 4, 2022Updated 4 years ago
- super easy interactive html animations.☆34Apr 30, 2023Updated 2 years ago
- Open-source, Cloud-native Streams☆12Apr 7, 2021Updated 4 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- ☆12Oct 21, 2020Updated 5 years ago
- A Python wrapper for the bbhash library for Minimal Perfect Hashing☆19Oct 26, 2025Updated 4 months ago
- Extract Book from taaghche.com☆11Sep 15, 2022Updated 3 years ago
- ☆10Apr 20, 2020Updated 5 years ago
- Latest PASTE (NSDI'18) repository☆13May 2, 2022Updated 3 years ago
- book for Halide language programming☆13Sep 8, 2021Updated 4 years ago
- Fast and Computationally efficient Continual Learning for NanoDet anchor-free Object Detector☆12Dec 16, 2024Updated last year
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- The EM Algorithm for Gaussian Mixtures （高斯混合模型的EM算法实现）☆12Dec 30, 2018Updated 7 years ago
- A curated list of awesome open source technology, article, journal for antipattern and codesmells☆13Jul 2, 2024Updated last year
- C# library based on Python 3 itertools☆10Jan 20, 2022Updated 4 years ago
- Load/Convert multiple GEOIP CSV databases into Redis via IP2Location format.☆11Mar 7, 2023Updated 2 years ago