VictorTaelin/Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
RustMIT
Stargazers
- AnthonyJacob
- arhikHyderabad
- arvoelke@anthropics
- Boscop
- brendanzab@yeslogic
- caindy
- chrisfls@timeline-holdings
- cmdplusr
- dhess@hackworthltd
- g0xA52A2A
- gabriela-sartoriBrazil
- gtim108
- hunglethanh9FPT University
- jackolanternBrooklyn, NY
- JJayet@bahouse
- justanotherdot@getqsic
- kayo-camposLoft
- KesanovPrague
- KiaraGrouwstraBIJ1
- kloumpt
- nothingnessesGMT+0
- oisdkCork, Ireland
- oliveira-julio
- pandafulmandaHouston, TX
- PedroHLC@timeline-holdings
- RDR8
- rehno-lindequeCircuitHub
- robertfairleyCanada
- sayingandparsing
- sledorzeLille, France
- smottahediGreater New York City Area
- themaxheroSantos - SP, Brazil
- tloriatoTeya
- uberjayBlockbridge Networks
- viniciusfk9
- vith