🇬🇧 Made in United Kingdom
Discover United Kingdom's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of United Kingdom.
TOP Ada Projects
mk270/whitakers-words
William Whitaker's WORDS, a Latin dictionary
rod-chapman/SPARKNaCl
SPARK 2014 re-implementation of the TweetNaCl crypto library
simonjwright/cortex-gnat-rts
This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit (v1)
damaki/libkeccak
SHA-3 and other Keccak related algorithms in SPARK/Ada.
damaki/DW1000
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
simonjwright/ews
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
simonjwright/analytical-engine
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
simonjwright/ACATS
The Ada Conformity Assessment Test Suite, customised for GCC.
simonjwright/ASIS
Supports building the Ada Semantic Interface Specification library and tools for FSF GCC variants. Tracks AdaCore CE releases.
simonjwright/tcladashell
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
simonjwright/coldframe
ColdFrame generates Ada framework code and documentation from UML models.
darthmartyn/adatftpd
A simple TFTP server written in Ada (using GNAT.Sockets)
nickpascucci/ravenscar-sfp-stm32f411-nucleo
A port of the Ada Ravenscar profile to the STM32F411 Nucleo microcontroller.
cheesestraws/calculogue
The Calculogue is an exercise in comparative programming.
simonjwright/xia
An Ada implementation of XPath 1.0.
diffblue/gnat2goto
GNAT 2 GOTO Converter
simonjwright/dhondt
Ada implementation of D’Hondt electoral result calculator
grahamstark/ada_mill
Mill is a simple persistence mechanism for Ada. It's based on the PHP Propel system (http://propel.phpdb.org/), which in turn is a port of the Java Torque project (http://db.apache.org/torque/). It's a code generator which takes and xml defintion file and writes a database definition and associated Ada code.
simonjwright/adagoop
Generator of object-oriented parsers in Ada
grahamstark/tax_benefit_model_components
Code used to build microsimulation models, mostly in the Ada language
damaki/ksum
Generate checksums with Keccak-based algorithms, such as SHA-3.
xlq/ada-expat
Ada binding to Expat.
wiremoons/apass
A CLI password generator written in Ada.
damaki/dw1000-rssi-tester
Tool to measure the RSSI, and communication range and reliability of the DecaWave DW1000.
john-vinters/ConfigFile
Simple Configuration File Reader/Writer for Ada 2005.
alexbarker/Nuclear_Submarine_Control_System
Development of a Control System for a Nuclear Submarine
grahamstark/local_benefits
This little piece of code takes an FRS dataset and produces sample weights that makes the dataset (or a subset of it) match 2011 Census data for each local authority in England and Wales.
kevin-chalmers/cpa-lang-shootout
A repository of code listings for Communicating Process Architecture language and library test programs.
jonoliver82/AdaDecoratorPattern
Example of the Decorator design pattern in Ada
theREALdebater/eclat
Experimental Compiler Library And Tools (Ada compiler)
simonjwright/asis2xml
Converts Ada sources’ ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.
simonjwright/Quaternions
An Ada library to support using quaternions.
dushanabe/ravenscar-sfp-stm32f411nucleo
runtime for STM32F411 Nucleo board
damaki/ravenscar-sfp-evb1000
Small footprint Ada Ravenscar runtime for the DecaWave EVB1000 board
darthmartyn/adatftpd-anet
A simple TFTP server written in Ada (using Anet from Codelabs.ch)
simonjwright/leak_detector
Reports memory leaks in Ada programs.
grahamstark/wales_social_care
A dynamic simulation of the costs of social care in Wales using BHPS data.
simonjwright/libadalang2xml
Generates an XML representation of Ada source using libadalang.
darthmartyn/access-type-detector
simonjwright/trace_utilities
Support for presenting traceback information.
xlq/ada-ffmpeg
Incomplete Ada bindings to FFmpeg libraries (libavformat, libavcodec, libswscale, ...)
grahamstark/mefisto_backend
This is the code used for the interface to the Mefisto Belgian Tax-Benefit Model. The Model itself is a distinct project and is not included here.
grahamstark/scottish_legal_aid
Simulation model of the Scottish Legal Aid System written in Ada and using the Family Resources Survey dataset. Needs some updating.
grahamstark/affordability
A general-purpose affordability sim/calculator, originally written for the Office of the Scottish Charities Regulator (OSCR).
grahamstark/foster_care_sim
A simple foster care costs modelling simulation, created for Action for Children
grahamstark/techempower
Test Ada code for http://www.techempower.com/benchmarks benchmarks
nickpascucci/stm32f411-gnat-blink
A simple blink demo for the STM32F411 Nucleo board written in Ada.
dolkensp/BuildXPLOR
BuildXPLOR
dushanabe/led_demo
Led demo based on STM32 demo ported on stm32f411
theREALdebater/revtang
Literate programming for the Ada language
grahamstark/scottish_child_poverty_projections
Weighting Code for Scottish Child Poverty Projections
mattb20/rust
DDHarry/Ada_Quick_guide_and_Training
Fast getting started and cheat sheet for Ada. Some exercices and problems with their solutions.
PasierbKarol/Sumbarine-Controls-ADA-SPARK---Formal-Aproaches-To-Software-Engineering-Coursework
simonjwright/scripted_testing
Supports functional testing using Tcl scripts.
simonjwright/macos-sdks-vs-gcc
Provides GCC 'specs' files to cope with macOS SDK policy changes
darthmartyn/adatftpd-tester
Test TFTP client for any adatftpd implementation
AidanMcKenzie/Ada-Submarine
Prototype control system for a submarine, which uses Ada-SPARK to define the rules that govern the running of the submarine. The submarine can open and close airlock doors, surface and dive, and fire torpedoes, among other functionality.
damaki/cobs
Consistent Overhead Byte Stuffing (COBS)
wiremoons/cputemp
Linux CPU temperature display command line interface tool.
wiremoons/AdbT
CLI tool to manage an SQLite database of acronyms.
wiremoons/terminal-colours
Small program that demonstrates displaying terminal colours with the Ada language.
simonjwright/synchronized_output
Supports text logging from multiple tasks
simonjwright/minimal_containers
Just enough containers for ColdFrame.
rod-chapman/isqrt
Implementations and proofs of integer square root
simonjwright/xcode_15_fix
Xcode/CLT version 15 introduced problems for Ada programming on macOS.
damaki/timely
Tool for verifying if some code is constant time
simonjwright/parallelize
Reads commands and executes them in parallel.