Top 118 Ada open source projects

Smallest possible syntactically valid files of different types

mal - Make a Lisp

No description, website, or topics provided.

A fast, scalable, distributed game server engine/framework for C++, include the actor library, network library, can be used as a real time multiplayer game engine ( MMO RPG/MOBA ), which support C#/Lua script/ Unity3d, Cocos2dx and plan to support Unreal.

A massively spiffy yet delicately unobtrusive compression library.

Hera-T, a fast and accurate tool for estimating gene abundances in single cell data generated by the 10X-Chromium protocol

Secure. Scalable. Easy to Use

Support for Ada and SPARK languages in IntelliJ IDEA

Robot Testing Framework (RTF)

Context-based code search tool

Generic Ada Library for Algorithms and Containers

Mirror of Tcl CVS repository on SourceForge (updated hourly)

No description, website, or topics provided.

a utility to enhance BDRip subtitle font management

Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)

Retro ASCII Puzzles plus SpaceInvaders, Pacman & Frogger arcade games that run WITH SOUND in a terminal on any platform !!

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

Log4j Vulnerability Scanner for Windows

Ethernet traffic monitor on a STM32F746 board

No description, website, or topics provided.

GPU accelerated source code for motion compensation of multi-stack MRI data

A port of GCC to the 6502 processor family.

A flexible UI framework for CryEngine

C语言生成二维码的库

Framework for writing Linux kernel modules in Ada

Ada API to the Windows library

Git Mirror of GHost++

A cryptographic library in SPARK 2014

No description, website, or topics provided.

This repository contains course material published to the AdaCore University website

Thick database bindings to MySQL, PostgreSQL and SQLite for Ada

An OpenSource Boundary Scan Test System (JTAG / IEEE1149.x)

Action RPG SDK for CRYENGINE games.

HAC Ada Compiler - a small, quick Ada compiler fully in Ada

MuntsOS Embedded Linux

A flight software framework in SPARK/Ada

Official mirror of the Muen Separation Kernel repository

No description, website, or topics provided.

Chez Scheme is a mature, high performance, light-weight, compiler construction toolkit and native code generation engine (aka Just-in-time compiler), developed by R. Kent Dybvig and Cadence Research Systems, and open sourced by Cisco in 2016. Here Chez Scheme is embedded using CGO in golang as a proof of concept.

Python Front-end to GCC

A light-weight framework for STM32 and other architectures written in C++.

TOML parser for Ada

Operating System development experiment in Ada

gcc for the Blackberry Playbook, and maybe some other stuff..

GitHub action to setup an Ada/SPARK dev environment

By Forking this, let's say you forked a loli 🚓

Contenus pour le cours d'Ada EPITA

A wrap of Zlib, making the use of ZLib easier in ZIP compressing/extracting.

A Latin-English Dictionary Program

No description, website, or topics provided.