cicada
onedev
| cicada | onedev | |
|---|---|---|
| 9 | 83 | |
| 0 | 12,793 | |
| - | 1.5% | |
| 4.7 | 9.6 | |
| 6 days ago | 1 day ago | |
| TypeScript | Java | |
| 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.
onedev
- OneDev: Git server with CI/CD, Kanban, and packages
- Gitlab Duo
-
Cicada – A FOSS, Cross-Platform Version of GitHub Actions and Gitlab CI
I'm going to plug https://onedev.io/ its awesome. Its self hosted and has its own tooling for CI/CD. I feel it doesn't get enough love, but I've been using it for years for my own stuff.
- Harness launches Gitness, an open-source GitHub competitor
- Ask HN: Gitlab or Gitea for self-hosting Git?
-
My Ten-Year DevOps Product Welcomed Its First Commercial Customer
I started to develop OneDev (https://onedev.io) since 2013 as an open source project in my spare time. To sustain long-term development of the project, an enterprise edition was released last month, and today it welcomed the first commercial customer. Not a very successful project from monetization point of view, but I enjoyed all the trips developing and maintaining it.
- Revolt: FOSS Discord Alternative
-
What self-hosted Git server ?
An option I don't see often brought up but I use it myself and love it is https://github.com/theonedev/onedev. It has its own CICD implementation along with a visual interface to configure the tasks. The developers are very responsive when issues are reported, and it has a very good code search engine with symbol recognition.
-
Self-hosted Alternatived to ClickUp?
https://leantime.io/ And https://onedev.io/ (if you want ci/cd as well)
-
GitHub Projects alternatives
OneDev supports projects.
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.
Gitea - Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD
ttlite - A SuperCompiler for Martin-Löf's Type Theory
gitlab
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 :)
Jenkins - Jenkins automation server
Formality - A modern proof language [Moved to: https://github.com/kind-lang/Kind]
woodpecker - Woodpecker is a simple yet powerful CI/CD engine with great extensibility.
TSCPL - Moved to https://codeberg.org/mdwalters/TSCPL
gitlab-runner
anders - 🧊 Модальний гомотопічний верифікатор математики
drone - Gitness is an Open Source developer platform with Source Control management, Continuous Integration and Continuous Delivery. [Moved to: https://github.com/harness/gitness]