PrototypeCommune
AndrasKovacs/staged
Staged compilation with dependent types
- Propriétaire
- AndrasKovacs (compte personnel)
- Étoiles
- Étoiles : 189
- Forks
- Forks : 3
- Langage
- TeX
- Licence
- MIT
- Création
- 2021
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de AndrasKovacs
Les 4 dépôts de AndrasKovacs- AndrasKovacs/elaboration-zooÉtoiles : 808HaskellBêta
- AndrasKovacs/smallttÉtoiles : 611LeanAlpha
- AndrasKovacs/flatparseÉtoiles : 182HaskellPrototype
D’autres dépôts TeX
Tous les dépôts TeX- flamingoTOM/Auto-CVÉtoiles : 190TeXPrototype
- kaist-comet/LaTeX-Paper-GuideÉtoiles : 189TeXPrototype
- starpos/develop-transaction-systemÉtoiles : 189TeXPrototype
- CQuIC/qcircuitÉtoiles : 188TeXPrototype
- pacman128/pcasmÉtoiles : 188TeXPrototype