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 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…
  ☆138Updated 6 months ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆85Updated last week
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆116Updated last year
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 3 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆64Updated 6 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 10 months ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 9 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆159Updated 3 weeks ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆36Updated 6 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆107Updated last year
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆116Updated 7 years ago
• japgolly / tla2json
  Convert TLA+ output (and values) into JSON
  ☆27Updated 4 years ago
• aarroyoc / teruel
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆19Updated last year
• monte-language / typhon
  A virtual machine for Monte.
  ☆68Updated 2 months ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆276Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆29Updated 3 years ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆33Updated last year
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated last year
• enso-lang / enso
  ☆71Updated 5 years ago
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆190Updated 5 years ago
• david-pfx / Andl
  Andl is A New Database Language
  ☆76Updated 9 years ago
• will62794 / tlaplus_animation
  A TLA+ module for animating TLC traces.
  ☆47Updated last year
• kelvich / tlaplus_jupyter
  Jupyter kernel for TLA⁺
  ☆120Updated 3 years ago