lkujaw

Lev Kujawski's repositories

The Common Desktop Environment (CDE) for UNIX

Language:C3 10

The Advanced Software Technology (AST) toolkit for UNIX

Language:CEPL-2.02 1 1

The GNAT Ada (1995) compiler for UNIX

Language:CGPL-2.02 10

The BLAKE2s hash function for SPARK83 [Ada (1987)]

Language:AdaMIT-01 1 1

The GNAT Ada (2005) compiler for UNIX

Language:CGPL-2.01 10

Community index for the Alire project

Language:ShellGPL-3.0000

Threaded AVL trees library for Ada

Language:AdaLGPL-3.0000

A curated list of awesome resources related to the Ada and SPARK programming language

000

X/Open Native Language System (NLS) for Ada

Language:AdaNOASSERTION01 1

BDD testing framework for Ada

Language:AdaMIT-0000

GnuPG supporting OpenPGP-Serpent

Language:CGPL-3.0010

The Motif widget toolkit for UNIX

Language:CLGPL-2.1010