Lev Kujawski's repositories

cde

The Common Desktop Environment (CDE) for UNIX

Language:CStargazers:3Issues:1Issues:0

ast

The Advanced Software Technology (AST) toolkit for UNIX

Language:CLicense:EPL-2.0Stargazers:2Issues:1Issues:1

gcc3

The GNAT Ada (1995) compiler for UNIX

Language:CLicense:GPL-2.0Stargazers:2Issues:1Issues:0

blake2s

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

Language:AdaLicense:MIT-0Stargazers:1Issues:1Issues:1

gcc4

The GNAT Ada (2005) compiler for UNIX

Language:CLicense:GPL-2.0Stargazers:1Issues:1Issues:0

alire-index

Community index for the Alire project

Language:ShellLicense:GPL-3.0Stargazers:0Issues:0Issues:0

avltrees

Threaded AVL trees library for Ada

Language:AdaLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

awesome-ada

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

Stargazers:0Issues:0Issues:0

felix

X/Open Native Language System (NLS) for Ada

Language:AdaLicense:NOASSERTIONStargazers:0Issues:1Issues:1

monitor

BDD testing framework for Ada

Language:AdaLicense:MIT-0Stargazers:0Issues:0Issues:0

gnupg1

GnuPG supporting OpenPGP-Serpent

Language:CLicense:GPL-3.0Stargazers:0Issues:1Issues:0

motif

The Motif widget toolkit for UNIX

Language:CLicense:LGPL-2.1Stargazers:0Issues:1Issues:0