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
• Dierk / Real_World_Frege
  Examples of the book "Real World Haskell" in the Frege programming language
  ☆70Updated 9 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆76Updated 2 years ago
• carymrobbins / intellij-frege
  Frege support for IntelliJ IDEA
  ☆14Updated 9 years ago
• y-taka-23 / learn-you-a-frege
  Frege Translation of "Learn You a Haskell for Great Good!."
  ☆51Updated 9 years ago
• pluto-build / pluto
  ☆21Updated 2 years ago
• tpetricek / anarchy-workshop
  ☆13Updated 8 years ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆44Updated 5 months ago
• david-christiansen / idris-code-highlighter
  A semantic highlighter for Idris code
  ☆14Updated 7 years ago
• tatut / eta-jdbc-example
  Simple example of using JDBC from Eta language
  ☆10Updated 8 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated 2 weeks ago
• Frege / frege-repl
  Frege REPL
  ☆79Updated 6 years ago
• carlohamalainen / ghc-imported-from
  For a given Haskell source file, determine where a symbol is imported from
  ☆27Updated 6 years ago
• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 5 years ago
• nrnrnr / SML-Lint
  Tool for detecting bad style in Standard ML programs
  ☆17Updated 6 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 2 months ago
• Frege / eclipse-plugin
  The eclipse plugin for frege, codename fregIDE
  ☆31Updated 6 years ago
• rahulmutt / codec-jvm
  JVM code generation
  ☆32Updated 6 years ago
• ragnard / shen-truffle
  Port of the Shen programming language to the Graal runtime
  ☆26Updated 8 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆73Updated 12 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 8 years ago
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated 2 years ago
• Frege / frege-gradle-plugin
  Gradle plugin for compiling Frege projects
  ☆25Updated 3 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated 4 months ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆72Updated 9 years ago
• julianmendez / jsexp
  Parser in Java for Lisp S-expressions.
  ☆11Updated last month
• bobatkey / interactive-natural-deduction
  An editor for interactively building natural deduction proofs
  ☆20Updated 7 years ago
• edsko / tracetree
  Visualization of Haskell data structures
  ☆16Updated last year
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 7 years ago