Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters (1)

Filters

Clear all filters

1–8 of 8 · Most stars

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

AdaChess is a smart chess engine written from scratch in the Ada programming language

An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.

This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.