Aleksandar Milicevic (@aleksandarmilicevic)
github

aleksandarmilicevic

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    50
  • Global Rank 341,187 (Top 12 %)
  • Followers 29
  • Following 5
  • Registered almost 12 years ago
  • Most used languages
    Java
         60.0 %
    Ruby
         20.0 %
    Scala
         20.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 68,541
  • Country Ranking
    Scala
         2,723
    Java
         4,130

Top repositories

1

hola

Alloy*---Higher Order Logic for Alloy
Java
37
star
2

squander

Executable specifications for Java programs
Java
5
star
3

arby

Alloy DSL embedded in Ruby
Ruby
4
star
4

react-lang

Scala
2
star
5

kodkod-star

Kodkod with arithmetic overflow prevention and higher-order solving extensions
Java
1
star