Skip to content
@cicada-lang

Cicada Language

Let's build a bridge between writing software and doing mathematics.
README.md

Welcome to Cicada Language ^-^/

[ HOMEPAGE | MANUAL | PLAY | ABOUT ]

Cicada Language is a dependently typed
programming language and an
interactive theorem prover.

Tools:

Language design practices:

  • mugda: An implementation of the Mugda paper by Karl Mehltretter.
  • inet-js: Programming with interaction nets.
  • inet-cute: Programming with interaction nets (cute edition).
  • cicada-instars: Five early language design practices.

Sponsors:

  • Thanks PLCT Lab, for sponsoring our community at very early stage of our project.

Pinned Loading

  1. cicada-plct cicada-plct Public

    Cicada Language (PLCT little team)

    TypeScript 92 7

  2. cicada-lang-website cicada-lang-website Public

    Website of Cicada Language

    Vue 5 2

  3. inet-website inet-website Public

    Website of iNet

    TypeScript 4 1

  4. inet-cute inet-cute Public

    An implementation of interaction nets in JS.

    TypeScript 132 3

Repositories

Showing 10 of 36 repositories
  • inet-forth Public

    An implementation of interaction nets as a forth-like concatenative programming language.

    cicada-lang/inet-forth’s past year of commit activity
    C 19 GPL-3.0 0 3 0 Updated Dec 27, 2024
  • c-modules Public

    Our C project template.

    cicada-lang/c-modules’s past year of commit activity
    C 0 GPL-3.0 0 0 0 Updated Dec 27, 2024
  • xvm Public

    XVM is an extensible 64-bit stack virtual machine with tagged value.

    cicada-lang/xvm’s past year of commit activity
    C 9 GPL-3.0 0 0 0 Updated Dec 27, 2024
  • xforth Public

    xforth is a forth-like language with tagged value that is extensible by C.

    cicada-lang/xforth’s past year of commit activity
    C 1 GPL-3.0 0 0 0 Updated Dec 26, 2024
  • sexp Public

    An implementation of S-expression in JavaScript.

    cicada-lang/sexp’s past year of commit activity
    TypeScript 4 GPL-3.0 0 0 0 Updated Dec 25, 2024
  • framework Public

    Our framework for programming language design

    cicada-lang/framework’s past year of commit activity
    TypeScript 0 GPL-3.0 0 1 0 Updated Dec 25, 2024
  • cicada-lisp Public

    Cicada Language

    cicada-lang/cicada-lisp’s past year of commit activity
    1 0 0 0 Updated Dec 25, 2024
  • causality Public

    Vague but exciting!

    cicada-lang/causality’s past year of commit activity
    TypeScript 1 GPL-3.0 0 0 0 Updated Dec 25, 2024
  • mugda Public

    An implementation of the mugda paper

    cicada-lang/mugda’s past year of commit activity
    TypeScript 2 GPL-3.0 2 5 0 Updated Dec 25, 2024
  • petri-net-js Public

    An implementation of Petri net.

    cicada-lang/petri-net-js’s past year of commit activity
    TypeScript 3 GPL-3.0 0 0 0 Updated Dec 25, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…