🇩🇪 Made in Germany
Discover Germany's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Germany.
TOP Ada Projects
PatrikFehrenbach/amass-tools
flyx/OpenGLAda
Thick Ada binding for OpenGL and GLFW
cforler/Ada-Crypto-Library
This project is obsolete is no longer developed, maintained or serviced!
MayaPosch/Sarge
Simple command line argument parser for C++ and Ada.
Componolit/ada-runtime
Blunk-electronic/M-1
An OpenSource Boundary Scan Test System (JTAG / IEEE1149.x)
Componolit/libsparkcrypto
A cryptographic library in SPARK 2014
Componolit/gneiss
Framework for platform-independent SPARK components
Componolit/SXML
Formally verified, bounded-stack XML library
Componolit/jwx
JSON/JWK/JWS/JWT/Base64 library in SPARK
flyx/OpenCLAda
An Ada binding for the OpenCL host API
tum-ei-rcs/StratoX
Flight stack for an unmanned fixed-wing weather glider.
Blunk-electronic/ada_training
Training files for Ada courses
RREE/AVRAda_Lib
Library of drivers for AVR microcontrollers
Blunk-electronic/ET
An ECAD design tool for complex schematics and layouts
medsec/ada-fuse
Ada-Bindings for FUSE
Componolit/basalt
Collection of formally verified building blocks
RREE/build-avr-ada-toolchain
Scripts for Building the AVR-Ada Toolchain
RREE/AVRAda_RTS
Minimal run time system (RTS) for AVR 8bit controllers
CodeWelt/Ada
Ada Programming Sources
RREE/AVRAda_MCU
Device (MCU) specific definitions for AVR microcontrollers
aeszter/lox-spark
This is an implementation of Bob Nystrom's Lox language written in SPARK/Ada.
flyx/ParserTools
tools for writing lexers / parsers in Ada
Componolit/AZ3
Ada binding to the Z3 Theorem Prover
flyx/ada-bundler
Library and tool for transparently handling data and configuration file access in an Ada application. Supports MacOSX, Linux and Windows.
flyx/gps-osx
Native GNAT Programming Studio for OSX
Componolit/RecordFlux-specifications
Specifications for RecordFlux
RREE/adequate
MQTT broker and CLI built upon Dmitry Kazakov's MQTT support in his Simple Components
FrankBuss/Ada_Synth
Ada Synthesizer with MIDI support
flyx/OpenGLAda-examples
Examples for OpenGLAda
openlab-aux/prog-nacht-eins
Lange Nacht der alten Programmiersprache #1
aeszter/Coco-R
Ada version of the compiler generator Coco/R
JulianSchutsch/AdaOGL
Ada OpenGL Framework
Componolit/7-segment-driver
Driver for 7 segment displays based on the STM32F0 Discovery board
klausbrunner/ada-os2-pm-bindings
Ada 95 bindings to (parts of) the OS/2 32bit Presentation Manager API. Originally created in 1996, kept here as a museum exhibit.
oenone/pang
Ada Pong
davidhildenbrand/SnakeAda
A very simple and inefficient version of Snake written in Ada/SPARK (gtkada)
RREE/AOC_2020
Advent of Code 2020 Puzzles in Ada
oenone/tractor
Simulation of a tractor, rendered in wireframe...
cunger/alr-template
Template for Ada projects using Alire
RREE/AVRAda_Examples
Sample applications in Ada for AVR microcontrollers
lukasjoc/pi-series
this repo implements Pi using infinite series algorithms
thorstel/Advent-of-Code-2018
Trying out Ada with Advent of Code 2018 (complete).
tmeissner/raspberrypi
various projects with Raspberry Pi
edgarsmdn/Aspen_Plus_Python
An example connection between Aspen Plus and Python
RREE/AoC
sirnicolaz/F1-Simulator
An F1 Simulator developed in ADA+Java for a university project.
Componolit/gravel
Component library for components built with Gneiss
senier/rflx_sniffer
IP sniffer demo implemented in SPARK/Ada using RecordFlux
Componolit/ali2dep
GNAT ALI to make dependency converter
JulianSchutsch/ParallelSim
Distributed Simulation of Transport Networks
JulianSchutsch/CairoAda
CairoAda fork as safe reference
merdmann/Collaboration
**stable** A very simple framework for parallel Computing
aeszter/balancer
Use qalter to optimize cluster utility
aeszter/sgelib
An Ada frontend to Grid Engine
aeszter/lightsout
Switch on and off HPC cluster nodes automatically
aeszter/cmlib
An Ada frontend to Bright Cluster Manager
aeszter/qassign
A replacement scheduler for Grid Engine
Blunk-electronic/stock_manager
A simple ERP system
zonradkuse/AdaLesson
Ada 2015
m7a/bp-uni-dke-u03-11-ra-interpreter
Relational Algebra Interpreter
orangecms/mugenschedcfg
generates scheduling plans for the Muen Separation Kernel
flyx/FreeTypeAda
FreeType binding for Ada 2012
Componolit/sparkunit
Unit test framework for SPARK 2005
senier/field_extract
schwering/db6
A column-oriented database management system, written in Ada
schwering/regexp
A regular expression library for Ada with support for intersection, union, etc.
FelixTheC/learn_ada
get in touch with the ada programming language
m-schier/advent-of-code-2020-ada
Solution for the Advent of Code Puzzle 2020 written in Ada 2012
senier/trojan_source
skade/aoc2021
My Advent of Code 2021 solutions
aeszter/advent22
Advent of Code 2022
m7a/bo-maxbupst
Ma_Sys.ma Bupstash Extractor alternative Restoration Program for Bupstash Backups
cunger/100hoursofada
Learning Ada one hour at a time