🇬🇧 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.

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/tcladashell

Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL

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/coldframe

ColdFrame generates Ada framework code and documentation from UML models.

simonjwright/ASIS

Supports building the Ada Semantic Interface Specification library and tools for FSF GCC variants. Tracks AdaCore CE releases.

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.

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/xia

An Ada implementation of XPath 1.0.

diffblue/gnat2goto

GNAT 2 GOTO Converter

simonjwright/dhondt

Ada implementation of D’Hondt electoral result calculator

simonjwright/adagoop

Generator of object-oriented parsers in Ada

wiremoons/apass

A CLI password generator written in Ada.

xlq/ada-expat

Ada binding to Expat.

damaki/ksum

Generate checksums with Keccak-based algorithms, such as SHA-3.

grahamstark/tax_benefit_model_components

Code used to build microsimulation models, mostly in the Ada language

simonjwright/leak_detector

Reports memory leaks in Ada programs.

kevin-chalmers/cpa-lang-shootout

A repository of code listings for Communicating Process Architecture language and library test programs.

alexbarker/Nuclear_Submarine_Control_System

Development of a Control System for a Nuclear Submarine

darthmartyn/access-type-detector

darthmartyn/adatftpd-anet

A simple TFTP server written in Ada (using Anet from Codelabs.ch)

damaki/ravenscar-sfp-evb1000

Small footprint Ada Ravenscar runtime for the DecaWave EVB1000 board

simonjwright/Quaternions

An Ada library to support using quaternions.

dushanabe/ravenscar-sfp-stm32f411nucleo

runtime for STM32F411 Nucleo board

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.

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.

simonjwright/xcode_15_fix

Xcode/CLT version 15 introduced problems for Ada programming on macOS.

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.

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.

jonoliver82/AdaDecoratorPattern

Example of the Decorator design pattern in Ada

theREALdebater/eclat

Experimental Compiler Library And Tools (Ada compiler)

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

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

damaki/timely

Tool for verifying if some code is constant time

simonjwright/parallelize

Reads commands and executes them in parallel.