Lists (1)
Starred repositories
reznikmm / ada-pretty
Forked from godunko/adasidePretty printing library for Ada
Language repository for Codigo, a collaborative programming language hub for discovering, comparing and sharing languages.
Parser for the .ali (Ada Library Information) files generated by the GNAT compiler
collection of solutions for various programming puzzles
Archicheck is a simple tool to describe and enforce architecture/design decision
Simple to use cross-platform BDD driver for black box testing
Data Matrix generator is for fast creation of rectangular or square 2D codes. Written on vanilla javascript with no dependencies.
A cryptographic framework, proven for correctness in SPARK
This project is obsolete is no longer developed, maintained or serviced!
Scan documents to PDF and more, as simply as possible.
Output in BMP, PPM, and QOI formats; input in BMP, GIF, JPG, PNG, PNM, QOI, and TGA formats
Analysis and manipulation of Ada software based on concrete syntax