aatxe / oxide

The essence of Rust.

Date Created 2017-06-09 (7 years ago)

Commits 731 (last one 3 years ago)

Stargazers 123 (0 this week)

Watchers 13 (0 this week)

Forks 6

License gpl-3.0

Ranking

RepositoryStats indexes 584,777 repositories, of these aatxe/oxide is ranked #252,359 (57th percentile) for total stargazers, and #165,662 for total watchers. Github reports the primary language for this repository as OCaml, for repositories using this language it is ranked #273/705.

aatxe/oxide is also tagged with popular topics, for these it's ranked: rust (#3,721/7196)

Other Information

Homepage URL: https://aaronweiss.us/pubs/draft20-oxide.pdf

All Topics

rust semantics formal-semantics

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

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

No recent commits to this repository

Yearly Commits

Commits to the default branch (master) per year

Issue History

Github Issues disabled for this repository

Languages

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

updated: 2024-11-06 @ 06:54pm, id: 93889963 / R_kgDOBZilqw