ewok-kernel by wookey-project

A secure and high performances microkernel for building secure MCU-based IoTs

updated at Jan. 19, 2024, 1:34 a.m.

11 +0

72 +0

9 +0

DW1000 by damaki

A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.

updated at Jan. 22, 2024, 9:10 a.m.

6 +0

12 +0

5 +0

cortex-gnat-rts by simonjwright

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)

updated at Jan. 25, 2024, 6:50 p.m.

12 +0

60 +0

13 +0

spark-by-example by tofgarion

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

updated at Feb. 5, 2024, 9:30 p.m.

14 +0

150 +0

16 +0

xia by simonjwright

An Ada implementation of XPath 1.0.

updated at Feb. 6, 2024, 3:20 p.m.

4 +0

4 +0

0 +0

ada-libsecret by stcarrez

Ada Binding for the libsecret library

updated at Feb. 11, 2024, 10:57 a.m.

3 +0

2 +0

0 +0

ada-bar-codes by zertovitch

Ada Bar Codes: bar code (1D and 2D) generator in pure Ada

updated at Feb. 11, 2024, 11:11 a.m.

3 +0

13 +0

0 +0

libkeccak by damaki

SHA-3 and other Keccak related algorithms in SPARK/Ada.

updated at Feb. 13, 2024, 4:49 p.m.

6 +0

33 +0

3 +0

tictactoe by AdaCore

A tictactoe game written and proven in SPARK

updated at Feb. 15, 2024, 12:03 a.m.

46 +0

3 +0

5 +0

si_units by HeisenbugLtd

Utility library to pretty print physical values in proper metric units

updated at Feb. 15, 2024, 9:14 p.m.

2 +0

8 +0

3 +0

base58_ada by MichaelAllenHardeman

base58 encoding and decoding in ada

updated at Feb. 25, 2024, 4:12 a.m.

2 +0

3 +0

0 +0

tcladashell by simonjwright

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

updated at Feb. 25, 2024, 3:38 p.m.

3 +0

9 +0

1 +0

ada-ado by stcarrez

Ada Database Objects

updated at March 4, 2024, 1:38 p.m.

7 +0

24 +0

4 +0

Ada-Win32 by Alex-Gamper

Ada bindings for the Microsoft Win32 Api

updated at March 5, 2024, 12:26 p.m.

1 +0

3 +0

0 +0

NBAda by andgi

NBAda - An Ada library of lock-free data structures and algorithms.

updated at March 5, 2024, 10:42 p.m.

5 +0

11 +0

2 +0

UXStrings by Blady-Com

Ada Unicode Extended Strings

updated at March 6, 2024, 6:57 a.m.

5 +0

11 +0

1 +0

azip by zertovitch

AZip: a free, portable Zip Archive Manager

updated at March 8, 2024, 11:02 a.m.

3 +0

9 +0

0 +0

cxos by ajxs

Operating System development experiment in Ada

updated at March 9, 2024, 10:48 a.m.

6 +0

35 +0

5 +0

json-ada by onox

An Ada 2012 library for parsing JSON

updated at March 9, 2024, 10:49 a.m.

8 +0

39 +0

3 +0

HAVK by RavSS

An attempt at a minimalistic and secure operating system.

updated at March 13, 2024, 12:55 a.m.

2 +0

24 +0

1 +0