Cicada Language

inet-cute

An implementation of interaction nets. -- ASCII art inspired syntax. -- Pure postfix expression. -- Using a stack-based low-layer language to build nets.

cicada-solo

Cicada Language (solo version)

cicada-plct

Cicada Language (PLCT little team)

chimera

inet-js

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 :)

clique

My language practices :)

inet

xvm

XVM is a extensible virtual machine.

cicada-lang-website

Website of Cicada Language

cicada-seminar-2022

cicada-internships

蝉语实习生 / Cicada Internships

inet-website

Website of iNet

sexp

An implementation of S-expression in JavaScript.

cicada-instars

petri-net-js

An implementation of Petri net.

aziz

Compiler backend practices (runtime and code generation)

cicada

Cicada Language

mugda

An implementation of the mugda paper

partech

Parsing Techniques

causality

Vague but exciting!

cicada-instars-playground

grammar

.github

Meta repo of Cicada Language GitHub organization

cicada-propaganda

Propaganda of Cicada Language

framework

Our framework for programming language design

lambda-machine

monoid