emina/kodkod - GitHub Explorer | GitHub Explorer | Trending

Stars

85

Forks

27

Watchers

85

Open Issues

0

Repository Health Score

❤️

45/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Slow updates - updated within 3 months

10/30

33%

Recent Commits

Merge pull request #5 from waywardmonkeys/fix-typos

Emina Torlak•7 years ago

6e80244View on GitHub

Fix typos.

Bruce Mitchener•7 years ago

940c724View on GitHub

Merge pull request #4 from waywardmonkeys/fix-typos

Emina Torlak•8 years ago

8e03dbcView on GitHub

Fix typos.

Bruce Mitchener•8 years ago

0993cc8View on GitHub

Update README.

Emina Torlak•8 years ago

11785c7View on GitHub

Update README.

Emina Torlak•8 years ago

1c604dbView on GitHub

Update Kodkod site URL.

Emina Torlak•9 years ago

137bd47View on GitHub

Update Kodkod site URL.

Emina Torlak•9 years ago

42d520aView on GitHub

Merge pull request #2 from ferhaterata/patch-1

Emina Torlak•10 years ago

a0c7240View on GitHub

Update RingElection.java

Ferhat Erata•10 years ago

c46bf90View on GitHub

Fix a broken link.

Emina Torlak•10 years ago

c396036View on GitHub

Release notes.

Emina Torlak•10 years ago

e4078aeView on GitHub

More detailed build/install/run instructions.

Emina Torlak•10 years ago

e60e893View on GitHub

Build instructions.

Emina Torlak•10 years ago

0dd1592View on GitHub

Patch build scripts.

Emina Torlak•10 years ago

ef544c8View on GitHub

View all commits

GitHub Explorer

kodkod

Score Breakdown

Issues Activity: Last 6 months

Hottest Issues