aatxe / oxide

The essence of Rust.

aatxe
aatxe
Date Created 2017-06-09 (7 years ago)
Commits 731 (last one 3 years ago)
Stargazers 123 (0 this week)
Watchers 12 (0 this week)
Forks 4
License gpl-3.0
This repository has been archived on Github
Ranking

RepositoryStats indexes 625,486 repositories, of these aatxe/oxide is ranked #264,064 (58th percentile) for total stargazers, and #172,537 for total watchers. Github reports the primary language for this repository as OCaml, for repositories using this language it is ranked #288/727.

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

Other Information

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

Star History

Github stargazers over time

14014012012010010080806060404020200020212021Jul '21Jul '2120222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Watcher History

Github watchers over time, collection started in '23

13131313131312.512.512121212121220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

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

Inactive

No recent commits to this repository

Yearly Commits

Commits to the default branch (master) per year

30030025025020020015015010010050500020172017201820182019201920202020202120212022202220242024

Issue History

Github Issues disabled for this repository

Languages

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

OCamlOCamlRustRustRacketRacketScalaScalaCoqCoqStandard MLStandard MLShellShell

updated: 2025-03-07 @ 12:27am, id: 93889963 / R_kgDOBZilqw