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.
  ☆59Updated 5 months ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆42Updated this week
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆35Updated this week
• cesquivias / mumbler
  My experimental programming language using Truffle
  ☆110Updated 5 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated 2 months ago
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆45Updated 2 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated 10 months ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆125Updated 3 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆124Updated 3 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 2 months ago
• wholeplatform / whole
  Whole Platform Language Workbench
  ☆27Updated 11 months ago
• jiprolog / jiprolog
  JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
  ☆136Updated 3 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated last year
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated last year
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆41Updated 3 years ago
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 9 years ago
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆174Updated 3 years ago
• neilgall / KotlinKanren
  Port of SwiftyKanren to Kotlin
  ☆17Updated 4 years ago
• Sipkab / jvm-tail-recursion
  Optimizer library for tail recursive calls in Java bytecode
  ☆123Updated 2 years ago
• biboudis / streamalg
  Extensible stream pipelines with object algebras.
  ☆26Updated 10 years ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated 3 weeks ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆54Updated this week
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 5 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆157Updated 6 months ago
• ashkapsky / BigDatalog
  ☆57Updated 2 years ago
• plum-umd / rubah
  Rubah is a Dynamic Software Updating (DSU) system for Java that works on stock JVMs
  ☆24Updated 9 years ago
• talksmall / Strongtalk
  Strongtalk VM
  ☆102Updated 3 years ago
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• s-webber / projog
  Prolog programming for the Java platform.
  ☆38Updated last year