aleksandarmilicevic

Aleksandar Milicevic's repositories

Alloy*---Higher Order Logic for Alloy

Language:JavaGPL-3.037 4 5

Executable specifications for Java programs

Language:JavaGPL-3.0500

Alloy DSL embedded in Ruby

Language:RubyGPL-2.04 50

Language:ScalaNOASSERTION200

Kodkod with arithmetic overflow prevention and higher-order solving extensions

Language:JavaNOASSERTION100

return the sourcecode for a method

Language:RubyNOASSERTION100

website

Language:HTML000

Kodkod solver for relational logic

Language:JavaMIT000

Pygments lexer for the Ruby Event-Driven (Red) programming language from Software Design Group at MIT.

Language:PythonMIT000

Event-driven language for programming robots

Language:PythonGPL-2.0000

Language:RubyGPL-2.0000

Sample RED app: Public Intenet Relay Chat

Language:RubyGPL-2.0000

Language:RubyGPL-2.0000

Language:Ruby000

Language:CoffeeScriptGPL-3.0000