This is stars and forks stats for /guygastineau/rust-trees-that-grow repository. As of 30 Apr, 2024 this repository has 34 stars and 0 forks.
Trees that Grow in Rust Recently, I came back to my fascination with typed lambda calculi. It is a subject of great fascination and difficulty for me. To my delight, I got things much better this time around, and this lead me to revisit the paper Trees that Grow. I got the idea the first time I read it, but the type shenanighans were still overwhelming. This weekend I implemented a variation on the examples in Haskell including more primitive types and starting with GADTs from the...
Trees that Grow in Rust Recently, I came back to my fascination with typed lambda calculi. It is a subject of great fascination and difficulty for me. To my delight, I got things much better this time around, and this lead me to revisit the paper Trees that Grow. I got the idea the first time I read it, but the type shenanighans were still overwhelming. This weekend I implemented a variation on the examples in Haskell including more primitive types and starting with GADTs from the...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
framesurge/perseus | RustOther | 2k | 0 | 84 | 0 |
DeterminateSystems/nix-github-actions | NixRust | 33 | 0 | 3 | 0 |
Azure/meta-iotedge | BitBakeRustC++ | 47 | 0 | 51 | +1 |
alibaba/higress | GoC++Shell | 1.8k | 0 | 300 | 0 |
geph-official/geph4-client | RustShellC | 2.4k | 0 | 298 | 0 |
abba23/spotify-adblock | RustMakefile | 1.5k | 0 | 82 | 0 |
smy20011/dreambooth-gui | TypeScriptRustOther | 360 | +1 | 16 | 0 |
burn-rs/burn | RustWGSLPython | 3.7k | 0 | 135 | 0 |
godot-rust/gdextension | RustGDScriptShell | 1.8k | 0 | 116 | 0 |
nicoburns/blessed-rs | HTMLRustCSS | 1k | 0 | 52 | 0 |