wernsey / Jatalog

Related projects: ⓘ

• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆36Updated last week
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆47Updated 7 months ago
• 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
• biboudis / streamalg
  Extensible stream pipelines with object algebras.
  ☆26Updated 9 years ago
• cesquivias / mumbler
  My experimental programming language using Truffle
  ☆109Updated 4 years ago
• jiprolog / jiprolog
  JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
  ☆130Updated 3 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆31Updated 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
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated 5 months ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆67Updated last year
• s-webber / projog
  Prolog programming for the Java platform.
  ☆34Updated 8 months ago
• wholeplatform / whole
  Whole Platform Language Workbench
  ☆27Updated 3 months ago
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆41Updated 2 years ago
• neilgall / KotlinKanren
  Port of SwiftyKanren to Kotlin
  ☆17Updated 3 years ago
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆22Updated 8 years ago
• OracleLabs / GraalVM
  ☆44Updated this week
• cwi-swat / recaf
  Recaffeinating Java ☕️ with custom semantics and extensions
  ☆51Updated 2 years ago
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆32Updated last year
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆53Updated last week
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆107Updated 2 years ago
• Sipkab / jvm-tail-recursion
  Optimizer library for tail recursive calls in Java bytecode
  ☆122Updated last year
• dvliman / continuations-java
  small, easy to understand continuations library in java
  ☆17Updated 11 years ago
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• JamesIry / jADT
  A spoonful of ADT in your Java.
  ☆49Updated last year
• ashkapsky / BigDatalog
  ☆55Updated last year
• bkiers / rrd-antlr4
  Railroad Diagrams for ANTLR 4 grammar rules.
  ☆102Updated last week
• talios / datatyper
  Algebraic Data Type Code Generator for Java and Apache Maven
  ☆21Updated last year
• acieroid / scala-am
  (Abstract) Abstract Machine Experiments using Scala
  ☆33Updated 3 years ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago