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 →
Top 23 Ada Open-Source Projects
-
gcc_termux
Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt
-
InfluxDB
Power Real-Time Data Analytics at Scale. 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.
-
yoroi-frontend
Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)
-
spark-by-example
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
-
cortex-gnat-rts
This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit (v1)
-
powerjoular
PowerJoular allows monitoring power consumption of multiple platforms and processes. (by joular)
-
cardano_wallet_sdk
Targeting Flutter apps, the Cardano Wallet SDK is a high-level Dart library for managing cryptocurrency accounts & executing transactions on the blockchain.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
I'm attempting this on a Pixel 3. I'm going to try the instructions in the gcc-termux README.md
Project mention: Yoroi Wallet Launches Swaps & Fiat Onramp Integrations | /r/cardano | 2023-11-30Developed by EMURGO Fintech, a division within EMURGO – a founding entity of Cardano blockchain – Yoroi is an open-source crypto wallet for the Cardano ecosystem.
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...
The actual code implementing it is a little hard to find (as always with the quite convoluted and scarcely documented Haskell sources of IOG). I'd suspect it to be somewhere in https://github.com/input-output-hk/cardano-ledger/tree/master/eras.
Project mention: Show HN: Getada: rustup-like installer for Ada's toolchain/package manager | news.ycombinator.com | 2024-04-23Look at the "Linking" section https://github.com/ada-game-framework/sdlada
I'm looking into getting it all automated through pragma's and gpr's.
HAC's "Semantics" target now sets up identifier lists, a feature that happens to match the need for a smart editor's auto-complete feature. In particular, the LEA team seems to be happy about that new development.
Ada related posts
-
Show HN: Getada: rustup-like installer for Ada's toolchain/package manager
-
Alire 2.0 Released
-
November 2023 What Are You Working On?
-
ASFML v2.5.5 (Ada binding to SFML) has been released with an upgrade to CSFML 2.5.2 and improved API documentation
-
Local LLaMa on Android phone
-
When will Voltaire get rid of the 7 keys?
-
Issues while connecting NeoPixel (WS2812B) LED strips with Raspberry Pi Pico
-
A note from our sponsor - InfluxDB
www.influxdata.com | 6 May 2024
Index
What are some of the best open-source Ada projects? This list will help you:
Project | Stars | |
---|---|---|
1 | awesome-ada | 579 |
2 | gcc_termux | 449 |
3 | yoroi-frontend | 332 |
4 | alire | 261 |
5 | AdaDoom3 | 250 |
6 | cardano-ledger | 242 |
7 | spark-by-example | 150 |
8 | sdlada | 108 |
9 | hac | 103 |
10 | RecordFlux | 100 |
11 | ada-awa | 92 |
12 | steamsky | 91 |
13 | OpenGLAda | 90 |
14 | cortex-gnat-rts | 60 |
15 | orka | 57 |
16 | cardano-go | 50 |
17 | powerjoular | 45 |
18 | adawebpack | 44 |
19 | json-ada | 39 |
20 | cardano_wallet_sdk | 38 |
21 | dashera | 37 |
22 | AdaYaml | 37 |
23 | rp2040_hal | 34 |
Sponsored