npmjs.org namespaces: cicada-lang
View the packages within the cicada-lang namespace on the npmjs.org package registry, including their maintainers and dependencies.
@cicada-lang/mugda.sexp 0.1.13
An implementation of the [Mugda paper](docs/papers/termination-checking-for-a-dependently-typed-l...13 versions - Latest release: over 2 years ago - 1 dependent package - 69 downloads last month - 2 stars on GitHub - 1 maintainer
@cicada-lang/clique 0.3.0
I use [S-expression](https://github.com/cicada-lang/sexp) as syntax to express ideas clearly.7 versions - Latest release: about 1 year ago - 38 downloads last month - 28 stars on GitHub - 1 maintainer
@cicada-lang/cicada-sole 0.7.12
**This is an old implementation of cicada language before we have an active team.**4 versions - Latest release: over 2 years ago - 1 dependent package - 24 downloads last month - 1 maintainer
@cicada-lang/lang-practices 0.2.3
Use [S-expression](https://github.com/cicada-lang/sexp) as overall syntax, to expression ideas cl...1 version - Latest release: over 1 year ago - 12 downloads last month - 28 stars on GitHub - 1 maintainer
@cicada-lang/aziz 0.0.1
Compiler backend practices (runtime and code generation).1 version - Latest release: over 2 years ago - 1 dependent package - 12 downloads last month - 2 stars on GitHub - 1 maintainer
@cicada-lang/librarian 0.0.13
## Contributions10 versions - Latest release: over 3 years ago - 3 dependent packages - 2 dependent repositories - 20 downloads last month - 1 maintainer
@cicada-lang/lambda 0.3.1
An interpreter of [lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus).57 versions - Latest release: 9 months ago - 1 dependent package - 2 dependent repositories - 267 downloads last month - 28 stars on GitHub - 1 maintainer
@cicada-lang/framework 0.2.0
Our framework for programming language design.8 versions - Latest release: over 1 year ago - 12 dependent packages - 3 dependent repositories - 47 downloads last month - 0 stars on GitHub - 1 maintainer
@cicada-lang/cicada-next 0.2.3
[ [HOMEPAGE](https://cicada-lang.org) | [MANUAL](https://readonly.link/manuals/cicada-lang/cicada...3 versions - Latest release: over 2 years ago - 1 dependent package - 22 downloads last month - 92 stars on GitHub - 1 maintainer
@cicada-lang/cicada-instars 0.0.20
## Contents1 version - Latest release: almost 4 years ago - 1 dependent package - 7 downloads last month - 3 stars on GitHub - 1 maintainer
@cicada-lang/whereabouts 0.3.9
> I asked the boy beneath the pines. <br/> > He said, "The master's gone alone <br/> > Herb-picki...51 versions - Latest release: over 2 years ago - 1 dependent package - 303 downloads last month - 72 stars on GitHub - 1 maintainer
@cicada-lang/inet-js 0.4.0
[ [Website](https://inet.run) | [iNet Cute](https://github.com/cicada-lang/inet-cute) ]15 versions - Latest release: 6 months ago - 1 dependent repositories - 76 downloads last month - 51 stars on GitHub - 1 maintainer
@cicada-lang/petri-net-js 0.1.0
This is an implementation of [Petri net](https://en.wikipedia.org/wiki/Petri_net).1 version - Latest release: over 1 year ago - 13 downloads last month - 4 stars on GitHub - 1 maintainer
@cicada-lang/mo 0.4.3
## Usages11 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 64 downloads last month - 72 stars on GitHub - 1 maintainer
@cicada-lang/chimera 0.4.8
## Usages5 versions - Latest release: about 1 year ago - 33 downloads last month - 72 stars on GitHub - 1 maintainer
@cicada-lang/cicada-whereabouts 0.1.10
Logic programming with [JSON](https://www.json.org).11 versions - Latest release: over 2 years ago - 1 dependent package - 77 downloads last month - 73 stars on GitHub - 1 maintainer
@cicada-lang/suki 0.0.6
An untyped pure functional programming language where every thing is an object.6 versions - Latest release: about 3 years ago - 1 dependent package - 38 downloads last month - 1 maintainer
Top 9.3% on npmjs.org
37 versions - Latest release: over 1 year ago - 9 dependent packages - 9 dependent repositories - 243 downloads last month - 4 stars on GitHub - 1 maintainer
@cicada-lang/sexp 0.1.2
> Syntax without representation is tyranny. > > -- Sussman's mantra37 versions - Latest release: over 1 year ago - 9 dependent packages - 9 dependent repositories - 243 downloads last month - 4 stars on GitHub - 1 maintainer
@cicada-lang/monoid 0.1.2
Monoid as type system and programming with [interaction nets](https://en.wikipedia.org/wiki/Inter...2 versions - Latest release: over 1 year ago - 12 downloads last month - 0 stars on GitHub - 1 maintainer
@cicada-lang/inet-canvas 0.0.1
A library for drawing interaction nets on canvas.1 version - Latest release: over 1 year ago - 7 downloads last month - 0 stars on GitHub - 1 maintainer
@cicada-lang/inet.js 0.1.36
[ [Website](https://inet.run) ]1 version - Latest release: over 1 year ago - 7 downloads last month - 46 stars on GitHub - 1 maintainer
@cicada-lang/lambda-machine 0.0.1
when implementing lambda calculus as an interpreter, the depth of the call stack is limited by th...1 version - Latest release: over 1 year ago - 8 downloads last month - 0 stars on GitHub - 1 maintainer
@cicada-lang/propagator 0.0.2
An implementation of the propagator model.2 versions - Latest release: 10 months ago - 7 downloads last month - 1 stars on GitHub - 1 maintainer
Top 7.6% on npmjs.org
30 versions - Latest release: over 2 years ago - 30 dependent packages - 16 dependent repositories - 157 downloads last month - 2 stars on GitHub - 1 maintainer
@cicada-lang/partech 0.2.5
Parsing Techniques -- A language for writing grammars and generating parsers.30 versions - Latest release: over 2 years ago - 30 dependent packages - 16 dependent repositories - 157 downloads last month - 2 stars on GitHub - 1 maintainer
@cicada-lang/problem-solvers 0.0.1
Reading "Building Problem Solvers" by Kenneth D. Forbus and Johan de Kleer, 1993.1 version - Latest release: 8 months ago - 3 downloads last month - 0 stars on GitHub - 1 maintainer
@cicada-lang/inet-cute 0.2.2
[ [Website](https://inet.run) | [iNet JS](https://github.com/cicada-lang/inet-js) ]6 versions - Latest release: 6 months ago - 14 downloads last month - 126 stars on GitHub - 1 maintainer
Top 10.0% on npmjs.org
210 versions - Latest release: 7 months ago - 1 dependent package - 1 dependent repositories - 428 downloads last month - 3 stars on GitHub - 1 maintainer
@cicada-lang/cicada 0.8.25
[ [HOMEPAGE](https://cicada-lang.org) | [PLAY](https://cicada-lang.org/playground) ]210 versions - Latest release: 7 months ago - 1 dependent package - 1 dependent repositories - 428 downloads last month - 3 stars on GitHub - 1 maintainer
@cicada-lang/mugda 0.1.22
> Recursion is not an option. > > -- ["The Little Typer"](https://mitpress.mit.edu/9780262536431/...9 versions - Latest release: over 2 years ago - 1 dependent package - 20 downloads last month - 2 stars on GitHub - 1 maintainer
@cicada-lang/lambda-disco 0.0.3
An implementation of Lambda Cube in JavaScript.1 version - Latest release: almost 3 years ago - 1 dependent package - 15 downloads last month - 1 maintainer
@cicada-lang/inet 0.2.1
[ [Website](https://inet.run) | [iNet JS](https://github.com/cicada-lang/inet-js) ]47 versions - Latest release: 6 months ago - 1 dependent package - 96 downloads last month - 126 stars on GitHub - 1 maintainer
@cicada-lang/platinum 0.2.0
A language for writing parsers, embedded in JavaScript/TypeScript.3 versions - Latest release: over 2 years ago - 1 dependent package - 10 downloads last month - 0 stars on - 1 maintainer
@cicada-lang/libraries 0.0.4
## Contributions1 version - Latest release: almost 4 years ago - 1 dependent package - 4 downloads last month - 1 maintainer
@cicada-lang/lambda-cube 0.0.3
An implementation of Lambda Cube in JavaScript.2 versions - Latest release: about 3 years ago - 1 dependent package - 6 downloads last month - 1 maintainer