The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →
Top 3 TypeScript Dependent Type Projects
-
Project mention: Cicada – A FOSS, Cross-Platform Version of GitHub Actions and Gitlab CI | news.ycombinator.com | 2023-11-06
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"
-
-
SurveyJS
Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App. With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.
-
TypeScript Dependent Types related posts
- Cicada Language: A New Dependently Typed Language
- Ts-Dependent-Types: An Experiment
- A dependent type experiment
- A collection of dependent types
- Ask HN: What technology is “cutting edge” in 2022?
- Cicada Language -- A dependently typed programming language and a interactive theorem prover.
- A new programming language inspired by MIT's Scheme!
-
A note from our sponsor - WorkOS
workos.com | 17 Apr 2024
Index
What are some of the best open-source Dependent Type projects in TypeScript? This list will help you:
Project | Stars | |
---|---|---|
1 | cicada | 93 |
2 | nominal | 67 |
3 | ts-dependent-types | 4 |