Top 23 Ada Ada Projects
-
Vaguely related: there's also a project to rewrite the DOOM3 engine in Ada. It's incomplete though, and rather inactive.
-
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.
-
-
-
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-08RecordFlux[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.
-
Steam Sky
-
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.
-
Home page here, svn repo here, git repo here.
-
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
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.
-
AdaYAML
-
Project mention: webassemblyjs VS adawebpack - a user suggested alternative | libhunt.com/r/webassemblyjs | 2021-12-28
A toolchain, RTL and WebAPI binding for Ada
-
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 -
-
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.
-
Project mention: Protobuf VS protobuf - a user suggested alternative | libhunt.com/r/protobuf | 2021-12-28
Protobuf generator for Ada
-
-
zip-ada
Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byte stream encoder & decoder pair.
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
-
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].
-
Project mention: What is the most low level way of setting GPIO outputs? | reddit.com/r/raspberrypipico | 2021-04-17
-
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.
-
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.
-
BBS-BBB-Ada
A collection of Ada sources for working with Linux based embedded computers, such as the BeagleBone Black or Raspberry Pi
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.
-
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.
Ada Ada related posts
- What Did You Work On in 2021?
- Ada and Advent of Code 2021
- December 2021 What Are You Working On?
- GitHub - fastrgv/CoTerminalApps: Retro ASCII Puzzles plus SpaceInvaders, Pacman & Frogger arcade games that run WITH SOUND in a terminal on any platform !!
- CoTerminalApps Retro ASCII Character Games that run in a color-capable terminal
- Which GUI for an Ada desktop application do you recommend?
- Aura – The Ada User Repository Annex
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 |
Are you hiring? Post a new remote job listing for free.
