Sign in Sign up
npm

@xieyuheng/cicada

A nascent programming language as formal deduction system for the foundations of mathematics.

Latest release
Oct 24, 2020
Releases
17
Known CVEs
0
First release
Oct 04, 2020
License
unknown
View on Npm
Repository

Source

xieyuheng/cicada
Stars
Forks
Open issues

Security score

No OpenSSF Scorecard available for this repository.

Packages from this repo

Insights

Activity

Total releases
17
Last 12 months
0
Cadence
~daily
Dependencies
15

Releases per month

last 12 months

Release mix

  • patch 16
17 releases
Dependencies

Depends on

0.0.17
1–10 of 15

Used by

Nothing tracked depends on this yet.

Releases
Version Released
0.0.17 patch
0.0.16 patch
0.0.15 patch
0.0.14 patch
0.0.13 patch
0.0.12 patch
0.0.11 patch
0.0.10 patch
0.0.9 patch
0.0.8 patch
0.0.7 patch
0.0.6 patch
0.0.5 patch
0.0.4 patch
0.0.3 patch
0.0.2 patch
0.0.1 initial