A model checker for relational first-order temporal specifications
☆29Jul 6, 2021Updated 4 years ago
Alternatives and similar repositories for Electrum
Users that are interested in Electrum are comparing it to the libraries listed below
Sorting:
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆49Jan 30, 2023Updated 3 years ago
- Kodkod solver for relational logic☆85Jul 4, 2023Updated 2 years ago
- Factor Graph Grammars in Python☆13Jan 17, 2026Updated last month
- AST factorization: transformation AST of Kotlin source code to a vector☆11Oct 17, 2019Updated 6 years ago
- Modeling DNS with Alloy☆37Dec 6, 2021Updated 4 years ago
- Efficient search weighted by an ordered monoid with monus.☆19Dec 12, 2022Updated 3 years ago
- Clojure code editor wrapping Flense☆22May 8, 2015Updated 10 years ago
- MetaDL: Datalog analyzing Datalog, Java or any language of your choice☆16Jun 27, 2025Updated 8 months ago
- United Monoids☆24Oct 2, 2022Updated 3 years ago
- Beating the CAP theorem with the epidemic register☆17Jul 15, 2020Updated 5 years ago
- My own playground for PLP (Programming Language Processing) using DeepLearning techniques☆19Apr 12, 2023Updated 2 years ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Aug 3, 2023Updated 2 years ago
- EPMC: An Extendible Probabilistic Model Checker☆19Jan 13, 2025Updated last year
- ☆18Jun 28, 2019Updated 6 years ago
- ☆20Jun 12, 2023Updated 2 years ago
- Tools for conformance monitoring on Kubernetes with TLA+☆23Jun 26, 2024Updated last year
- Trivial/Tagless Polytypic Functions☆23Apr 14, 2020Updated 5 years ago
- The Termination Problem Database☆29Aug 20, 2025Updated 6 months ago
- Codo notation for programming with comonads in Haskell☆25Jan 24, 2021Updated 5 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Oct 14, 2011Updated 14 years ago
- FRP with 3DF and Differential Dataflow.☆27Aug 30, 2019Updated 6 years ago
- Prep a new switch instantly.☆20Aug 20, 2017Updated 8 years ago
- Language Server Protocol for Zig☆27Nov 15, 2019Updated 6 years ago
- Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from findin…☆820Jun 13, 2025Updated 8 months ago
- Alloy with browser-based visualizations☆30Jun 16, 2021Updated 4 years ago
- A graduate seminar on SMT solving and solver-aided systems☆29Jul 17, 2022Updated 3 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆27Mar 20, 2021Updated 4 years ago
- Partial Commutative Monoids☆32Feb 18, 2026Updated last week
- Call Julia code from Prolog☆27Nov 11, 2022Updated 3 years ago
- Type Your Matrices For Great Good☆29Jul 22, 2020Updated 5 years ago
- Scala implementation of ILC, with benchmarks☆27Jul 5, 2016Updated 9 years ago
- SMTInterpol interpolating SMT solver☆70Feb 19, 2026Updated last week
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 4 years ago
- Linux open by handle based VFS implementation for nfs4j☆13Oct 24, 2025Updated 4 months ago
- Collection of Automated Reasoners☆35Dec 9, 2025Updated 2 months ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆138Jun 16, 2025Updated 8 months ago
- EOSIO-Taurus - The Most Powerful Infrastructure for Decentralized Applications☆13Mar 29, 2024Updated last year
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Nov 28, 2018Updated 7 years ago
- A plugin for code generation in PyCharm/IntelliJ using tranX☆36Sep 22, 2025Updated 5 months ago