Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →
Ada Package Management Projects
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
Project mention: Show HN: Getada: rustup-like installer for Ada's toolchain/package manager | news.ycombinator.com | 2024-04-23> I don't know if this tool solves the problem
Not yet but it's on my list as a "phase 2" of sorts for getada. I have an alpine VPS that I'm playing around with but the main issue is that while alire can be built for alpine, any compilers it pulls from its toolchain won't work with it since none of them are built against musl. We've been talking about it here https://github.com/alire-project/alire/issues/792#issuecomme...
NOTE:
The open source projects on this list are ordered by number of github stars.
The number of mentions indicates repo mentiontions in the last 12 Months or
since we started tracking (Dec 2020).
Ada Package Management related posts
- Alire 2.0 Released
- MACbook M1 - alr, gnat development troubles
- Since MSys2 dropped support for Ada (!), how can I build Ada projects such as sdlada and gprbuild-bootstrap that require command-line tools (e.g. makefiles or bootstrap.sh) on Windows?
- Alire - inability to install some packages from the repository
- Your feedback wanted on Alire policy about Unicode
- FOSDEM 2023 – Get Started with Open Source Formal Verification
- Please explain how to control dependencies for commercial Ada software development in Alire.
-
A note from our sponsor - InfluxDB
www.influxdata.com | 28 Apr 2024
Index
Project | Stars | |
---|---|---|
1 | alire | 255 |
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com