This is stars and forks stats for /RalfJung/minirust repository. As of 04 May, 2024 this repository has 735 stars and 29 forks.
MiniRust If you prefer video over text, I recently presented MiniRust at the RFMIG. MiniRust is the cornerstone of my vision for a normative specification of Rust semantics. It is an idealized MIR-like language with the purpose of serving as a "core language" of Rust. This is part of a larger story whose goal is to precisely specify the operational behavior of Rust, i.e., the possible behaviors that a Rust program might have when being executed: the behavior of a Rust program is defined by first...
MiniRust If you prefer video over text, I recently presented MiniRust at the RFMIG. MiniRust is the cornerstone of my vision for a normative specification of Rust semantics. It is an idealized MIR-like language with the purpose of serving as a "core language" of Rust. This is part of a larger story whose goal is to precisely specify the operational behavior of Rust, i.e., the possible behaviors that a Rust program might have when being executed: the behavior of a Rust program is defined by first...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
fail0verflow/bootmii | CAssemblyMakefile | 131 | +1 | 3 | 0 |
espressif/esp-csi | CShellCMake | 445 | 0 | 83 | 0 |
tiagodalloca/city-weather-clj | ClojureShell | 15 | 0 | 0 | 0 |
Codesire-Deng/TemplateRepoCxx | CMakeShellC++ | 162 | 0 | 67 | 0 |
scraperwiki/licences | CoffeeScriptShell | 0 | 0 | 3 | 0 |
ROCmSoftwarePlatform/rccl-tests | CudaPythonC++ | 19 | 0 | 23 | 0 |
RevenueCat/purchases-flutter | DartJavaObjective-C | 516 | 0 | 141 | 0 |
serversideup/docker-php | DockerfileShell | 1k | 0 | 101 | 0 |
exasol/script-languages-release | DockerfileC++Python | 10 | 0 | 5 | 0 |
alphapapa/magit-todos | Emacs LispShellMakefile | 639 | 0 | 39 | 0 |