namin / unsound

Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala

Date Created 2016-08-10 (8 years ago)

Commits 57 (last one about a year ago)

Stargazers 74 (0 this week)

Watchers 5 (0 this week)

Forks 4

License unknown

Ranking

RepositoryStats indexes 585,332 repositories, of these namin/unsound is ranked #356,480 (39th percentile) for total stargazers, and #332,562 for total watchers. Github reports the primary language for this repository as HTML, for repositories using this language it is ranked #9,093/15,212.

namin/unsound is also tagged with popular topics, for these it's ranked: java (#5,589/7692), scala (#721/983), oop (#111/161)

Other Information

namin/unsound has Github issues enabled, there are 3 open issues and 2 closed issues.

Homepage URL: https://io.livecode.ch/learn/namin/unsound?img=java8

All Topics

oop java scala unsound meta-theory

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

1 commits on the default branch (master) since jan '22

Yearly Commits

Commits to the default branch (master) per year

Issue History

Languages

The primary language is HTML but there's also others...

updated: 2024-05-15 @ 02:38am, id: 65405322 / R_kgDOA-YBig