This is stars and forks stats for /alt-romes/hegg repository. As of 07 May, 2024 this repository has 66 stars and 6 forks.
hegg Fast equality saturation in Haskell Based on egg: Fast and Extensible Equality Saturation, Relational E-matching and the rust implementation. Equality Saturation and E-graphs Suggested material on equality saturation and e-graphs for beginners (tutorial) https://docs.rs/egg/latest/egg/tutorials/_01_background/index.html (5m video) https://www.youtube.com/watch?v=ap29SzDAzP0 Equality saturation in Haskell To get a feel for how we can use hegg and do equality saturation in Haskell, we'll write...
hegg Fast equality saturation in Haskell Based on egg: Fast and Extensible Equality Saturation, Relational E-matching and the rust implementation. Equality Saturation and E-graphs Suggested material on equality saturation and e-graphs for beginners (tutorial) https://docs.rs/egg/latest/egg/tutorials/_01_background/index.html (5m video) https://www.youtube.com/watch?v=ap29SzDAzP0 Equality saturation in Haskell To get a feel for how we can use hegg and do equality saturation in Haskell, we'll write...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| Gabriella439/spire | HaskellNix | 19 | 0 | 0 | 0 |
| TU-CSCI2322-FL22/workspace-11-30 | Haskell | 3 | 0 | 1 | 0 |
| jfischoff/categorical-algebra | HaskellTeX | 1 | 0 | 1 | 0 |
| obsidiansystems/rhyolite | HaskellNixShell | 23 | 0 | 17 | 0 |
| haskell-effectful/time-effectful | HaskellMakefile | 7 | 0 | 1 | 0 |
| aristanetworks/nix-serve-ng | HaskellC++Nix | 115 | 0 | 9 | 0 |
| input-output-hk/marlowe-hydra-poc | NixPythonHaskell | 3 | 0 | 0 | 0 |
| gaqzi/conf | Emacs LispShellNix | 0 | 0 | 0 | 0 |
| bishboria/rpncalculator | Haskell | 0 | 0 | 0 | 0 |
| ethereum/hevm | HaskellSolidityNix | 169 | +2 | 31 | +3 |