This is stars and forks stats for /VictorTaelin/HVM2-WIP repository. As of 08 May, 2024 this repository has 200 stars and 14 forks.
HVM-Core: a parallel Interaction Combinator evaluator HVM-Core is a parallel evaluator for extended Symmetric Interaction Combinators. We provide a raw syntax for specifying nets, a reference implementation in Rust, and a massively parallel evaluator in CUDA. In our benchmarks, HVMC performs up to 6.8 billion interactions per second in an RTX 4090. When evaluating functional programs, it performed 5x faster than the best alternatives, making it a great compile target for high-level languages seeking...
HVM-Core: a parallel Interaction Combinator evaluator HVM-Core is a parallel evaluator for extended Symmetric Interaction Combinators. We provide a raw syntax for specifying nets, a reference implementation in Rust, and a massively parallel evaluator in CUDA. In our benchmarks, HVMC performs up to 6.8 billion interactions per second in an RTX 4090. When evaluating functional programs, it performed 5x faster than the best alternatives, making it a great compile target for high-level languages seeking...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| Jinnrry/PMail | GoVueJavaScript | 600 | +5 | 50 | 0 |
| opentffoundation/manifesto | HTMLCSSJavaScript | 35.9k | +77 | 1.1k | +8 |
| dnakov/little-rat | JavaScriptCSSHTML | 1.4k | 0 | 46 | 0 |
| jamiewilson/form-to-google-sheets | JavaScriptHTML | 3.9k | +15 | 719 | +5 |
| iGaoWei/BigDataView | JavaScriptHTMLCSS | 1.3k | 0 | 506 | 0 |
| hjdhnx/dr_py | JavaScriptPythonHTML | 336 | +20 | 308 | +4 |
| josdejong/mathjs | JavaScriptTypeScriptOther | 13.6k | +30 | 1.3k | +4 |
| NervJS/taro-docs | MDXJavaScriptTypeScript | 12 | 0 | 179 | +1 |
| mrjoh3/c3 | RJavaScriptHTML | 41 | 0 | 41 | 0 |
| paradigmxyz/cryo | RustPython | 686 | 0 | 40 | 0 |