# rntz/datafun

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

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

rntz/datafun has 420 stars on GitHub. Its RepoMasters card: Alpha tier. Research on integrating datalog & lambda calculus via monotonicity types Language: TeX.

| Field | Value |
| --- | --- |
| Owner | [rntz](https://repo.masters-masters.com/en/owners/rntz) |
| Stars | 420 |
| Forks | 17 |
| Language | [TeX](https://repo.masters-masters.com/en/languages/tex) |
| License | None |
| Created | 2015 |
| Topics | programming-language, datalog, query, monotonicity, semilattices, type-theory, compiler |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [rntz/datafun](https://github.com/rntz/datafun) |

## Repository

Research on integrating datalog & lambda calculus via monotonicity types

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in TeX

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

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