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:
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Core components for the Scribble Java tools☆58Updated last year
- LVC verified compiler☆58Updated 7 years 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 …☆48Updated 2 years ago
- 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 …☆115Updated last week
- A model checker for relational first-order temporal specifications☆28Updated 4 years ago
- Symbolic formula representation and solver interaction library☆171Updated this week
- Proposed documentation for alloytools.org☆71Updated 3 months ago
- Stroll: an experimental build system☆41Updated 2 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
- Convert TLA+ output (and values) into JSON☆27Updated 4 years ago
- Forward build system with speculation and caching☆110Updated 2 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated last year
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆40Updated 5 years ago
- Embedded specification language & model checker in Haskell☆179Updated 7 months ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Compilation and Verification of Data-Centric Languages☆58Updated last year
- Haskell In New Clothes☆110Updated 5 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 4 months ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 5 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated last year
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- every day i'm truffling☆70Updated 4 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- A domain-specific language for state machines.☆129Updated 6 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 6 years ago
- ☆47Updated 8 years ago
- Jupyter notebooks☆58Updated last month
- Hask Anything! is a website aimed at collecting and organizing the collective knowledge of the Haskell community.☆17Updated 6 years ago