# Dépôts de discus-lang

<https://repo.masters-masters.com/owners/discus-lang>

[Accueil](https://repo.masters-masters.com/) › [discus-lang](https://repo.masters-masters.com/owners/discus-lang)

Les 2 dépôts GitHub publics de discus-lang, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters.

## Dépôts de discus-lang

2 dépôts publics de discus-lang au catalogue, du plus étoilé au moins étoilé.

- [discus-lang/ddc · ★ 176 · Haskell · Prototype](https://repo.masters-masters.com/repos/discus-lang/ddc)
- [discus-lang/iron · ★ 145 · Coq · Prototype](https://repo.masters-masters.com/repos/discus-lang/iron)

## Voir discus-lang sur GitHub

- [https://github.com/discus-lang](https://github.com/discus-lang)

---
Données : GitHub