Pinned Repositories
chimera
cicada-lang-website
Website of Cicada Language
cicada-plct
Cicada Language (PLCT little team)
cicada-solo
Cicada Language (solo version)
inet
inet-cute
An implementation of interaction nets. -- ASCII art inspired syntax. -- Pure postfix expression. -- Using a stack-based low-layer language to build nets.
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 :)
inet-website
Website of iNet
lambda
An interpreter of lambda calculus.
xvm
XVM is a extensible virtual machine.
Cicada Language's Repositories
cicada-lang/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-lang/cicada-solo
Cicada Language (solo version)
cicada-lang/cicada-plct
Cicada Language (PLCT little team)
cicada-lang/chimera
cicada-lang/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 :)
cicada-lang/lambda
An interpreter of lambda calculus.
cicada-lang/inet
cicada-lang/xvm
XVM is a extensible virtual machine.
cicada-lang/cicada-lang-website
Website of Cicada Language
cicada-lang/cicada-seminar-2022
cicada-lang/cicada-internships
蝉语实习生 / Cicada Internships
cicada-lang/inet-website
Website of iNet
cicada-lang/sexp
An implementation of S-expression in JavaScript.
cicada-lang/cicada-instars
cicada-lang/conceptor
An implementation of formal concept analysis.
cicada-lang/petri-net-js
An implementation of Petri net.
cicada-lang/aziz
Compiler backend practices (runtime and code generation)
cicada-lang/explicit-substitution
An interpreter of lambda calculus by explicit substitution.
cicada-lang/mugda
An implementation of the mugda paper
cicada-lang/partech
Parsing Techniques
cicada-lang/causality
Vague but exciting!
cicada-lang/cicada
cicada-lang/grammar
cicada-lang/propagator
An implementation of the propagator model.
cicada-lang/propagator-original
Backup of the original propagator code.
cicada-lang/.github
Meta repo of Cicada Language GitHub organization
cicada-lang/framework
Our framework for programming language design
cicada-lang/lambda-machine
cicada-lang/monoid
cicada-lang/problem-solvers
Reading "Building Problem Solvers" by Kenneth D. Forbus and Johan de Kleer, 1993