Cicada Language
Results
6
repositories owned by
Cicada Language
cicada-solo
125
Stars
5
Forks
Watchers
Cicada Language (solo version)
cicada-plct
91
Stars
6
Forks
Watchers
Cicada Language (PLCT little team)
inet-cute
130
Stars
3
Forks
Watchers
An implementation of interaction nets. -- ASCII art inspired syntax. -- Pure postfix expression. -- Using a stack-based low-layer language to build nets.
lambda
26
Stars
3
Forks
Watchers
An interpreter of lambda calculus.
inet-js
43
Stars
1
Forks
Watchers
This is an implementation of interaction nets. It introduces you to the bizarre world of graph-based computation and linear logic, using a familiar JavaScript-like syntax :)