🇫🇷 Made in France
Discover France's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of France.
TOP Ada Projects
tofgarion/spark-by-example
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
wookey-project/ewok-kernel
A secure and high performances microkernel for building secure MCU-based IoTs
SMerrony/dashera
DasherA is a Data General DASHER D200/D210 terminal emulator
raph-amiard/ada-synth-lib
Simple audio synthesis library
pmderodat/ada-toml
TOML parser for Ada
lambourg/Ada_Bare_Metal_Demos
Bare Metal demos using Ada and ravenscar runtimes
samueltardieu/aforth
Embeddable Forth interpreter written in Ada
Adalog-fr/Adacontrol
An Ada controller for static analysis and rules checking
frett27/Ada-Synthetizer
Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem
raph-amiard/cours-ada-epita
Contenus pour le cours d'Ada EPITA
SMerrony/daikin2mqtt
A software bridge between certain popular Daikinâ„¢ HVAC units and MQTT.
Kidev/AdaPhysics2D
A 2D physics engine for Ada
mimo/raylib-Ada
Ada binding for the Raylib library.
Heziode/ada-dotenv
Loads environment variables from .env for Ada projects.
yoogx/spark_examples
Various examples of SPARK2014 code
raph-amiard/learn-ada-in-y-minutes
learn-ada-in-y-minutes
SMerrony/dgemua
Ada port of my Data General emulation system
pmderodat/ada-generators
Experimental support for coroutines-based generators in Ada
briot/Ada-promises
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
malaise/ada
My Ada contributions. Needs Makefiles.
samueltardieu/areadline
Ada interface to the readline library
sowebio/aide
Ada Instant Development Environment v2
raph-amiard/ada-soundio
Ada bindings for libsoundio
SMerrony/keypadder
Keypadder is a programmable virtual keypad you can access via a mobile phone or tablet
frett27/Ada-Sodoku
Small Library for Sodoku grid solving / finding
briot/gnatbdd
Behavior Driven Development in Ada
frett27/Ada-Midi
Implementation of Midi / MidiFile reading and writing
Kidev/DemoAdaPhysics2D
HadrienG2/phalanstery
Experiments with user-mode tasking in Ada
enzbang/vision2pixels
A Web space engine for commenting user's photos using AWS.
TurboGit/Ada-ODBC
ODBC binding in Ada
joelimgu/Lists_Ada_Package
FredPraca/distributed_cbsg
Code for FOSDEM'19 presentation about distributed computing in Ada
pmderodat/libyaml-ada
Tiny Ada wrapper around the LibYAML C library
Ender-events/Gamepad
briot/adafuzzy
A fuzzy inference system library for Ada
enzbang/diouzhtu
A gwiad wiki plugin called diouzhtu based on markdown syntax.
Silvanosky/Adarrose
Project in ADA to Sprinkle plants.
raph-amiard/ada-python-interfacing
Simple example of how to automatically interface Ada and Python
sogilis/aws
Ada Web Server - mirror of open-do forge's repo
joffreyhuguet/curve25519-spark2014
An attempt to verify functions from Curve25519 implementation in SPARK2014
SMerrony/dg_loada
loada loads (restores) legacy Data General AOS/VS DUMP_II, and maybe DUMP_III, files on any modern system supported by Ada (gnat).
TurboGit/style_checker
Tool to style check source code, can be added as a git hook
sogilis/XReq
XReq is a clone of Cucumber for Ada
frett27/Ada-GA
Genetic Algorithm Implementation for Ada
pmderodat/eventail
Toy Ada-to-HTML formatter, including cross-reference links
Heziode/lsystem-editor
L-Systems editor in Ada
FredPraca/adataptempo
Port of C++ TapTempo in Ada
raph-amiard/ada-py-bind
Ada library to simplify creation of Ada <-> Python bindings
clairedross/program_your_proofs
AlexArtaud-Dev/Projet-ADA-M1106
thibaultmthh/adaS1projetJeuAntivirus
louis-etne/ada-vm
Virtual machine in Ada
Heziode/aoc-ada-2021
Advent of Code 2021 in Ada
SMerrony/simh_tapes
Simh_tape is an Ada package for handling magnetic tape images in the standard format used by SimH and many other computer simulators and emulators.
dkm/click
Ada crate to build firmware for mechanical keyboard
FredPraca/cbsg
Corporate Bullshit Generator Library
sogilis/TP_Ada
Adalog-fr/Asiscomps
Asis components and utilities
Adalog-fr/Comps
General purpose components and utilities
raph-amiard/ada-nanovg
Ada bindings to NanoVG
ProbablyClem/SB_Virus
sogilis/spark-examples
louis-etne/ada-generic_ecs
A generic ECS for Ada, inspired by Entt
julien-pintodafonseca/GL2
Réalisation d'un compilateur Déca (sous-ensemble de Java) avec génération d'arbres d'analyse lexicale, syntaxique, contextuelle et génération du code assembleur interprété par machine virtuelle (Java, ANTLR, Assembleur IMA).
julien-blanchon/Le-TP-de-Keunotor
Dépot git communs pour les TDs et TPs du groupe B
gagath/cellular
A cell generator program written in Ada.
sogilis/template-parser
Mirror of AdaCore's template-parser
gagath/ada_menu
A proof-of-concept console menu handling written in Ada.
gagath/ada_console
A POSIX console utility library written in Ada.
nraynaud/bldc_ada
first stab at a BLDC controler in Ada, nothing works, don't look at it
Heziode/ada_unbounded_stsring_storage_error_issue
This repo show a minimal example to reproduce an issue related to Storage_Error with Unbounded String
ralt/ircada
IRC Client library in Ada
Bruno-Muller/ENSISA-ADA
Projet ADA ENSISA 2013
louis-etne/ada-TicTacToe
Tic Tac Toe implemented in Ada
louis-etne/ada-GameOfLife
Game of Life implementation done in Ada
lebotlan/adafileio
Ada helper library to read text files, line by line
louis-etne/ada-Adaquarium
mildred/iut-tp
louis-etne/spark-brainfuck
Brainfuck interpreter in Ada/SPARK
louis-etne/ada-ray
ASCII Raytracer in Ada
sowebio/adel-gpb
Gprbuild stub to handle distant targets. It allows a network copy, through SCP, of the current binary project after build, with bells
sowebio/v22
Ada framework for web softwares and services
YruamaLairba/gtkada-minesweeper
A minesweeper writed in ada and using Gtk.
YruamaLairba/ada-ncurses-snake
The snake game made with ada and ncurses
ebouther/Ada-async-protocol-based-on-UDP
HadrienG2/revision-nombres
(French) Petits programmes pour réviser les nombres persans et italiens
Lyaaaaaaaaaaaaaaa/Lyaaaaa-s-Logs-Filter
Lightweight user-friendly software which filters logs
pmderodat/libuv-ada
libuv binding for Ada
pmderodat/qbe-ada
Library to easily create QBE programs in Ada
TheoBessel/AdaPageRanking
Projet N7 : Algorithme de Page Ranking écrit en Ada