π©πͺ 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
medsec/ada-fuse
Ada-Bindings for FUSE
Blunk-electronic/ET
An ECAD design tool for complex schematics and layouts
Componolit/basalt
Collection of formally verified building blocks
RREE/AVRAda_MCU
Device (MCU) specific definitions for AVR microcontrollers
CodeWelt/Ada
Ada Programming Sources
RREE/AVRAda_RTS
Minimal run time system (RTS) for AVR 8bit controllers
RREE/build-avr-ada-toolchain
Scripts for Building the AVR-Ada Toolchain
flyx/ParserTools
tools for writing lexers / parsers in Ada
aeszter/lox-spark
This is an implementation of Bob Nystrom's Lox language written in SPARK/Ada.
Componolit/AZ3
Ada binding to the Z3 Theorem Prover
Componolit/RecordFlux-specifications
Specifications for RecordFlux
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
RREE/AVRAda_Examples
Sample applications in Ada for AVR microcontrollers
giniedp/nw-models
New World Models Extractpr
flyx/OpenGLAda-examples
Examples for OpenGLAda
FrankBuss/Ada_Synth
Ada Synthesizer with MIDI support
openlab-aux/prog-nacht-eins
Lange Nacht der alten Programmiersprache #1
RREE/adequate
MQTT broker and CLI built upon Dmitry Kazakov's MQTT support in his Simple Components
Componolit/7-segment-driver
Driver for 7 segment displays based on the STM32F0 Discovery board
aeszter/Coco-R
Ada version of the compiler generator Coco/R
JulianSchutsch/AdaOGL
Ada OpenGL Framework
tmeissner/raspberrypi
various projects with Raspberry Pi
davidhildenbrand/SnakeAda
A very simple and inefficient version of Snake written in Ada/SPARK (gtkada)
thorstel/Advent-of-Code-2018
Trying out Ada with Advent of Code 2018 (complete).
Componolit/gravel
Component library for components built with Gneiss
senier/rflx_sniffer
IP sniffer demo implemented in SPARK/Ada using RecordFlux
lukasjoc/pi-series
this repo implements Pi using infinite series algorithms
sirnicolaz/F1-Simulator
An F1 Simulator developed in ADA+Java for a university project.
RREE/AOC_2020
Advent of Code 2020 Puzzles in Ada
RREE/AoC
edgarsmdn/Aspen_Plus_Python
An example connection between Aspen Plus and Python
oenone/pang
Ada Pong
oenone/tractor
Simulation of a tractor, rendered in wireframe...
cunger/alr-template
Template for Ada projects using Alire
JulianSchutsch/ParallelSim
Distributed Simulation of Transport Networks
cunger/100hoursofada
Learning Ada one hour at a time
aeszter/qassign
A replacement scheduler for Grid Engine
Blunk-electronic/stock_manager
A simple ERP system
orangecms/mugenschedcfg
generates scheduling plans for the Muen Separation Kernel
JulianSchutsch/CairoAda
CairoAda fork as safe reference
m7a/bp-uni-dke-u03-11-ra-interpreter
Relational Algebra Interpreter
zonradkuse/AdaLesson
Ada 2015
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
aeszter/advent22
Advent of Code 2022
m-schier/advent-of-code-2020-ada
Solution for the Advent of Code Puzzle 2020 written in Ada 2012
emareg/emulib
multi-language library (embedded, modular, ΞΌicro)
senier/trojan_source
3urobeat/ada-output-logger
π Finally an Ada logging library that does not suck [WIP]
m7a/bo-maxbupst
Ma_Sys.ma Bupstash Extractor alternative Restoration Program for Bupstash Backups
aeszter/cmlib
An Ada frontend to Bright Cluster Manager
Componolit/sparkunit
Unit test framework for SPARK 2005
aeszter/lightsout
Switch on and off HPC cluster nodes automatically
aeszter/sgelib
An Ada frontend to Grid Engine
skade/aoc2021
My Advent of Code 2021 solutions
senier/field_extract
schwering/db6
A column-oriented database management system, written in Ada
Componolit/ali2dep
GNAT ALI to make dependency converter
aeszter/balancer
Use qalter to optimize cluster utility
flyx/FreeTypeAda
FreeType binding for Ada 2012
merdmann/Collaboration
**stable** A very simple framework for parallel Computing