AlphaUncommon
rntz/datafun
Research on integrating datalog & lambda calculus via monotonicity types
- Owner
- rntz (personal account)
- Stars
- Stars: 420
- Forks
- Forks: 17
- Language
- TeX
- License
- None
- Created
- 2015
- Topics
- programming-languagedatalogquerymonotonicitysemilatticestype-theorycompiler
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in TeX
All TeX repos- jimmejardine/qiqqa-open-sourceStars: 423TeXAlpha
- obster-y/XJTU-thesisStars: 421TeXAlpha
- bamos/cvStars: 420TeXAlpha
- conal/talk-2015-essence-and-origins-of-frpStars: 418TeXAlpha
- Urinx/LaTeX-PPT-TemplateStars: 418TeXAlpha
- vmayoral/robot_hacking_manualStars: 418TeXAlpha