🇪🇸 Made in Spain
Discover Spain's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Spain.
TOP Ada Projects
Nikokrock/ada-lua
An Ada binding for Lua.
mgrojo/ASFML
Ada binding to the SFML library
mosteo/rxada
An Ada 2012 implementation of the Rx methodology
sergio-gomez/Radalib
Ada library and tools for the analysis of Complex Networks and more
Irvise/Ada_SaxonSOC
A first approach of getting a pure Ada program running on an FPGA with SaxonSOC
1ma/CurlAda
Ada 2012 bindings for libcurl
jfuica/bingada
Bingo application in GTKAda
mosteo/yeison
A json-like data structure library in Ada
JulTob/Ada
👩🏻🦰 Learn Ada Language.
mosteo/iterators
Functional iterators for Ada 2012
jorge-real/Ball-On-Beam
Simulator of a ball on beam system
mosteo/agpl
Ada General Purpose Library -- Miscellaneous utilities
bertini36/phelpsCompiler
Compiler written in ADA for a programming language in Catalan
STR-UPM/OBDH_LABS
Code for the MUSE/OBDH course laboratory
mosteo/player-ada
Ada bindings for the player robotic platform
mgrojo/play_2048
2048 game: merge equal tiles until you add up to 2048
joseaverde/Malef
Malef is a terminal/console-handling library written in Ada for TUI applications.
mosteo/stopwatch
A type to track elapsed time
mosteo/uri-ada
URI parsing for Ada
joseaverde/adatyper
Adatyper is a typing game written in the Ada programming language using ANSI escape code sequences.
bmalcover/estructures
Estructures de dades
mosteo/unitest
Test of unicode flags in GNAT
jorge-real/TTS-Runtime-Ravenscar
Runtime extension to support time-triggered dispatching in Ravenscar
Irvise/neorv32_litex_hal
HAL (Hardware Abstraction Layer) for the NeoRV32 as generated by LiteX for the ULX3S FPGA
mosteo/adagio
G2 network server leaf
hmorv/ADA-code-formatter
ADA source code formatter
mosteo/aaa
Alex's Ada Assortment
mosteo/mandelbrot_ascii
Mandelbrot renderer in "ASCII" (unicode actually, but text nonetheless)
gavioto/cbsg
Clone from http://sourceforge.net/p/cbsg/code
mosteo/workers
Simple-to-use worker pools for Ada
mosteo/gnat-gpl-bugs
Test cases for various bugs in the latest GNAT GPL edition, to check their fixing on successive editions
adefrutoscasado/P2P-Chat-in-ADA
A peer-to-peer chat in ADA
mosteo/hungarian
Ada wrapper for the fast Stachniss' Hungarian solver
STR-UPM/ToyOBDH
Tiny mockup of a satellite OBDH system running on a Raspberry Pi
lukabergs/ia-pb-lab12
Apuntadores y Listas dinámicas - Avanzado
lukabergs/ia-pb-lab11
Apuntadores y Listas dinámicas - Básico
lukabergs/ia-pb-lab09
Listas estáticas, Matrices y Tipos mixtos
lukabergs/ia-pb-lab08
Matrices, registros y Listas estáticas
lukabergs/ia-pb-lab07
Vectores y Matrices
lukabergs/ia-pb-lab06
Vectores
lukabergs/ia-pb-lab04
Instrucciones iterativas y tratamiento de secuencias
lukabergs/ia-pb-lab03
Instrucciones condicionales e iterativas
lukabergs/ia-pb-lab02
Programas y subprogramas con instrucciones sencillas
mgrojo/ATGUI
Ada binding for TGUI, a cross-platform GUI for SFML
mosteo/sancta
SANCTA multi-robot task allocation library
mosteo/den
Directory Enumeration for Ada
Joan10/d_Paraula
Pràctica estructures
vtomasr5/compiladors
Practica de compiladors de sa UIB
itziar/Ada-Chat
Final practice for PST
alvaromb/Compilemon
An Ada compiler for a subset of Ada instructions
carlitosmarin/Codificador-Alfabetico-Prioridad
Creation and implementation of an encoder/decoder , that given a sequence of characters, analyzes the frequency of occurrence and creates a specified encoding. Implemented in Ada.
jgmatu/chat_peer_v2
Ada Program of a Peer to Peer Chat code of a node.
Nikokrock/adazlib
Ada Binding to Zlib
jorge-real/TTS-Ravenscar
Time-Triggered scheduler on top of a fixed-priority scheduler using Ravenscar
STR-UPM/Embedded_Ada_Examples
Examples of Ada code for STM32 boards
mosteo/ajunitgen
Generator of JUnit-compatible XML reports in Ada
mosteo/dl-ada
Minimal binding to libdl
kevinrosalesdev/MathArray-FormalVerification
Simple Ada/Spark package which works with some mathematical functions and arrays. The objective of this library is to make a formal verification using SPARK of some algorithms.
adrixo/Introduccion-a-ADA
Ejercicios simples en ADA
nadal12/SportsShop-DataStructures
nadal12/GenerateCombinations-DataStructures
mosteo/Ada_CI_Workflows
Ready-to-use workflows to add Continuous Integration to Ada projects
mosteo/embedded-aws-templates
Ripped out minimal functionality from Ada Web Server and Templates Parser for embedded resources
JulTob/Mathematics
mosteo/ansi-ada
ANSI control sequences for the Ada language
ramonblancocaamano/MW_LNA_DESIGN
Microwave and Millimetre Wave Circuit Design and CAD
mosteo/minirest
Minimalist REST Ada client library
Xayiide/STR
Detección colisiones
n0nuser/Ada
Práctica ADA - Programación Avanzada (USAL)
mosteo/optional
Optional types for Ada
DobleGIT/CiudadADA
1ma/radatracer
Mirror of https://gitlab.com/1ma/radatracer
mosteo/toml_slicer
TOML file direct manipulation without parsing
joseaverde/CMalef
C binding for Malef
tommy133/mapa-carreteras-grafos
fadado/Ada
Ada experiments
mosteo/utf8test
Test unicode output with `-gnatW8`
mosteo/umwi
Unicode Monospace Width Information
lukabergs/ia-pb-lab13
Práctica - Juego imagen escondida