Skip to content
@cicada-lang

Cicada Language

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

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 Public

    Cicada Language (PLCT little team)

    TypeScript 92 7

  2. cicada-lang-website Public

    Website of Cicada Language

    Vue 5 2

  3. inet-website Public

    Website of iNet

    TypeScript 5 1

  4. inet-cute Public

    An implementation of interaction nets in JS.

    TypeScript 132 3

Repositories

Showing 10 of 38 repositories
  • inet-lisp Public

    An implementation of interaction nets as a lisp-like language.

    C 1 GPL-3.0 0 0 0 Updated Mar 18, 2025
  • c-modules Public

    Our C project template.

    C 0 GPL-3.0 0 0 0 Updated Mar 9, 2025
  • inet-forth Public

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

    C 27 GPL-3.0 0 0 0 Updated Feb 27, 2025
  • x-lisp Public
    0 0 0 0 Updated Feb 20, 2025
  • cicada-lisp Public
    1 0 0 0 Updated Feb 20, 2025
  • petri-net-js Public

    An implementation of Petri net.

    TypeScript 4 GPL-3.0 1 0 0 Updated Jan 16, 2025
  • inet-cute Public

    An implementation of interaction nets in JS.

    TypeScript 132 GPL-3.0 3 0 0 Updated Jan 11, 2025
  • inet-js Public

    This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)

    TypeScript 51 GPL-3.0 1 2 0 Updated Jan 11, 2025
  • chimera Public
    TypeScript 72 GPL-3.0 3 0 0 Updated Jan 8, 2025
  • x-forth Public

    x-forth is a forth-like language with tagged value that is extensible by c.

    C 1 GPL-3.0 0 0 0 Updated Jan 5, 2025