aleksandarmilicevic / holaLinks
Alloy*---Higher Order Logic for Alloy
☆36Updated 5 years ago
Alternatives and similar repositories for hola
Users that are interested in hola are comparing it to the libraries listed below
Sorting:
- LVC verified compiler☆58Updated 6 years ago
- Core components for the Scribble Java tools☆57Updated last year
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated 2 weeks ago
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆47Updated 2 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated last year
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Symbolic formula representation and solver interaction library☆169Updated last week
- Stroll: an experimental build system☆41Updated 2 years ago
- A Datalog extension to reason about time with CTL operators☆14Updated 5 years ago
- Proposed documentation for alloytools.org☆71Updated last month
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- A model checker for relational first-order temporal specifications☆27Updated 4 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆40Updated 5 years ago
- Embedded specification language & model checker in Haskell☆175Updated 5 months ago
- ☆41Updated 10 years ago
- Clafer is a lightweight modeling language☆47Updated 7 months ago
- A domain-specific language for state machines.☆129Updated 6 years ago
- Edison: A Library of Efficient Data Structures☆56Updated 5 months ago
- ☆38Updated 6 years ago
- CLI-driven TLA+ project template☆43Updated 6 years ago
- Convert TLA+ output (and values) into JSON☆27Updated 4 years ago
- a capability-based system☆40Updated 7 years ago
- A graphical interactive proof assistant designed for education☆169Updated 10 months ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆136Updated 3 months ago
- A Haskell program and library to derive instances for data types☆25Updated 5 years ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- Jupyter notebooks☆58Updated 10 months ago