# AndrasKovacs/staged

<https://repo.masters-masters.com/en/repos/AndrasKovacs/staged>

[Home](https://repo.masters-masters.com/en) › [AndrasKovacs](https://repo.masters-masters.com/en/owners/AndrasKovacs) › [staged](https://repo.masters-masters.com/en/repos/AndrasKovacs/staged)

AndrasKovacs/staged has 189 stars on GitHub. Its RepoMasters card: Prototype tier. Staged compilation with dependent types Language: TeX.

| Field | Value |
| --- | --- |
| Owner | [AndrasKovacs](https://repo.masters-masters.com/en/owners/AndrasKovacs) |
| Stars | 189 |
| Forks | 3 |
| Language | [TeX](https://repo.masters-masters.com/en/languages/tex) |
| License | MIT |
| Created | 2021 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [AndrasKovacs/staged](https://github.com/AndrasKovacs/staged) |

## Repository

Staged compilation with dependent types

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by AndrasKovacs

- [AndrasKovacs/elaboration-zoo · ★ 808 · Haskell · Beta](https://repo.masters-masters.com/en/repos/AndrasKovacs/elaboration-zoo)
- [AndrasKovacs/smalltt · ★ 611 · Lean · Alpha](https://repo.masters-masters.com/en/repos/AndrasKovacs/smalltt)
- [AndrasKovacs/flatparse · ★ 182 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/AndrasKovacs/flatparse)

## Nearby in TeX

- [qiziqiang/MathematicalModeling · ★ 190 · TeX · Prototype](https://repo.masters-masters.com/en/repos/qiziqiang/MathematicalModeling)
- [kaist-comet/LaTeX-Paper-Guide · ★ 189 · TeX · Prototype](https://repo.masters-masters.com/en/repos/kaist-comet/LaTeX-Paper-Guide)
- [starpos/develop-transaction-system · ★ 189 · TeX · Prototype](https://repo.masters-masters.com/en/repos/starpos/develop-transaction-system)
- [CQuIC/qcircuit · ★ 188 · TeX · Prototype](https://repo.masters-masters.com/en/repos/CQuIC/qcircuit)
- [pacman128/pcasm · ★ 188 · TeX · Prototype](https://repo.masters-masters.com/en/repos/pacman128/pcasm)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.