# VictorTaelin/Interaction-Calculus

<https://repo.masters-masters.com/en/repos/VictorTaelin/Interaction-Calculus>

[Home](https://repo.masters-masters.com/en) › [VictorTaelin](https://repo.masters-masters.com/en/owners/VictorTaelin) › [Interaction-Calculus](https://repo.masters-masters.com/en/repos/VictorTaelin/Interaction-Calculus)

VictorTaelin/Interaction-Calculus has 961 stars on GitHub. Its RepoMasters card: Beta tier. A programming language and model of computation that matches the…

| Field | Value |
| --- | --- |
| Owner | [VictorTaelin](https://repo.masters-masters.com/en/owners/VictorTaelin) |
| Stars | 961 |
| Forks | 71 |
| Language | [C](https://repo.masters-masters.com/en/languages/c) |
| License | None |
| Created | 2018 |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [VictorTaelin/Interaction-Calculus](https://github.com/VictorTaelin/Interaction-Calculus) |

## Repository

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## More repos by VictorTaelin

- [VictorTaelin/OptMem · ★ 2,372 · Python · RC](https://repo.masters-masters.com/en/repos/VictorTaelin/OptMem)
- [VictorTaelin/WebMonkeys · ★ 1,443 · JavaScript · Beta](https://repo.masters-masters.com/en/repos/VictorTaelin/WebMonkeys)
- [VictorTaelin/AI-scripts · ★ 715 · TypeScript · Beta](https://repo.masters-masters.com/en/repos/VictorTaelin/AI-scripts)
- [VictorTaelin/uniichat · ★ 651 · TypeScript · Alpha](https://repo.masters-masters.com/en/repos/VictorTaelin/uniichat)
- [VictorTaelin/LJSON · ★ 499 · JavaScript · Alpha](https://repo.masters-masters.com/en/repos/VictorTaelin/LJSON)
- [VictorTaelin/Caramel · ★ 417 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/VictorTaelin/Caramel)

## Nearby in C

- [jgmenu/jgmenu · ★ 961 · C · Beta](https://repo.masters-masters.com/en/repos/jgmenu/jgmenu)
- [ramapcsx2/gbs-control · ★ 961 · C · Beta](https://repo.masters-masters.com/en/repos/ramapcsx2/gbs-control)
- [DomiStyle/docker-idrac6 · ★ 961 · C · Beta](https://repo.masters-masters.com/en/repos/DomiStyle/docker-idrac6)

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