Alternatives and similar repositories for cacophonia:

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

• eddysystems / eddy
  eddy - autocorrect for java
  ☆48Updated 9 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆37Updated 5 years ago
• mmhelloworld / jvm-assembler
  JVM bytecode assembler as REST api
  ☆10Updated last year
• nuprl / Ocelot
  An IDE for JavaScript, without the "bad parts".
  ☆30Updated last year
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆75Updated last year
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆173Updated 8 months ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• raymyers / verified-refactoring
  Exploring techniques for code refactoring with formal verification
  ☆10Updated 5 months ago
• JamesIry / jADT
  A spoonful of ADT in your Java.
  ☆49Updated 2 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated last month
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 7 years ago
• zx9w / read-together
  Organize remote meetings for reading computer science papers
  ☆33Updated 4 years ago
• liufengyun / stoic
  a capability-based system
  ☆40Updated 6 years ago
• jackfoxy / SpecifyingSystemsWithContents
  Adding a table of contents to Specifying Systems, TLA+.pdf
  ☆65Updated 7 years ago
• rvanheest / Literature-Study-Feedback-Control
  ☆21Updated 8 years ago
• ohmjs / ohm-editor
  An IDE for the Ohm language (JavaScript edition)
  ☆98Updated 4 months ago
• psuter / cafebabe
  Tiny Scala library to generate class files for the JVM
  ☆68Updated 3 years ago
• omphalos / inductive.js
  Inductive programming in JavaScript
  ☆25Updated 8 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 5 months ago
• justinmeiners / why-train-when-you-can-optimize
  Learn multi-variable optimization by creating a drawing assistant. No deep learning required!
  ☆27Updated 2 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆77Updated 7 years ago
• strangeloop / StrangeLoop2018
  Strange Loop 2018 resources
  ☆50Updated 6 years ago
• dvliman / continuations-java
  small, easy to understand continuations library in java
  ☆17Updated 11 years ago
• sharkdp / parachuting-robots
  An interactive version of a classic puzzle
  ☆80Updated 7 years ago
• dancres / Pages
  A Distributed Systems Reading List
  ☆184Updated 4 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• ashutoshbsathe / yacv
  Yet Another Compiler Visualizer
  ☆159Updated 3 years ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆124Updated 3 years ago