PrototypeCommon
AndrasKovacs/staged
Staged compilation with dependent types
- Owner
- AndrasKovacs (personal account)
- Stars
- Stars: 189
- Forks
- Forks: 3
- Language
- TeX
- License
- MIT
- Created
- 2021
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by AndrasKovacs
All 4 repos by AndrasKovacs- AndrasKovacs/elaboration-zooStars: 808HaskellBeta
- AndrasKovacs/smallttStars: 611LeanAlpha
- AndrasKovacs/flatparseStars: 182HaskellPrototype
Nearby in TeX
All TeX repos- flamingoTOM/Auto-CVStars: 190TeXPrototype
- kaist-comet/LaTeX-Paper-GuideStars: 189TeXPrototype
- starpos/develop-transaction-systemStars: 189TeXPrototype
- CQuIC/qcircuitStars: 188TeXPrototype
- pacman128/pcasmStars: 188TeXPrototype