# GitHub repos by discus-lang

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

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

All 2 public GitHub repos by discus-lang in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by discus-lang

2 public repos by discus-lang in the catalog, most starred first.

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

## See discus-lang on GitHub

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

---
Data: GitHub