Top 23 Ada Ada Projects
Id Software's Id-tech-4-BFG in the Ada programming language.
Command-line tool from the Alire project and supporting library
I made a prototype for the support of compilation switches in Alire: https://github.com/alire-project/alire/issues/888
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.
Ada 2012 bindings to SDL 2
Thick Ada binding for OpenGL and GLFW
Formal message specification and generation of verifiable binary parsers and message generatorsProject mention: Althttpd: Simple webserver in a single C-code file by the author of SQLite | news.ycombinator.com | 2021-06-08
RecordFlux 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.
Mirror of roguelike in sky with a steampunk setting
Ada Web Application - Framework to build high performance secure web applicationsProject 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 - 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.
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
Home page here, svn repo here, git repo here.
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.
experimental YAML 1.3 implementation in AdaProject mention: Giving Ada a chance | reddit.com/r/programming | 2021-03-02
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
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
GLOBE_3D: a real-time 3D Engine written in Ada
Ada binding to the SFML library
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.
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
LEA is a Lightweight Editor for 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
An Ada 2012 library for monitoring filesystem events using Linux' inotify APIProject 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 .
Ada examples for the Raspberry Pi PicoProject mention: What is the most low level way of setting GPIO outputs? | reddit.com/r/raspberrypipico | 2021-04-17
Iterator-based directory walks in Ada
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.
Mein Rundenstrategiespiel (Civilization-Klon), geschrieben in Ada/SPARK.
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.
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.
Ada bindings for the notcurses text user interface libraryProject 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?
* 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?
15 projects | reddit.com/r/ada | 30 Dec 2021
Ada and Advent of Code 2021
12 projects | reddit.com/r/ada | 26 Nov 2021
December 2021 What Are You Working On?
14 projects | reddit.com/r/ada | 30 Nov 2021
GitHub - fastrgv/CoTerminalApps: Retro ASCII Puzzles plus SpaceInvaders, Pacman & Frogger arcade games that run WITH SOUND in a terminal on any platform !!
1 project | reddit.com/r/programming | 28 Nov 2021
CoTerminalApps Retro ASCII Character Games that run in a color-capable terminal
1 project | news.ycombinator.com | 28 Nov 2021
Which GUI for an Ada desktop application do you recommend?
4 projects | reddit.com/r/ada | 7 Nov 2021
Aura – The Ada User Repository Annex
1 project | news.ycombinator.com | 7 Nov 2021
What are some of the best open-source Ada projects in Ada? This list will help you:
Are you hiring? Post a new remote job listing for free.