CoreASM / coreasm.core

Related projects ⓘ

Alternatives and complementary repositories for coreasm.core

• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆36Updated last week
• wholeplatform / whole
  Whole Platform Language Workbench
  ☆27Updated 5 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
• svn2github / SAT4J
  This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…
  ☆9Updated 7 years ago
• Zarkonnen / Longan
  A flexible pure-Java OCR implementation. Eventually.
  ☆20Updated 9 years ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆54Updated last week
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 5 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 8 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
• jiprolog / jiprolog
  JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
  ☆132Updated 3 years ago
• sireum / v3
  Sireum v3
  ☆10Updated last year
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆32Updated last month
• rwl / JLLVM
  A Java version of LLVM Core by Hao Liu
  ☆22Updated 11 years ago
• pavelfatin / toyide
  Modern IDE plus custom programming languages with interpreters and compilers
  ☆66Updated 6 years ago
• slipperyseal / trebuchet
  Trebuchet Transcompiler is a Java to C++ source code translator
  ☆14Updated 2 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• prova / prova
  ☆35Updated 10 months ago
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆77Updated 6 years ago
• forax / write_your_dynamic_language_runtime
  How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM
  ☆13Updated 8 months ago
• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• soartech / jsoar
  Pure Java implementation of the Soar cognitive architecture.
  ☆56Updated last month
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆13Updated this week
• usethesource / flybytes
  Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.
  ☆17Updated this week
• dynamid / jooflux
  JooFlux is a Java agent for dynamic aspect-oriented middlewares.
  ☆26Updated 9 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated 7 months ago
• ianopolous / JayD
  An x86 disassembler written in Java (port of udis86)
  ☆13Updated 9 years ago
• PANTHEONtech / triemap
  Java port of a concurrent trie hash map implementation from the Scala collections library
  ☆27Updated 4 months ago
• edefazio / varcode
  Generate, compile and run .java source dynamically at runtime
  ☆11Updated 5 years ago