Ada

Open-source projects categorized as Ada Edit details

Top 23 Ada Open-Source Projects

  • awesome-ada

    A curated list of awesome resources related to the Ada and SPARK programming language

    Project mention: Ada Library and Tutorial Requests | reddit.com/r/ada | 2022-04-25

    All libraries listed in awesome-ada added to Alire.

  • gcc_termux

    Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt

    Project 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?

  • Scout APM

    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-frontend

    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.

  • AdaDoom3

    Id Software's Id-tech-4-BFG in the Ada programming language.

  • cardano-ledger

    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

  • alire

    Command-line tool from the Alire project and supporting library

    Project mention: Alire 1.2.0 release | reddit.com/r/programming | 2022-06-06
  • sdlada

    Ada 2012 bindings to SDL 2

    Project 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.

  • JetBrains

    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.

  • RecordFlux

    Formal message specification and generation of verifiable binary parsers and message generators

    Project mention: Why isn't there a Swagger/OpenAPI for binary formats? | news.ycombinator.com | 2022-03-25
  • OpenGLAda

    Thick Ada binding for OpenGL and GLFW

    Project mention: Ada Library vs Project | reddit.com/r/ada | 2022-03-10
  • steamsky

    Mirror of roguelike in sky with a steampunk setting

    Project 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-awa

    Ada Web Application - Framework to build high performance secure web applications

    Project 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

    HAC Ada Compiler - a small, quick Ada compiler fully in Ada

    Project 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.

  • 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

    Project 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.

  • orka

    The OpenGL 4.6 Rendering Kernel in Ada 2012

    Project mention: Ada Library vs Project | reddit.com/r/ada | 2022-03-10
  • adawebpack

    Ada WASM Runtime and Bindings for Web API

    Project mention: webassemblyjs VS adawebpack - a user suggested alternative | libhunt.com/r/webassemblyjs | 2021-12-28

    A toolchain, RTL and WebAPI binding for Ada

  • AdaYaml

    experimental YAML 1.3 implementation in Ada

  • dashera

    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
  • vim-ada

    Ready-to-deploy plugins and configuration which change Vim/NeoVim into (mostly Ada) IDE

    Project 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.

  • CoTerminalApps

    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
  • bluebird

    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).

  • cardano-coin-selection

    A library of algorithms for coin selection and fee balancing.

  • Renaissance-Ada

    Tooling for analysis and manipulation of Ada software

    Project mention: Renaissance-Ada, a toolset for legacy Ada software, made open source | reddit.com/r/ada | 2022-01-28
  • cardano-py

    Python3 lib and cli for operating a Cardano Passive Node and using the API's. (PRE-ALPHA)

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). The latest post mention was on 2022-06-25.

Ada related posts

Index

What are some of the best open-source Ada projects? This list will help you:

Project Stars
1 awesome-ada 401
2 gcc_termux 357
3 yoroi-frontend 302
4 AdaDoom3 227
5 cardano-ledger 165
6 alire 154
7 sdlada 86
8 RecordFlux 85
9 OpenGLAda 79
10 steamsky 76
11 ada-awa 72
12 hac 66
13 cortex-gnat-rts 45
14 orka 43
15 adawebpack 31
16 AdaYaml 29
17 dashera 29
18 vim-ada 22
19 CoTerminalApps 22
20 bluebird 21
21 cardano-coin-selection 18
22 Renaissance-Ada 18
23 cardano-py 17
Find remote jobs at our new job board 99remotejobs.com. There are 3 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
Deliver Cleaner and Safer Code - Right in Your IDE of Choice!
SonarLint is a free and open source IDE extension that identifies and catches bugs and vulnerabilities as you code, directly in the IDE. Install from your favorite IDE marketplace today.
www.sonarlint.org