Repository Index

C to Common Lisp compiler

Ada semantic analysis library.

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

• parser
• binary-parser
• ada
• spark

Ada bindings for the GTK+ graphical library.

Crystal wrapper for the libsodium crypto API

• crystal
• cryptography
• nacl
• libsodium

Modern concurrency tools for Crystal

• crystal
• concurrent

Crystal bindings to the Zstandard (zstd) compression library

• crystal
• crystal-bindings
• zstd
• zstandard

The repository host gives no description.

Ada API to the Windows library

GNAT Components Collection – Bindings to C libraries

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