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
  ☆80Updated 4 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆70Updated 9 months ago
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆134Updated 2 months ago
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆114Updated last year
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated last year
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• 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
• aarroyoc / teruel
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆18Updated last year
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆271Updated 10 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆159Updated 5 months ago
• lorin / alb-alloy
  Modeling AWS application load balancers using Alloy
  ☆13Updated 3 years ago
• david-pfx / Andl
  Andl is A New Database Language
  ☆75Updated 9 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆101Updated last year
• gsdlab / clafer
  Clafer is a lightweight modeling language
  ☆47Updated 6 months ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 9 months ago
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated last year
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆62Updated 5 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆32Updated 9 months ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆50Updated 8 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆70Updated 6 months ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 3 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆114Updated 7 years ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆32Updated last year