pascalpoizat / fbpmn

Related projects ⓘ

Alternatives and complementary repositories for fbpmn

• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆27Updated 3 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆31Updated 6 months ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆37Updated 4 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆69Updated last week
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 9 years ago
• hpi-swa / Gramada
  Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…
  ☆15Updated 4 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆29Updated last month
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆90Updated 6 months ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated last year
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆67Updated last year
• enso-lang / enso
  ☆71Updated 4 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆85Updated this week
• lostbearlabs / tiny-tlaplus-examples
  Very small examples of TLA+ features.
  ☆43Updated 5 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆33Updated 5 months ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆22Updated 3 weeks ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated last year
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆35Updated 2 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆29Updated 6 months ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• will62794 / tlaplus_animation
  A TLA+ module for animating TLC traces.
  ☆45Updated 4 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆33Updated 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…
  ☆126Updated 10 months ago