Ada Ada

Open-source Ada projects categorized as Ada | Edit details

Top 23 Ada Ada Projects

  • GitHub repo AdaDoom3

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

    Project mention: Dhewm3 – Doom3 Source Port | news.ycombinator.com | 2021-01-16

    Vaguely related: there's also a project to rewrite the DOOM3 engine in Ada. It's incomplete though, and rather inactive.

    https://github.com/AdaDoom3/AdaDoom3

  • GitHub repo alire

    Command-line tool from the Alire project and supporting library

    Project mention: December 2021 What Are You Working On? | reddit.com/r/ada | 2021-11-30

    I made a prototype for the support of compilation switches in Alire: https://github.com/alire-project/alire/issues/888

  • SonarLint

    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.

  • GitHub repo sdlada

    Ada 2012 bindings to SDL 2

    Project mention: Ada For Game Development | reddit.com/r/ada | 2021-06-09
  • GitHub repo OpenGLAda

    Thick Ada binding for OpenGL and GLFW

    Project mention: Ada For Game Development | reddit.com/r/ada | 2021-06-09
  • GitHub repo RecordFlux

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

    Project mention: Althttpd: Simple webserver in a single C-code file by the author of SQLite | news.ycombinator.com | 2021-06-08

    RecordFlux[0] is a DSL written in Ada for specifying messages in a binary protocol. Code for parsing these messages is then generated automatically with a number of useful properties automatically proven including that no runtime errors will occur.

    [0] https://github.com/Componolit/RecordFlux

  • GitHub repo steamsky

    Mirror of roguelike in sky with a steampunk setting

    Project mention: December 2021 What Are You Working On? | reddit.com/r/ada | 2021-11-30

    Steam Sky

  • GitHub repo ada-awa

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

    Project mention: Advice for setting up environment and learning and managing dependencies - coming from node.js and python background | reddit.com/r/ada | 2021-08-19

    I've been trying to ambitiously setup the ada web application framework (https://github.com/stcarrez/ada-awa) in combination with the code generated by (https://editor.swagger.io/)

  • OPS

    OPS - Build and Run Open Source Unikernels. Quickly and easily build and deploy open source unikernels in tens of seconds. Deploy in any language to any cloud.

  • GitHub repo hac

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

    Project mention: What Did You Work On in 2021? | reddit.com/r/ada | 2021-12-30

    Home page here, svn repo here, git repo here.

  • GitHub repo 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.

  • GitHub repo AdaYaml

    experimental YAML 1.3 implementation in Ada

    Project mention: Giving Ada a chance | reddit.com/r/programming | 2021-03-02

    AdaYAML

  • GitHub repo 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

  • GitHub repo 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
  • GitHub repo globe-3d

    GLOBE_3D: a real-time 3D Engine written in Ada

    Project mention: Ada For Game Development | reddit.com/r/ada | 2021-06-09
  • GitHub repo ASFML

    Ada binding to the SFML library

    Project mention: What Did You Work On in 2021? | reddit.com/r/ada | 2021-12-30

    I resurrected an abandoned binding to SFML and updated it to version 2.5. I finally made so many changes to the Ada API, that I can consider it my own work, and have the joy to see it used by other people.

  • GitHub repo protobuf

    The Google Protocol Buffers implementation in Ada (by reznikmm)

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

    Protobuf generator for Ada

  • GitHub repo lea

    LEA is a Lightweight Editor for Ada

  • GitHub repo zip-ada

    Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byte stream encoder & decoder pair.

    Project mention: Zip-Ada development on LZMA compression | reddit.com/r/ada | 2021-08-29

    Thanks for the pointer. Perhaps, one day... It looks like a significant effort compared to launching executables from a script or an Ada program. See current benchmark script here: https://github.com/zertovitch/zip-ada/blob/master/test/bench.adb

  • GitHub repo inotify-ada

    An Ada 2012 library for monitoring filesystem events using Linux' inotify API

    Project mention: Gnat 2021 GPL Community Edition Ada 202x compiler released | news.ycombinator.com | 2021-05-28

    The C interoperability of Ada is very good, you can import/export functions and specify whether records (structs) and arrays must have a C convention. I use it often to access libc and Linux kernel functions/syscalls [1][2].

    [1] https://github.com/onox/inotify-ada

  • GitHub repo pico_examples

    Ada examples for the Raspberry Pi Pico

    Project mention: What is the most low level way of setting GPIO outputs? | reddit.com/r/raspberrypipico | 2021-04-17
  • GitHub repo dir_iterators

    Iterator-based directory walks in Ada

    Project mention: What Did You Work On in 2021? | reddit.com/r/ada | 2021-12-30

    I also did a few things: - Wrote an online e-book about Ada - Septum - context-based source code search for multi-million line codebases (I use this nearly every day at work. It's being submitted as my Ada crate of the year. - dir_iterators - library similar to the incredible walkdir. - project_indicators - library for spinners and progress bars. - trendy_terminal - library for cross-platform terminal setup, VT100 support, and GNU readline-like behavior. - trendy_test - library for simple unit testing, which runs tests in parallel. - Ada Ray Tracer - an Ada port of Ray Tracing in One Weekend. - dirs_to_graphviz - Make graphviz files from directory trees. - rst_tables - a tool to draw RST table outlines.

  • GitHub repo Civ-Klon

    Mein Rundenstrategiespiel (Civilization-Klon), geschrieben in Ada/SPARK.

    Project mention: What Did You Work On in 2021? | reddit.com/r/ada | 2021-12-30

    I mainly worked on my Civilization-style game. Hopefully this year I'll get to a level where I can find a publisher and sell it.

  • GitHub repo BBS-BBB-Ada

    A collection of Ada sources for working with Linux based embedded computers, such as the BeagleBone Black or Raspberry Pi

    Project mention: December 2021 What Are You Working On? | reddit.com/r/ada | 2021-11-30

    I picked up a MCP4725 I2C DAC and an ADS1015 I2C ADC from AdaFruit and plan to write drivers for them for my personal driver library (as a side note, if anyone wants to move any of these to the Ada Driver Library, feel free). I am thinking of using these to add another module to my Raspberry Pi Mainframe Simulator so that I can have some knobs and a meter doing important looking things.

  • GitHub repo notcursesada

    Ada bindings for the notcurses text user interface library

    Project mention: Gnat 2021 GPL Community Edition Ada 202x compiler released | news.ycombinator.com | 2021-05-28

    * Is there a way to declare data layouts to have compatibility with C, similar to #[repr(C)] in rust?

    Yes, and if you have a C header file, gcc can even translate most struct definitions for you. Here's an example of a "thin" binding generated that way: https://github.com/JeremyGrosser/notcursesada/blob/master/sr...

    * Is there a way to catch C++ exceptions?

    Yes. https://www.adacore.com/gems/gem-114-ada-and-c-exceptions

    * Is there a way to catch C longjmps()?

    By default, the GNAT runtime uses setjmp/longjmp to implement exceptions. I'm not sure how you'd connect that to a C library's setjmp though.

    * Is there a way to have some kind of custom control over ABI issues, e.g. define custom FFIs to langauges with a different ABI? Or anything close to this? For that matter, does any language have something like this or does it not make sense?

    ABIs are selected with the Convention aspect. Conventions are implementation defined and would require patches to the compiler to add new ones. GNAT currently supports Assembler, C, CPP, COBOL, and Fortran calling conventions.

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 2021-12-30.

Ada Ada related posts

Index

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

Project Stars
1 AdaDoom3 225
2 alire 137
3 sdlada 80
4 OpenGLAda 76
5 RecordFlux 72
6 steamsky 71
7 ada-awa 70
8 hac 56
9 cortex-gnat-rts 44
10 AdaYaml 29
11 adawebpack 24
12 CoTerminalApps 19
13 globe-3d 12
14 ASFML 12
15 protobuf 11
16 lea 11
17 zip-ada 10
18 inotify-ada 8
19 pico_examples 8
20 dir_iterators 6
21 Civ-Klon 6
22 BBS-BBB-Ada 6
23 notcursesada 5
Find remote jobs at our new job board 99remotejobs.com. There are 29 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
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.
scoutapm.com