AlloyTools / alloytools.github.io

Related projects: ⓘ

• tlaplus / foundation
  TLA+ Foundation
  ☆23Updated 2 months ago
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆10Updated 2 weeks ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• sdg-mit / arby
  An embedding of Alloy in Ruby
  ☆19Updated 10 years ago
• haslab / Electrum2
  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 last year
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆31Updated 4 months ago
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆124Updated 8 months ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆69Updated 6 months ago
• amazon-ion / ion-docs
  Source for the GitHub Pages for Ion.
  ☆22Updated last week
• tlaplus-community / tlauc
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
  ☆26Updated 4 months ago
• potassco / clingcon
  ⛓️ Extension of clingo to handle constraints over integers
  ☆25Updated 2 weeks ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆43Updated 2 years ago
• tlaplus / tlapm
  The TLA Proof Manager
  ☆62Updated this week
• RCHowell / Sift
  Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.
  ☆21Updated 2 years ago
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated last year
• filibuster-testing / filibuster-java-instrumentation
  Filibuster instrumentation for the JVM.
  ☆15Updated 7 months ago
• tlaplus / v2-tlapm
  The rewrite of TLAPM, the TLAPS proof manager
  ☆0Updated 5 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆37Updated 4 years ago
• openETCS / toolchain
  WP7: Top Level Project for the toolchain
  ☆26Updated 8 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆26Updated 8 months ago
• friguzzi / trill-on-swish
  The Trill probabilistic ontology reasoner on SWISH
  ☆12Updated 2 weeks ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 9 months ago
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 3 years ago
• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆40Updated 2 years ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆12Updated 2 years ago
• RDFLib / rdflib-leveldb
  A LevelDB-backed RDFLib Store for RDFLib=>6.0
  ☆16Updated 3 months ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆78Updated 3 years ago
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆113Updated 3 months ago
• haslab / Alloy4Fun
  A webapp for developing and sharing Alloy models
  ☆22Updated 3 months ago