sdg-mit / arby

Related projects: ⓘ

• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆40Updated 2 years ago
• cjheath / activefacts
  A fact-based semantic modeling and query language (CQL) and application runtime (the Constellation API)
  ☆54Updated 5 years ago
• jsl / ruby_ukanren
  A port of microKanren to Ruby
  ☆27Updated 9 years ago
• enso-lang / enso
  ☆71Updated 4 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 9 years ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆20Updated last year
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆56Updated 4 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• orc-lang / orc
  Orc programming language implementation
  ☆40Updated 2 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆37Updated 4 years ago
• gsdlab / clafer
  Clafer is a lightweight modeling language
  ☆44Updated 9 months ago
• pascalpoizat / fbpmn
  formal tools for BPMN
  ☆34Updated 5 months ago
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆22Updated 5 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• tlaplus / v2-tlapm
  The rewrite of TLAPM, the TLAPS proof manager
  ☆0Updated 5 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• acunniffe / marvin
  Learn the structure of a programming language from examples. "Brain the size of a planet and they just have me reading code"
  ☆19Updated 5 years ago
• alexwarth / roomdb
  A Datalog-style database that enables programmers to represent facts using natural language
  ☆51Updated last year
• swift-nav / wolf
  Wolf is a wrapper around Amazon Simple Workflow Service.
  ☆16Updated last year
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆78Updated 3 years ago
• hdante / picat-lang
  ☆16Updated this week
• NeuralCoder3 / transpilation
  A summary of ideas about transpilation -- work in progress
  ☆17Updated last year
• softdevteam / libkalibera
  libkalibera
  ☆17Updated 2 years ago
• mro / librdf.sqlite
  ☆21Updated this week
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆10Updated 2 weeks ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆26Updated 3 years ago
• prologbyexample / code
  ☆26Updated last year
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 12 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 2 years ago
• patrickt / bracer
  a language workbench for parsing and transforming curly-brace languages
  ☆42Updated 8 years ago