Alternatives and similar repositories for Jatalog:

Users that are interested in Jatalog are comparing it to the libraries listed below

• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆58Updated 3 months ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆35Updated last week
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆40Updated last month
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆33Updated last month
• cesquivias / mumbler
  My experimental programming language using Truffle
  ☆110Updated 4 years ago
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated last year
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆46Updated 2 years ago
• jiprolog / jiprolog
  JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
  ☆132Updated 3 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated 10 months ago
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆175Updated 3 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆122Updated 3 years ago
• biboudis / streamalg
  Extensible stream pipelines with object algebras.
  ☆26Updated 9 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated 7 months ago
• neilgall / KotlinKanren
  Port of SwiftyKanren to Kotlin
  ☆17Updated 4 years ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆54Updated last week
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆41Updated 3 years ago
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆220Updated 2 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆67Updated 2 years ago
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 8 years ago
• hypirion / pvec-perf
  Persistent vector performance measurements and analysis
  ☆22Updated 10 years ago
• acieroid / scala-am
  (Abstract) Abstract Machine Experiments using Scala
  ☆34Updated 4 years ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆110Updated 3 years ago
• epfldata / dblab
  A framework for building database systems by high-level programming, and getting really good performance nevertheless.
  ☆137Updated 6 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• talios / datatyper
  Algebraic Data Type Code Generator for Java and Apache Maven
  ☆21Updated last year
• hydromatic / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆304Updated 2 months ago
• wholeplatform / whole
  Whole Platform Language Workbench
  ☆27Updated 8 months ago
• pluto-build / pluto
  ☆21Updated 2 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year