cicada-lang/propagator

Stars
1
Language
TypeScript
License
GNU General Publi...
Created about 4 years ago
Updated 3 months ago

cicada-lang/propagator

cicada-lang

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An implementation of the propagator model.

cicada-solo

Cicada Language (solo version)

inet-cute

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

mo

cicada

Cicada Language

lambda

An interpreter of lambda calculus.

xvm

XVM is a extensible virtual machine.

cicada-seminar-2022

cicada-lang-website

Website of Cicada Language

zigforth

Learn Zig by implementing Forth.

sexp

An implementation of S-expression in JavaScript.

cicada-internships

蝉语实习生 / Cicada Internships

lambda-website

An online code playground for Lambda Calculus

conceptor

An implementation of formal concept analysis.

aziz

Compiler backend practices (runtime and code generation)

mugda-server

A Node.js serverless function that can run Mugda code

cicada-instars

lambda-server

A Node.js serverless function that can run Lambda code

partech

Parsing Techniques

causality

Vague but exciting!

cicada-instars-playground

inet-website

propagator-original

Backup of the original propagator code.

mugda

An implementation of the mugda paper

cicada-server

A Node.js serverless function that can run cicada code

mugda-website

An online code playground for Mugda