HarvardPL / AbcDatalog

Related projects: ⓘ

• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆75Updated 6 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆149Updated 2 weeks ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆67Updated last year
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆32Updated 3 weeks ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆39Updated last month
• rewriting / tom
  ☆34Updated 3 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆127Updated last month
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated 11 months ago
• cwi-swat / aterms
  The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …
  ☆23Updated 11 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆72Updated last year
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆31Updated 2 months ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆31Updated 2 weeks ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated 5 months ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆36Updated last week
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆26Updated 3 years ago
• nickmain / cchr
  Copy of the CCHR Constraint Handling Rules implementation in C
  ☆20Updated 2 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆89Updated 3 years ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• neilgall / KotlinKanren
  Port of SwiftyKanren to Kotlin
  ☆17Updated 3 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆121Updated 3 years ago
• orc-lang / orc
  Orc programming language implementation
  ☆40Updated 2 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated 11 months ago
• rupertlssmith / hak_wambook
  Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.
  ☆26Updated 7 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆87Updated 7 months ago
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆41Updated 2 years ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆107Updated 2 years ago
• enso-lang / enso
  ☆71Updated 4 years ago
• s-webber / projog
  Prolog programming for the Java platform.
  ☆34Updated 8 months ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 6 years ago
• TiarkRompf / lms-clean
  ☆54Updated last year