Popular repositories Loading

1. hola hola Public

   Alloy*---Higher Order Logic for Alloy

   Java 37 1

2. squander squander Public

   Executable specifications for Java programs

   Java 5

3. arby arby Public

   Alloy DSL embedded in Ruby

   Ruby 4 1

4. react-lang react-lang Public

   Scala 2

5. method_source method_source Public

   Forked from banister/method_source

   return the sourcecode for a method

   Ruby 1 1

6. kodkod-star kodkod-star Public

   Kodkod with arithmetic overflow prevention and higher-order solving extensions

   Java 1