Alternatives and similar repositories for fbpmn

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

• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 3 weeks ago
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆136Updated 3 months ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated 2 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆63Updated 5 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• lorin / alb-alloy
  Modeling AWS application load balancers using Alloy
  ☆13Updated 3 years ago
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆113Updated last year
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 4 years ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆32Updated 11 months ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆159Updated 6 months ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 3 months ago
• japgolly / tla2json
  Convert TLA+ output (and values) into JSON
  ☆27Updated 4 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated 2 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆272Updated 11 months ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆36Updated 5 years ago
• david-pfx / Andl
  Andl is A New Database Language
  ☆75Updated 9 years ago
• rupertlssmith / hak_wambook
  Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.
  ☆28Updated 8 years ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 3 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆32Updated last year
• prologbyexample / code
  ☆31Updated 2 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 11 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• kelvich / tlaplus_jupyter
  Jupyter kernel for TLA⁺
  ☆120Updated 3 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆70Updated 7 months ago