A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal logic.
☆11Dec 21, 2020Updated 5 years ago
Alternatives and similar repositories for tracecontract
Users that are interested in tracecontract are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Actor-based Runtime Verification Tool☆19Apr 13, 2023Updated 2 years ago
- How to debug Scala implicit conversions and parameters in IntelliJ☆20Jun 29, 2018Updated 7 years ago
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Feb 2, 2016Updated 10 years ago
- ☆17Feb 19, 2025Updated last year
- The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.☆19Mar 8, 2024Updated 2 years ago
- Expressive deterministic concurrency in Scala☆15Aug 17, 2021Updated 4 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Nov 3, 2024Updated last year
- RV-Monitor core system code☆16Apr 26, 2021Updated 4 years ago
- ☆20Jun 12, 2023Updated 2 years ago
- Port of Basho's webmachine in scala, A REST-based system for building web applications☆34Dec 20, 2009Updated 16 years ago
- ☆11Dec 6, 2021Updated 4 years ago
- An event stream processor anyone can use☆29Mar 5, 2026Updated 2 weeks ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Aug 3, 2023Updated 2 years ago
- ☆10Jun 24, 2019Updated 6 years ago
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- Session programming in Scala☆58Jun 17, 2021Updated 4 years ago
- the Scala delimited continuations plugin and library☆92Jun 22, 2020Updated 5 years ago
- An implementation of "Subspace Representations for Soft Set Operations and Sentence Similarities" (NAACL 2024)☆10May 31, 2024Updated last year
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- A terminal-based citation generator☆14Jan 21, 2023Updated 3 years ago
- Firmware + tips & tricks for the Lanch HG-UV98 APRS Radio☆11May 20, 2022Updated 3 years ago
- This library has been succeeded by cats-tagless☆40Jul 4, 2018Updated 7 years ago
- Scala statecharts collection (FSM, UML)☆12Aug 14, 2021Updated 4 years ago
- Lightweight affine types and object capabilities in Scala☆32Feb 12, 2019Updated 7 years ago
- kbench is a test suite to benchmark several hash table implementations heavily based on Heng Li's udb☆12Jan 8, 2018Updated 8 years ago
- Annotation to automatically delegate/proxy implementation of interface to dependency☆12Jul 5, 2021Updated 4 years ago
- Lambda syntax for Scala EDSLs☆27Sep 18, 2023Updated 2 years ago
- actor based framework for building event driven, distributed simulations☆47Jun 25, 2024Updated last year
- Proc macros that generates both a fuzz target for use with cargo fuzz, and a property test☆19Dec 28, 2025Updated 2 months ago
- RcppDeepState, a simple way to fuzz test code in Rcpp packages☆10Oct 24, 2022Updated 3 years ago
- Take a peek at HN/知乎日报/V2EX/SBBS within Emacs☆13Jun 7, 2015Updated 10 years ago
- Aspect-oriented programming in Rust☆13Nov 1, 2021Updated 4 years ago
- My configuration and preloaded imports for Ammonite Scala REPL☆10Apr 29, 2021Updated 4 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Sep 22, 2023Updated 2 years ago
- Resumable exceptions and delimited continuations for JVM☆44May 2, 2025Updated 10 months ago
- Efficient immutable interval sets☆49Mar 9, 2020Updated 6 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Native Scala API for SODA2☆18Jan 16, 2024Updated 2 years ago
- bodhi's Debian rootfs, prepared specifically for Pogoplug V4 devices (Pogoplug Mobile and Pogoplug Series 4).☆15Jun 10, 2020Updated 5 years ago