Alternatives and similar repositories for Ruffini:

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

• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆35Updated this week
• tidyparse / tidyparse
  ✂️ Syntax correction in context-free and weakly context-sensitive languages.
  ☆22Updated this week
• oracle / sandwood
  Sandwood - A JVM based Java like Probabilistic Programming Language
  ☆26Updated 4 months ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• mcalejo / interprolog
  Java <-> XSB Prolog bridge library
  ☆12Updated 4 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆58Updated 4 months ago
• kredel / java-algebra-system
  Java Algebra System (JAS) Project
  ☆44Updated 10 months ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆27Updated 8 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated 3 years ago
• cwi-swat / rebel
  ☆12Updated 5 years ago
• JamesIry / jADT
  A spoonful of ADT in your Java.
  ☆49Updated 2 years ago
• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• CatarinaGamboa / liquidjava
  ☆37Updated last month
• biboudis / streamalg
  Extensible stream pipelines with object algebras.
  ☆26Updated 9 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated last month
• Vinhixus / TornadoVM-Ray-Tracer
  A real-time ray tracer in Java, accelerated on heterogeneous hardware using TornadoVM
  ☆25Updated 8 months ago
• beehive-lab / beehive-spirv-toolkit
  Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.
  ☆14Updated last year
• acieroid / scala-am
  (Abstract) Abstract Machine Experiments using Scala
  ☆34Updated 4 years ago
• pluto-build / pluto
  ☆21Updated 2 years ago
• ceylon / ceylon-model
  DEPRECATED
  ☆12Updated 9 years ago
• talios / datatyper
  Algebraic Data Type Code Generator for Java and Apache Maven
  ☆21Updated last year
• PANTHEONtech / triemap
  Java port of a concurrent trie hash map implementation from the Scala collections library
  ☆28Updated 2 months ago
• idsc-frazzoli / tensor
  linear algebra for tensors with symbolic and numeric scalars
  ☆32Updated 5 years ago
• madvorak / grammars
  Formal grammars in Lean 3
  ☆8Updated last year
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• astojanov / NGen
  SIMD Intrinsics in the JVM
  ☆48Updated 7 years ago
• s-falke / kittel-koat
  KITTeL/KoAT
  ☆21Updated 6 years ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year