🇫🇷 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.
mimo/raylib-Ada
Ada binding for the Raylib library.
raph-amiard/learn-ada-in-y-minutes
learn-ada-in-y-minutes
Kidev/AdaPhysics2D
A 2D physics engine for Ada
SMerrony/dgemua
Ada port of my Data General emulation system
Heziode/ada-dotenv
Loads environment variables from .env for Ada projects.
yoogx/spark_examples
Various examples of SPARK2014 code
pmderodat/ada-generators
Experimental support for coroutines-based generators in Ada
briot/Ada-promises
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
raph-amiard/ada-soundio
Ada bindings for libsoundio
sowebio/aide
Ada Instant Development Environment v2
samueltardieu/areadline
Ada interface to the readline library
frett27/Ada-Midi
Implementation of Midi / MidiFile reading and writing
briot/gnatbdd
Behavior Driven Development in Ada
malaise/ada
My Ada contributions. Needs Makefiles.
Kidev/DemoAdaPhysics2D
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
enzbang/vision2pixels
A Web space engine for commenting user's photos using AWS.
FredPraca/distributed_cbsg
Code for FOSDEM'19 presentation about distributed computing in Ada
HadrienG2/phalanstery
Experiments with user-mode tasking in Ada
joelimgu/Lists_Ada_Package
TurboGit/Ada-ODBC
ODBC binding in Ada
briot/adafuzzy
A fuzzy inference system library for Ada
raph-amiard/ada-python-interfacing
Simple example of how to automatically interface Ada and Python
joffreyhuguet/curve25519-spark2014
An attempt to verify functions from Curve25519 implementation in SPARK2014
enzbang/diouzhtu
A gwiad wiki plugin called diouzhtu based on markdown syntax.
sogilis/aws
Ada Web Server - mirror of open-do forge's repo
pmderodat/libyaml-ada
Tiny Ada wrapper around the LibYAML C library
Ender-events/Gamepad
Silvanosky/Adarrose
Project in ADA to Sprinkle plants.
dkm/ada-dreamcast-helloworld
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
Adalog-fr/Comps
General purpose components and utilities
AlexArtaud-Dev/Projet-ADA-M1106
thibaultmthh/adaS1projetJeuAntivirus
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).
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
sowebio/v22
Ada framework for web softwares and services
Adalog-fr/Asiscomps
Asis components and utilities
TheoBessel/AdaPageRanking
Projet N7 : Algorithme de Page Ranking écrit en Ada
sogilis/spark-examples
ProbablyClem/SB_Virus
gagath/cellular
A cell generator program written in Ada.
FredPraca/cbsg
Corporate Bullshit Generator Library
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/ada_menu
A proof-of-concept console menu handling written in Ada.
louis-etne/ada-generic_ecs
A generic ECS for Ada, inspired by Entt
mildred/iut-tp
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
arthaud/ada-poly
Gestion de polynômes en ADA (Projet de fin de semestre 1)
louis-etne/spark-brainfuck
Brainfuck interpreter in Ada/SPARK
louis-etne/ada-ray
ASCII Raytracer in Ada
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
pmderodat/libuv-ada
libuv binding for Ada
Lyaaaaaaaaaaaaaaa/Lyaaaaa-s-Logs-Filter
Lightweight user-friendly software which filters logs
pmderodat/qbe-ada
Library to easily create QBE programs in Ada
sogilis/TP_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
sogilis/template-parser
Mirror of AdaCore's template-parser
raph-amiard/ada-nanovg
Ada bindings to NanoVG