lkujaw

Lev Kujawski's starred repositories

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

CC0-1.061500

Supports building the Ada Semantic Interface Specification library and tools for FSF GCC variants. Tracks AdaCore CE releases.

Language:Ada800

An Ada controller for static analysis and rules checking

Language:AdaGPL-2.01700

Unix on Windows 95 and NT Machines

Language:CSS11200

AST - AT&T Software Technology

Language:CEPL-1.054800

An open-source Unix operating system

Language:C157800

Protected Mode Debugger For DOS

Language:AssemblyNOASSERTION3600

DPMI 1.0 Server

Language:AssemblyGPL-3.04100

Command-line tool from the Alire project and supporting library

Language:AdaGPL-3.027400

Community index for the Alire project

GPL-3.05300

BLAKE2 official implementations

Language:CCC0-1.064700

ksh 93u+m: KornShell lives! | Latest release: https://github.com/ksh93/ksh/releases

Language:CEPL-2.017400