aleksandarmilicevic / holaLinks
Alloy*---Higher Order Logic for Alloy
☆36Updated 6 years ago
Alternatives and similar repositories for hola
Users that are interested in hola are comparing it to the libraries listed below
Sorting:
- A Datalog extension to reason about time with CTL operators☆14Updated 6 years ago
- Core components for the Scribble Java tools☆58Updated last year
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Convert TLA+ output (and values) into JSON☆27Updated 4 years ago
- A model checker for relational first-order temporal specifications☆28Updated 4 years ago
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)☆27Updated 3 years ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆138Updated 6 months ago
- LVC verified compiler☆60Updated 7 years ago
- Stroll: an experimental build system☆41Updated 2 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated last year
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated this week
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆48Updated 2 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 6 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆40Updated 5 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …☆24Updated 12 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 10 years ago
- Symbolic formula representation and solver interaction library☆171Updated 3 weeks ago
- A Haskell program and library to derive instances for data types☆25Updated 5 years ago
- Forward build system with speculation and caching☆110Updated 2 years ago
- QuickCheck extras.☆29Updated 6 years ago
- Haskell distributed stream processing with exactly-once semantics☆92Updated 11 years ago
- Edison: A Library of Efficient Data Structures☆57Updated last week
- Haskell's Core in K.☆20Updated 8 years ago
- Proposed documentation for alloytools.org☆71Updated 3 months ago
- Clafer is a lightweight modeling language☆47Updated 10 months ago
- Jupyter notebooks☆58Updated last month