aleksandarmilicevic / holaLinks
Alloy*---Higher Order Logic for Alloy
☆37Updated 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☆56Updated 8 months ago
- A script for running TLA+/TLC from the command line☆80Updated 4 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 …☆49Updated 2 years ago
- LVC verified compiler☆57Updated 6 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- Symbolic formula representation and solver interaction library☆161Updated 2 months ago
- Jupyter notebooks☆58Updated 6 months ago
- A model checker for relational first-order temporal specifications☆27Updated 3 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- ☆41Updated 10 years ago
- ☆60Updated 5 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated 2 weeks ago
- Compilation and Verification of Data-Centric Languages☆58Updated 10 months ago
- Verified hash-based AMQ structures in Coq☆123Updated 5 years ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 8 years ago
- Define communication protocols between applications using algebraic data types.☆45Updated 2 years ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆121Updated 3 years ago
- Convert TLA+ output (and values) into JSON☆26Updated 4 years ago
- Proposed documentation for alloytools.org☆70Updated 6 months ago
- Library-based Language Extensibility☆39Updated 10 years ago
- Idris LLVM codegen factored out☆80Updated 7 years ago
- A logical authorization system☆51Updated 3 years ago
- Haskell distributed stream processing with exactly-once semantics☆90Updated 10 years ago
- every day i'm truffling☆70Updated 4 years ago
- A compiler, testing bed, and standard library for the Choral programming language.☆28Updated last month
- ☆38Updated 5 years ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)☆27Updated 2 years ago
- Accepted papers for ICFP 2015☆45Updated 9 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 7 years ago