jquorning's Stars
commonmark/cmark
CommonMark parsing and rendering library and program in C
mrubyc/mrubyc
mruby/c is another implementation of mruby.
DanWBR/dwsim
DWSIM is a Steady-State and Dynamic Sequential Modular Chemical Process Simulator for Windows, Linux and macOS.
guidoism/tex-oberon
Make Project Oberon Pretty Again
NVlabs/AutoDMP
NVlabs/cub
THIS REPOSITORY HAS MOVED TO github.com/nvidia/cub, WHICH IS AUTOMATICALLY MIRRORED HERE.
cubesatlab/cubedos
A flight software framework in SPARK/Ada
NVlabs/ptxmemorymodel
stcarrez/swagger-ada
Ada support for OpenAPI code generator
GuillermoHazebrouck/gnav
G-NAV is a soaring computer for Linux OS, written in Ada and powered by OpenGL (ES) and either GLFW or SDL. It runs native on Raspberry Pi and similar ARM boards.
sergio-gomez/Radalib
Ada library and tools for the analysis of Complex Networks and more
alice-adventures/Alice
Adventures for Learning and Inspiring Coding Excellence
simonjwright/ACATS
The Ada Conformity Assessment Test Suite, customised for GCC.
AdaCore/markdown
Markdown parser
AdaCore/spdm-recordflux
n7space/adac-hybrid-msp430
Hybrid Ada compiler for MSP430 platform
axal25/JacksChess
Simple chess demo done in Ada using GtkAda library (Adacore distrubutions) on Windows 7 (64)
simonjwright/libadalang2xml
Generates an XML representation of Ada source using libadalang.
anisimkov/dynamo
Описание способа получения опционального биндинга к динамической Си библиотеке
blancolioni/wl_lib
Handy library packages
jellehermsen/touchpdf
PDF viewer supporting touch gestures for jQuery
louis-etne/ada-Adaquarium
louis-etne/ada-brainfuck
Brainfuck interpreter in Ada/SPARK
louis-etne/ada-GameOfLife
Game of Life implementation done in Ada
louis-etne/ada-ray
ASCII Raytracer in Ada
louis-etne/ada-TicTacToe
Tic Tac Toe implemented in Ada
maxime-esa/ocarina
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
maxime-esa/polyorb-hi-ada
PolyORB-HI/Ada runtime for Ocarina
NicolasAnquetil/Ada2Famix
An Ada parser to generate Famix models
the-MIA/ASDL2
SDL2 for Ada