Alternatives and similar repositories for Jatalog:

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

• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆35Updated 2 weeks ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆40Updated 3 weeks ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆57Updated 4 months ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated 3 weeks ago
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated last year
• jiprolog / jiprolog
  JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
  ☆134Updated 3 years ago
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆41Updated 3 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆122Updated 3 years ago
• cesquivias / mumbler
  My experimental programming language using Truffle
  ☆110Updated 5 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated 11 months ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆68Updated 3 weeks 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
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆174Updated 3 years ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆124Updated 3 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated 8 months ago
• wholeplatform / whole
  Whole Platform Language Workbench
  ☆27Updated 9 months ago
• neilgall / KotlinKanren
  Port of SwiftyKanren to Kotlin
  ☆17Updated 4 years ago
• biboudis / streamalg
  Extensible stream pipelines with object algebras.
  ☆26Updated 9 years ago
• talksmall / Strongtalk
  Strongtalk VM
  ☆101Updated 3 years ago
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 8 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 5 years ago
• rm-hull / wam
  Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
  ☆27Updated 6 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆54Updated last week
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 4 months ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 5 months ago
• JetBrains / jetpad-projectional-open-source
  jetpad-projectional
  ☆72Updated 2 years ago
• marekrogala / sparkdatalog
  A Datalog API for Spark
  ☆26Updated 8 years ago
• epfldata / dblab
  A framework for building database systems by high-level programming, and getting really good performance nevertheless.
  ☆137Updated 6 years ago