aleksandarmilicevic
Founding Engineer at Cubist. Ex principal software engineer at Microsoft. MIT PhD alumnus.
@cubist-dev San Diego, CA
Pinned Repositories
aleksandarmilicevic.github.io
website
arby
Alloy DSL embedded in Ruby
hola
Alloy*---Higher Order Logic for Alloy
kodkod
Kodkod solver for relational logic
kodkod-star
Kodkod with arithmetic overflow prevention and higher-order solving extensions
method_source
return the sourcecode for a method
pygments-red
Pygments lexer for the Ruby Event-Driven (Red) programming language from Software Design Group at MIT.
react
Event-driven language for programming robots
react-lang
squander
Executable specifications for Java programs
aleksandarmilicevic's Repositories
aleksandarmilicevic/hola
Alloy*---Higher Order Logic for Alloy
aleksandarmilicevic/squander
Executable specifications for Java programs
aleksandarmilicevic/arby
Alloy DSL embedded in Ruby
aleksandarmilicevic/react-lang
aleksandarmilicevic/kodkod-star
Kodkod with arithmetic overflow prevention and higher-order solving extensions
aleksandarmilicevic/method_source
return the sourcecode for a method
aleksandarmilicevic/aleksandarmilicevic.github.io
website
aleksandarmilicevic/kodkod
Kodkod solver for relational logic
aleksandarmilicevic/pygments-red
Pygments lexer for the Ruby Event-Driven (Red) programming language from Software Design Group at MIT.
aleksandarmilicevic/react
Event-driven language for programming robots
aleksandarmilicevic/red
aleksandarmilicevic/red_irc
Sample RED app: Public Intenet Relay Chat
aleksandarmilicevic/sdg_utils
aleksandarmilicevic/solveit
aleksandarmilicevic/sunny.js