ficorax's Stars
kanaka/mal
mal - Make a Lisp
olilarkin/awesome-musicdsp
A curated list of my favourite music DSP and audio programming resources
robbert-vdh/yabridge
A modern and transparent way to use Windows VST2, VST3 and CLAP plugins on Linux
pure-data/pure-data
Pure Data - a free real-time computer music system
FDOS/kernel
FreeDOS kernel - implements the core MS-DOS/PC-DOS (R) compatible operating system. It is derived from Pat Villani's DOS-C kernel and released under the GPL v2 or later. Please see http://www.freedos.org/ for more details about the FreeDOS (TM) Project.
monadgroup/axiom
A powerful realtime node-based audio synthesizer.
udosteinberg/NOVA
NOVA Microhypervisor
davidgiven/cowgol
A self-hosted Ada-inspired programming language for very small systems.
zertovitch/hac
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
AdaCore/RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
flyx/OpenGLAda
Thick Ada binding for OpenGL and GLFW
docandrew/CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
AdaCore/VSS
High level string and text processing library
cubesatlab/cubedos
A flight software framework in SPARK/Ada
yaml/AdaYaml
experimental YAML 1.3 implementation in Ada
olegkapitonov/tubeAmp-Designer
Standalone software guitar processor, editor of *.tapf profile files for tubeAmp (KPP) and guitar amp profiler.
pmderodat/ada-toml
TOML parser for Ada
RavSS/HAVK
An attempt at a minimalistic and secure operating system.
rsdoiel/xlisp
This is a copy of XLisp by David Michael Betz, license appears to be BSD
Ada-Audio/audio_wavefiles
Ada Wavefile Library
Blady-Com/UXStrings
Ada Unicode Extended Strings
vporton/redland-bindings
Redland librdf language bindings
flyx/OpenGLAda-examples
Examples for OpenGLAda
dshawul/StAnD
STructural Analysis and Design (StAnD) program
Fabien-Chouteau/atomic
Standalone binding to GCC atomic built-ins
mosteo/uri-ada
URI parsing for Ada
Ada-Audio/audio_base
Ada Audio Base Library
Heziode/lsystem-editor
L-Systems editor in Ada
theREALdebater/eclat
Experimental Compiler Library And Tools (Ada compiler)
jeongnna/structural-analysis
computing displacements and reactions of a frame