Repository Index

Matreshka Project

Wasabee: a Web browser with safety focus. Project is in early development stage.

• ada
• ada-language
• web-browser

ada privilege escalation

• ada
• security
• spark
• sudo

Language Server Protocol for Ada

A collections of small nifty demos/sample code that may help better layout data or structure project

Utility library to pretty print physical values in proper metric units

• ada2012
• ada
• utility-library
• formatting-output

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

Implementing promises in Ada. Type-safe, efficient, thread-safe, ...

An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm

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

Formally verified implementation of the CoAP protocol in SPARK/Ada

• ada
• coap
• formal-verification
• spark-ada

Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets

• ada
• ada-language
• excel
• excelwriter

Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)

Ada EL - Expression Language Library (JSR245)

Ada binding for liblzma compression library

• lzma
• ada
• compression

An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.

Utility programs for the encryption algorithms included in the PragmAda Reusable Components

• ada
• threefish
• xor
• encryption-decryption

Easy to use logging facilities for output to console in Ada programs

This is an Ada 2012 package that provides an interface to BLAS.

Pretty printing library for Ada

• ada
• pretty-print

Extensions to the Tiny Lisp language for embedded applications

• ada
• lisp
• lisp-dialect
• lisp-interpreter

Engine_3D: a real-time, pure software, 3D engine for DOS-talgics. Abandoned project, but perhaps there are some interesting bits in the code... See GLOBE_3D for newer stuff !

• ada
• ada-language
• 3d-engine
• software-rendering

XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs

A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014