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:
- 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 last week
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Symbolic formula representation and solver interaction library☆169Updated last 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
- Convert TLA+ output (and values) into JSON☆27Updated 4 years ago
- Stroll: an experimental build system☆41Updated 2 years ago
- Edison: A Library of Efficient Data Structures☆56Updated 6 months ago
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- LVC verified compiler☆58Updated 7 years ago
- Proposed documentation for alloytools.org☆71Updated last month
- Forward build system with speculation and caching☆108Updated 2 years ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆136Updated 4 months ago
- A Haskell program and library to derive instances for data types☆25Updated 5 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆40Updated 5 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- A Datalog extension to reason about time with CTL operators☆14Updated 5 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated last year
- ☆38Updated 6 years ago
- Embedded specification language & model checker in Haskell☆175Updated 6 months ago
- Jupyter notebooks☆58Updated 11 months ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆33Updated 6 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated last year
- CLI-driven TLA+ project template☆43Updated 6 years ago
- A domain-specific language for state machines.☆129Updated 6 years ago
- Simple LaTeX☆17Updated last year