Cicada Language

All

35 repositories

sexp
Public
An implementation of S-expression in JavaScript.
scheme parser lisp sexp s-expression
TypeScript
•
GNU General Public License v3.0
•0•4•0•0•Updated Dec 25, 2024Dec 25, 2024
framework
Public
Our framework for programming language design
TypeScript
•
GNU General Public License v3.0
•0•0•1•0•Updated Dec 25, 2024Dec 25, 2024
cicada-lisp
Public
Cicada Language
0•1•0•0•Updated Dec 25, 2024Dec 25, 2024
causality
Public
Vague but exciting!
TypeScript
•
GNU General Public License v3.0
•0•1•0•0•Updated Dec 25, 2024Dec 25, 2024
mugda
Public
An implementation of the mugda paper
agda type-checker halting-problem mugda termination-checking
TypeScript
•
GNU General Public License v3.0
•2•2•5•0•Updated Dec 25, 2024Dec 25, 2024
petri-net-js
Public
An implementation of Petri net.
TypeScript
•
GNU General Public License v3.0
•0•3•0•0•Updated Dec 25, 2024Dec 25, 2024
lambda-machine
Public
JavaScript
•
GNU General Public License v3.0
•0•0•0•0•Updated Dec 25, 2024Dec 25, 2024
lambda
Public
An interpreter of lambda calculus.
scheme lambda lisp interpreter lambda-calculus recursion sexp s-expression lazy-evaluation s-exp
TypeScript
•
GNU General Public License v3.0
•3•27•1•0•Updated Dec 25, 2024Dec 25, 2024
cicada-plct
Public
Cicada Language (PLCT little team)
language programming-language dependent-types repl type-theory type-system cicada prover interactive-theorem-proving theorem-prover
TypeScript
•
GNU General Public License v3.0
•7•92•13•1•Updated Dec 25, 2024Dec 25, 2024
cicada
Public
Cicada Language
0•2•4•0•Updated Dec 25, 2024Dec 25, 2024
cicada-solo
Public
Cicada Language (solo version)
dependent-types repl type-theory type-system cicada prover interactive-theorem-proving theorem-prover dependent-record-types dependent-type-theory
TypeScript
•
GNU General Public License v3.0
•5•128•4•0•Updated Dec 25, 2024Dec 25, 2024
inet-website
Public
Website of iNet
playground canvas graph inet language-playground
TypeScript
•
GNU General Public License v3.0
•1•4•0•0•Updated Dec 25, 2024Dec 25, 2024
chimera
Public
programming-language json logic logic-programming
TypeScript
•
GNU General Public License v3.0
•3•73•0•0•Updated Dec 25, 2024Dec 25, 2024
conceptor
Public
An implementation of formal concept analysis.
lattice formal-concept-analysis fca
TypeScript
•
GNU General Public License v3.0
•0•3•0•0•Updated Dec 25, 2024Dec 25, 2024
problem-solvers
Public
Reading "Building Problem Solvers" by Kenneth D. Forbus and Johan de Kleer, 1993
TypeScript
•
GNU General Public License v3.0
•0•0•0•0•Updated Dec 25, 2024Dec 25, 2024
partech
Public
Parsing Techniques
TypeScript
•
GNU General Public License v3.0
•1•2•0•0•Updated Dec 25, 2024Dec 25, 2024
inet-cute
Public
An implementation of interaction nets in JS.
programming-language interpreter graph ascii-art interaction-nets monoid graph-processing language-design stack-based programming-language-concepts
TypeScript
•
GNU General Public License v3.0
•3•132•0•0•Updated Dec 25, 2024Dec 25, 2024
inet-js
Public
This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
language programming-language interpreter graph interaction-nets graph-processing language-design programming-language-concepts inet programming-language-development
TypeScript
•
GNU General Public License v3.0
•1•46•2•0•Updated Dec 25, 2024Dec 25, 2024
propagator
Public
An implementation of the propagator model.
propagator
TypeScript
•
GNU General Public License v3.0
•0•1•5•0•Updated Dec 25, 2024Dec 25, 2024
inet
Public
An implementation of interaction nets as a forth-like concatenative programming language.
interpreter concatenative interaction-nets graph-processing language-design inet linear-logic forth-like computation-model scalable-c
C
•
GNU General Public License v3.0
•0•15•4•0•Updated Dec 25, 2024Dec 25, 2024
xvm
Public
XVM is an extensible 64-bit stack virtual machine with tagged value.
virtual-machine
C
•
GNU General Public License v3.0
•0•9•0•0•Updated Dec 25, 2024Dec 25, 2024
c-modules
Public
Our C project template.
C
•
GNU General Public License v3.0
•0•0•0•0•Updated Dec 23, 2024Dec 23, 2024
essentials-of-compilation
Public
A practice of "Essentials of Compilation: An Incremental Approach in Racket" -- a book by Jeremy G. Siek, 2023.
TypeScript
•
GNU General Public License v3.0
•0•0•0•0•Updated Nov 5, 2024Nov 5, 2024
cicada-lang-website
Public
Website of Cicada Language
Vue
•
GNU General Public License v3.0
•2•5•0•0•Updated Nov 1, 2024Nov 1, 2024
explicit-substitution
Public
An interpreter of lambda calculus by explicit substitution.
interpreter lambda-calculus explicit-substitution
TypeScript
•
GNU General Public License v3.0
•0•2•0•0•Updated Oct 3, 2024Oct 3, 2024
propagator-original
Public
Backup of the original propagator code.
Scheme
•
GNU General Public License v3.0
•0•1•0•0•Updated Sep 13, 2024Sep 13, 2024
grammar
Public
TypeScript
•
GNU General Public License v3.0
•0•1•0•0•Updated May 27, 2024May 27, 2024
cicada-internships
Public
蝉语实习生 / Cicada Internships
0•4•0•0•Updated May 11, 2024May 11, 2024
.github
Public
Meta repo of Cicada Language GitHub organization
0•0•0•0•Updated Jan 14, 2024Jan 14, 2024
monoid
Public
GNU General Public License v3.0
•0•0•0•0•Updated Jan 14, 2024Jan 14, 2024