Alternatives and similar repositories for TOPLAS19_Artifact

Users that are interested in TOPLAS19_Artifact are comparing it to the libraries listed below

• lostbearlabs / tiny-tlaplus-examples
  Very small examples of TLA+ features.
  ☆42Updated 6 years ago
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 6 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆60Updated 6 years ago
• racket / datalog
  ☆49Updated 2 months ago
• jamesbvaughan / httppl
  A simple http server written in Prolog
  ☆30Updated 9 years ago
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 9 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• feeley / etos
  Erlang to Scheme compiler
  ☆39Updated 13 years ago
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆138Updated 7 months ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆159Updated last month
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆123Updated 8 years ago
• jemc / pony-crdt
  Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.
  ☆39Updated 6 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• n3mo / data-science
  Data science tooling for Racket
  ☆84Updated 6 years ago
• tnelson / FlowLog
  ☆17Updated 10 years ago
• mrc / tla-tools
  TLA+ tools for Emacs
  ☆36Updated last year
• cmeiklejohn / partisan-usenix-atc-2019
  Experimental evaluation for the Partisan paper at USENIX ATC 2019.
  ☆23Updated 6 years ago
• cauterize-tools / cauterize
  Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.
  ☆46Updated 8 years ago
• kaelzhang81 / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆66Updated 6 years ago
• vitorenesduarte / exp
  Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb
  ☆15Updated 4 years ago
• mukeshtiwari / Idris
  Codes related to Idris
  ☆16Updated 10 years ago
• softdevteam / krun
  High fidelity benchmark runner
  ☆91Updated 4 years ago
• brandonwillard / loghyc
  Loghyc - a miniKanren implementation in Hy
  ☆89Updated 5 years ago
• Porges / programming-history
  Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.
  ☆45Updated 7 years ago
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆78Updated 2 years ago
• larsyencken / marelle
  Test-driven system administration with a little extra logic.
  ☆389Updated 7 years ago
• stamourv / s3
  A Scheme TCP/IP Stack Targeting Small Embedded Applications
  ☆25Updated 12 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 10 years ago
• kelvich / tlaplus_jupyter
  Jupyter kernel for TLA⁺
  ☆121Updated 3 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago