# rntz/datafun

<https://repo.masters-masters.com/repos/rntz/datafun>

[Accueil](https://repo.masters-masters.com/) › [rntz](https://repo.masters-masters.com/owners/rntz) › [datafun](https://repo.masters-masters.com/repos/rntz/datafun)

rntz/datafun, dépôt open source à 420 étoiles sur GitHub. Carte Alpha de RepoMasters. Research on integrating datalog & lambda calculus via monotonicity types

| Champ | Valeur |
| --- | --- |
| Propriétaire | [rntz](https://repo.masters-masters.com/owners/rntz) |
| Étoiles | 420 |
| Forks | 17 |
| Langage | [TeX](https://repo.masters-masters.com/languages/tex) |
| Licence | Aucune |
| Création | 2015 |
| Sujets | programming-language, datalog, query, monotonicity, semilattices, type-theory, compiler |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [rntz/datafun](https://github.com/rntz/datafun) |

## Fiche du dépôt

Research on integrating datalog & lambda calculus via monotonicity types

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## D’autres dépôts TeX

- [jimmejardine/qiqqa-open-source · ★ 423 · TeX · Alpha](https://repo.masters-masters.com/repos/jimmejardine/qiqqa-open-source)
- [obster-y/XJTU-thesis · ★ 421 · TeX · Alpha](https://repo.masters-masters.com/repos/obster-y/XJTU-thesis)
- [bamos/cv · ★ 420 · TeX · Alpha](https://repo.masters-masters.com/repos/bamos/cv)
- [conal/talk-2015-essence-and-origins-of-frp · ★ 418 · TeX · Alpha](https://repo.masters-masters.com/repos/conal/talk-2015-essence-and-origins-of-frp)
- [Urinx/LaTeX-PPT-Template · ★ 418 · TeX · Alpha](https://repo.masters-masters.com/repos/Urinx/LaTeX-PPT-Template)
- [vmayoral/robot\_hacking\_manual · ★ 418 · TeX · Alpha](https://repo.masters-masters.com/repos/vmayoral/robot_hacking_manual)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.