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

  1. cicada-plct cicada-plct Public

    Cicada Language (PLCT little team)

    TypeScript 91 6

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

    Website of Cicada Language

    Vue 5 3

  3. inet-js inet-js Public

    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 :)

    TypeScript 39

  4. inet-website inet-website Public

    Website of iNet

    TypeScript 4 1

Repositories

Showing 10 of 28 repositories
  • chimera Public
    TypeScript 73 GPL-3.0 3 0 0 Updated May 27, 2024
  • clique Public

    My language practices :)

    TypeScript 26 GPL-3.0 3 1 0 Updated May 27, 2024
  • cicada Public

    Cicada Language

    TypeScript 2 GPL-3.0 0 0 0 Updated May 27, 2024
  • grammar Public
    TypeScript 1 GPL-3.0 0 0 0 Updated May 27, 2024
  • lambda-machine Public
    JavaScript 0 GPL-3.0 0 0 0 Updated May 27, 2024
  • propagator Public
    TypeScript 0 GPL-3.0 0 0 0 Updated May 27, 2024
  • cicada-plct Public

    Cicada Language (PLCT little team)

    TypeScript 91 GPL-3.0 6 13 0 Updated May 17, 2024
  • inet-js Public

    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 :)

    TypeScript 39 GPL-3.0 0 2 0 Updated May 15, 2024
  • petri-net-js Public

    An implementation of Petri net.

    TypeScript 3 GPL-3.0 0 0 0 Updated May 11, 2024
  • inet-cute Public

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

    TypeScript 129 GPL-3.0 2 0 0 Updated May 11, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…