Top 23 Ada Open-Source Projects
A curated list of awesome resources related to the Ada and SPARK programming languageProject mention: Ada Library and Tutorial Requests | reddit.com/r/ada | 2022-04-25
All libraries listed in awesome-ada added to Alire.
Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txtProject mention: Soo I solved the PEP 517 problem but this is the thing now... | reddit.com/r/termux | 2022-04-29
Did you add the It's Pointless repo?
Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)Project mention: What Is Lace Wallet? | reddit.com/r/cardano | 2022-06-11
Lace gives them the opportunity to build a wallet that is highly integrated into Cardano and aligned with their goals. Lace will have a great UX, work on mobile, support Catalyst voting and staking, have an integrated dapp store, will support Mithril, and will integrate Atala Prism digital identities. None of the existing wallets support all these features and relying on the community to build a wallet that supports all their use cases is risky for IOHK. They originally relied on Emurgo to build Yoroi and that didn't work out so great. IOHK also has a lot more resources than the other wallet providers and building their own wallet allows them to closely integrate that wallet with the developement of Cardano. For example the way stake pools are displayed and ordered in a wallet is critical for Cardano's decentralization. Pools might try to pay wallets to promote their pools. This has already happened.
Id Software's Id-tech-4-BFG in the Ada programming language.
The ledger implementation and specifications of the Cardano blockchain.Project mention: What makes me even more confident about Cardano’s adoption and crypto in general. | reddit.com/r/cardano | 2022-03-26
See for yourselves all the commits in the source repo for the implementation, it is sooo active: https://github.com/input-output-hk/cardano-ledger/commits/master
Command-line tool from the Alire project and supporting libraryProject mention: Alire 1.2.0 release | reddit.com/r/programming | 2022-06-06
Ada 2012 bindings to SDL 2Project mention: Is it worth it to learn Ada in 2022? And how do I learn it? | reddit.com/r/ada | 2022-06-07
COUGH, it's not just for military and aerospace or embedded.
Developer Ecosystem Survey 2022. Take part in the Developer Ecosystem Survey 2022 by JetBrains and get a chance to win a Macbook, a Nvidia graphics card, or other prizes. We’ll create an infographic full of stats, and you’ll get personalized results so you can compare yourself with other developers.
Formal message specification and generation of verifiable binary parsers and message generatorsProject mention: Why isn't there a Swagger/OpenAPI for binary formats? | news.ycombinator.com | 2022-03-25
Thick Ada binding for OpenGL and GLFW
Mirror of roguelike in sky with a steampunk settingProject mention: Sharing Saturday #412 | reddit.com/r/roguelikedev | 2022-04-29
Still nothing to report in the stable version. But I have some things to check there. I also checked one old report about problems with lagging keys on Windows, and it looks good for me. If someone could check it too, and inform me about the result, it would be very nice. :)
Ada Web Application - Framework to build high performance secure web applicationsProject mention: AWS (Ada Web Server) Success Stories? | reddit.com/r/ada | 2022-03-08
Stéphane Carrez is the goto guy for web stuff in ada (u/ciceron67 on reddit I thnik). He has developed a whole framework, based on AWS as far as I can tell. You can see here: https://github.com/stcarrez/ada-awa
HAC Ada Compiler - a small, quick Ada compiler fully in AdaProject mention: Ann: HAC v.0.2 | reddit.com/r/ada | 2022-06-25
Web site: http://hacadacompiler.sf.net/ From there, links to sources, and an executable for Windows.
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:bitProject mention: Define project-wide allocator on bare application. | reddit.com/r/ada | 2021-10-28
You could look at providing your own version of System.Memory - this was easy enough in an embedded system with a restricted runtime, but much hairier in full Ada.
The OpenGL 4.6 Rendering Kernel in Ada 2012
Ada WASM Runtime and Bindings for Web APIProject mention: webassemblyjs VS adawebpack - a user suggested alternative | libhunt.com/r/webassemblyjs | 2021-12-28
A toolchain, RTL and WebAPI binding for Ada
experimental YAML 1.3 implementation in Ada
DasherA is a rewrite of my Data General DASHER terminal emulator in Ada using the GtkAda toolkit and only Gtk3 elements.Project mention: Lessons Learnt Moving a GTK Application from Go to Ada | reddit.com/r/hackernews | 2022-03-11
Ready-to-deploy plugins and configuration which change Vim/NeoVim into (mostly Ada) IDEProject mention: The Ada ecosystem? | reddit.com/r/ada | 2021-12-17
In terms of bootstrapping your environment and getting started, I'd recommend looking at Vim-Ada and Awesome Ada. I also tried to write up some practical advice from my experience, which might be helpful.
Retro ASCII Puzzles plus SpaceInvaders, Pacman & Frogger arcade games that run WITH SOUND in a terminal on any platform !!Project mention: GitHub - fastrgv/CoTerminalApps: Retro ASCII Puzzles plus SpaceInvaders, Pacman & Frogger arcade games that run WITH SOUND in a terminal on any platform !! | reddit.com/r/programming | 2021-11-28
A work-in-progess programming language modeled after Ada and C++ (by csb6)Project mention: January 2022 monthly "What are you working on?" thread | reddit.com/r/ProgrammingLanguages | 2022-01-01
I am working some again on my Ada-like language bluebird. I am making another attempt to use MLIR as an intermediate IR between the AST and LLVM IR (I made a brief attempt a few months ago just to look into it).
A library of algorithms for coin selection and fee balancing.
Tooling for analysis and manipulation of Ada softwareProject mention: Renaissance-Ada, a toolset for legacy Ada software, made open source | reddit.com/r/ada | 2022-01-28
Python3 lib and cli for operating a Cardano Passive Node and using the API's. (PRE-ALPHA)
Ada related posts
Ann: HAC v.0.2
2 projects | reddit.com/r/ada | 25 Jun 2022
3 projects | reddit.com/r/ada | 10 Jun 2022
Is it worth it to learn Ada in 2022? And how do I learn it?
4 projects | reddit.com/r/ada | 7 Jun 2022
Alire 1.2.0 release
1 project | reddit.com/r/programming | 6 Jun 2022
Alire 1.2.0 release
1 project | reddit.com/r/ada | 6 Jun 2022
June 2022 What Are You Working On?
11 projects | reddit.com/r/ada | 31 May 2022
Alire v1.2.0 release candidate
2 projects | reddit.com/r/ada | 18 May 2022
What are some of the best open-source Ada projects? This list will help you:
Are you hiring? Post a new remote job listing for free.