cicada
nzcp-js
| cicada | nzcp-js | |
|---|---|---|
| 9 | 5 | |
| 0 | 36 | |
| - | - | |
| 4.7 | 1.8 | |
| 6 days ago | about 2 years ago | |
| TypeScript | TypeScript | |
| GNU General Public License v3.0 only | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
cicada
-
Cicada – A FOSS, Cross-Platform Version of GitHub Actions and Gitlab CI
There is a collision in names:
Cicada, this CI tool, uses a DSL (domain specific language) to write configuration, and this DSL is referred to as "Cicada language", and blasted in marketing copy as a "real programming language" on https://cicada.sh/
However, this is a completely different language from Cicada language, a programming language and theorem prover hosted at https://cicada-lang.org/ and https://github.com/cicada-lang/cicada
This name collision is very confusing, and I wonder why Cicada the CI tool didn't just stick to python, since it is also a "real programming language"
- Cicada Language: A New Dependently Typed Language
- Ask HN: What technology is “cutting edge” in 2022?
-
Cicada Language -- A dependently typed programming language and a interactive theorem prover.
We have an issue about "Type: Type can lead to Russell's paradox": https://github.com/cicada-lang/cicada/issues/12
- A new programming language inspired by MIT's Scheme!
- Cicada Language (JavaScript with dependent type)
- Cicada Language
- GitHub - cicada-lang/cicada: a dependently typed programming language and interactive theorem prover.
nzcp-js
-
Ask HN: What technology is “cutting edge” in 2022?
I'm the author of one of the open source NZ vaccination passport libs. I'm pretty familiar with the specification and afaik I know theres no use of ZKP's. Its a fairly standard public/private key cryptography. Happy to be proven wrong though!
Here's the spec: https://nzcp.covid19.health.nz/ and our implementation https://github.com/vaxxnz/nzcp-js
- NZCP.js - A verification library for COVID-19 Vaccine Passes in New Zealand
-
We've been developing a free, open-source app to verify NZ COVID passes. It's now available for Android!
It's not even slightly illegal, it's based on the government's open-source technical specification and nzcp-js. They also have not been 'shutting down other apps', wdym
- Open Source SDK for New Zealand Covid Passes
What are some alternatives?
awesome-rust-formalized-reasoning - An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
nzcp4j - New Zealand Covid Pass for Java
ttlite - A SuperCompiler for Martin-Löf's Type Theory
nzcp-rust - An implementation of NZ COVID Pass verification written in Rust
inet-js - 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 :)
VaxVerifyNZ - Proof-of-concept mobile app for verifying NZ vaccination certificates
Formality - A modern proof language [Moved to: https://github.com/kind-lang/Kind]
Covid19 - COVID 19 - React Native app for displaying your country's stats on Corona Virus available on Android, iOS and Web
TSCPL - Moved to https://codeberg.org/mdwalters/TSCPL
nzcovidpass-spec
anders - 🧊 Модальний гомотопічний верифікатор математики
validator-list - List of known NZ COVID Pass validators