This is stars and forks stats for /AndrasKovacs/smalltt repository. As of 26 Apr, 2024 this repository has 472 stars and 23 forks.
smalltt Demo project for several techniques for high-performance elaboration with dependent types. It is a complete rewrite of the old smalltt version which I wrote mostly in 2018-2019. Table of Contents Overview Installation Language overview Design Basics NbE vs. naive evaluation Contextual metavariables Glued evaluation On hash consing Strict vs. lazy evaluation Approximate conversion checking Paired values Eta-short meta solutions Meta solution checking and quotation Meta freezing and approximate...
smalltt Demo project for several techniques for high-performance elaboration with dependent types. It is a complete rewrite of the old smalltt version which I wrote mostly in 2018-2019. Table of Contents Overview Installation Language overview Design Basics NbE vs. naive evaluation Contextual metavariables Glued evaluation On hash consing Strict vs. lazy evaluation Approximate conversion checking Paired values Eta-short meta solutions Meta solution checking and quotation Meta freezing and approximate...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| BartoszPiotrowski/lean-premise-selection | LeanShellTypeScript | 12 | 0 | 0 | 0 |
| guibou/nixGL | NixHaskell | 489 | 0 | 56 | 0 |
| sugoi/sugoi-2012-11-12 | Haskell | 0 | 0 | 0 | 0 |
| sherubthakur/dotfiles | NixLuaNushell | 140 | 0 | 11 | 0 |
| srid/haskell-template | NixJustHaskell | 174 | 0 | 24 | 0 |
| alt-romes/hegg | Haskell | 66 | 0 | 6 | 0 |
| Gabriella439/spire | HaskellNix | 19 | 0 | 0 | 0 |
| TU-CSCI2322-FL22/workspace-11-30 | Haskell | 3 | 0 | 1 | 0 |
| future-proof-iot/CertFC | CoqCMakefile | 0 | 0 | 0 | 0 |
| jfischoff/categorical-algebra | HaskellTeX | 1 | 0 | 1 | 0 |