raydac / jprol

Related projects ⓘ

Alternatives and complementary repositories for jprol

• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆33Updated 4 months ago
• mcalejo / interprolog
  Java <-> XSB Prolog bridge library
  ☆12Updated 4 years ago
• s-webber / projog
  Prolog programming for the Java platform.
  ☆37Updated 10 months ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆54Updated this week
• jiprolog / jiprolog
  JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
  ☆132Updated 3 years ago
• mstewartgallus / jsystemf
  Just a little toy System F interpreter, doesn't even have proper generics yet.
  ☆12Updated 4 years ago
• victorr / jsqueak
  Unofficial repository for JSqueak: A Java implementation of Squeak Smalltalk.
  ☆23Updated 2 years ago
• cesquivias / mumbler
  My experimental programming language using Truffle
  ☆110Updated 4 years ago
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆41Updated 2 years ago
• org-jdraft / jdraft
  Meta Representation for building Java programs to analyze, generate, refactor & run Java source code
  ☆8Updated 3 years ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆39Updated 3 months ago
• Anniepoo / swiplclpfd
  clp(fd) tutorial
  ☆19Updated 8 months ago
• albfan / jEdit
  A mature programmer's text editor
  ☆16Updated last year
• forax / vmboiler
  A small library on top of ASM that generates optimistically typed bytecodes for dynamically typed JVM based languages
  ☆14Updated 9 years ago
• Whiley / WhileyTheoremProver
  The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…
  ☆8Updated 3 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆32Updated this week
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• usethesource / flybytes
  Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.
  ☆17Updated 2 weeks ago
• smarr / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated this week
• wholeplatform / whole
  Whole Platform Language Workbench
  ☆27Updated 5 months ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 5 years ago
• neilgall / KotlinKanren
  Port of SwiftyKanren to Kotlin
  ☆17Updated 3 years ago
• briangu / OPS5
  OPS5 Production System
  ☆54Updated 11 years ago
• vavr-io / vavr-render
  A rendering library, currently housing graph renderers (ascii and graphviz).
  ☆17Updated 7 years ago
• smalljvm / SmallJ
  Smalltalk VM built on top of Java
  ☆21Updated 5 months ago
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 8 years ago
• graalvm / fastr-examples
  ☆60Updated 8 months ago
• nervous-systems / java-unsigned-integers
  Optimized, immutable Java implementations of fixed-width, unsigned integers.
  ☆31Updated last year
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated 7 months ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago