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
Sorting:
- How to debug Scala implicit conversions and parameters in IntelliJ☆20Jun 29, 2018Updated 7 years ago
- The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.☆19Mar 8, 2024Updated last year
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Feb 2, 2016Updated 10 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Nov 3, 2024Updated last year
- ☆17Feb 19, 2025Updated last year
- Expressive deterministic concurrency in Scala☆15Aug 17, 2021Updated 4 years ago
- ☆20Jun 12, 2023Updated 2 years ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Aug 3, 2023Updated 2 years ago
- RV-Monitor core system code☆16Apr 26, 2021Updated 4 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Sep 22, 2023Updated 2 years ago
- This library has been succeeded by cats-tagless☆40Jul 4, 2018Updated 7 years ago
- Lightweight affine types and object capabilities in Scala☆32Feb 12, 2019Updated 7 years ago
- Lambda syntax for Scala EDSLs☆27Sep 18, 2023Updated 2 years ago
- An event stream processor anyone can use☆29Updated this week
- 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
- ☆43Sep 1, 2021Updated 4 years ago
- Charity Programming Language☆41Apr 14, 2015Updated 10 years ago
- (Abstract) Abstract Machine Experiments using Scala☆36Jan 15, 2021Updated 5 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- Runtime verification tool for Solidity smart contracts.☆35Mar 29, 2023Updated 2 years ago
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- Annotated Scala version of Oleg's Typed Tagless Final Interpreters: Lecture Notes☆32Aug 20, 2017Updated 8 years ago
- ☆11Apr 28, 2023Updated 2 years ago
- tool for postgres to automatically build rest services and web forms☆13Feb 17, 2026Updated last week
- SCIM 2.0 JAVA development kit☆17May 2, 2025Updated 10 months ago
- the Scala delimited continuations plugin and library☆91Jun 22, 2020Updated 5 years ago
- T2 Temporal Prover☆96Feb 12, 2018Updated 8 years ago
- A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.☆41Jan 3, 2026Updated last month
- EventMachine based HTTP Request interface☆18Feb 17, 2009Updated 17 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Auth0 FGA SDK for Go - Use https://github.com/openfga/go-sdk instead☆13Feb 23, 2024Updated 2 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- ☆10Nov 23, 2024Updated last year
- Research_speech_speaker_verification_nist_sre2010☆12Mar 1, 2016Updated 10 years ago
- Resumable exceptions and delimited continuations for JVM☆44May 2, 2025Updated 10 months ago
- Analysis tool for Solidity smart contracts. Prototype.☆35Nov 7, 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
- A Pub/Sub library for Rust backed by Postgres☆17Oct 3, 2023Updated 2 years ago