# plfa/plfa.github.io

<https://repo.masters-masters.com/repos/plfa/plfa.github.io>

[Accueil](https://repo.masters-masters.com/) › [plfa](https://repo.masters-masters.com/owners/plfa) › [plfa.github.io](https://repo.masters-masters.com/repos/plfa/plfa.github.io)

plfa/plfa.github.io, dépôt open source à 1 524 étoiles sur GitHub. Carte Bêta de RepoMasters. An introduction to programming language theory in Agda

| Champ | Valeur |
| --- | --- |
| Propriétaire | [plfa](https://repo.masters-masters.com/owners/plfa) |
| Étoiles | 1 524 |
| Forks | 356 |
| Langage | [Agda](https://repo.masters-masters.com/languages/agda) |
| Licence | CC-BY-4.0 |
| Création | 2017 |
| Sujets | book, proof-assistant, programming-languages |
| Rang | [Bêta (700 à 1 999 ★)](https://repo.masters-masters.com/ranks/box_office) |
| Voir sur GitHub | [plfa/plfa.github.io](https://github.com/plfa/plfa.github.io) |

## Fiche du dépôt

An introduction to programming language theory in Agda

Rang des dépôts qui ont 700 à 1 999 ★ sur GitHub. Probabilité publiée par carte tirée : 6 %. Rareté : Rare.

## D’autres dépôts Agda

- [agda/agda-stdlib · ★ 679 · Agda · Alpha](https://repo.masters-masters.com/repos/agda/agda-stdlib)
- [agda/cubical · ★ 572 · Agda · Alpha](https://repo.masters-masters.com/repos/agda/cubical)
- [the1lab/1lab · ★ 445 · Agda · Alpha](https://repo.masters-masters.com/repos/the1lab/1lab)

---
Données : GitHub · Illustration : image publique du projet, pixelisée par RepoMasters.