Alternatives and similar repositories for java-semantic-diff

Users that are interested in java-semantic-diff are comparing it to the libraries listed below

• talios / datatyper
  Algebraic Data Type Code Generator for Java and Apache Maven
  ☆21Updated 2 years ago
• JamesIry / jADT
  A spoonful of ADT in your Java.
  ☆49Updated 2 years ago
• mmhelloworld / jvm-assembler
  JVM bytecode assembler as REST api
  ☆11Updated 6 months ago
• Frege / frege-repl
  Frege REPL
  ☆79Updated 6 years ago
• Dierk / Real_World_Frege
  Examples of the book "Real World Haskell" in the Frege programming language
  ☆71Updated 10 years ago
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 7 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆76Updated 2 years ago
• Frege / eclipse-plugin
  The eclipse plugin for frege, codename fregIDE
  ☆31Updated 6 years ago
• Frege / FregeFX
  Frege language binding and utilities to create JavaFX user interfaces
  ☆35Updated 4 years ago
• Dierk / frege-idea-plugin
  Language support for the Frege programming language in IntelliJIDEA (currently experimental)
  ☆22Updated 9 years ago
• carymrobbins / intellij-frege
  Frege support for IntelliJ IDEA
  ☆14Updated 9 years ago
• tpetricek / anarchy-workshop
  ☆13Updated 8 years ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆44Updated 9 months ago
• cesquivias / mumbler
  My experimental programming language using Truffle
  ☆113Updated 5 years ago
• jlink / how-to-specify-it
  "How to Specify it" in Java and jqwik
  ☆26Updated 4 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆72Updated 9 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated last month
• dvliman / continuations-java
  small, easy to understand continuations library in java
  ☆17Updated 12 years ago
• Frege / frege-gradle-plugin
  Gradle plugin for compiling Frege projects
  ☆25Updated 4 years ago
• Strumenta / MPSServer
  ☆21Updated 2 years ago
• pluto-build / pluto
  ☆22Updated 3 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆73Updated 12 years ago
• sviperll / adt4j
  adt4j - Algebraic Data Types for Java
  ☆147Updated 7 years ago
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated 2 years ago
• vincenthz / language-java
  Java parser and printer for haskell
  ☆67Updated 4 years ago
• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 5 years ago
• needle4j / needle4j
  Effective Unit Testing for Java EE
  ☆17Updated 11 months ago
• eclipse-archived / ceylon-ide-intellij
  IntelliJ Plugin for Ceylon
  ☆62Updated 7 years ago
• y-taka-23 / learn-you-a-frege
  Frege Translation of "Learn You a Haskell for Great Good!."
  ☆51Updated 9 years ago
• tatut / eta-jdbc-example
  Simple example of using JDBC from Eta language
  ☆10Updated 9 years ago