Discover @OneWingedShark Open Source projects

@OneWingedShark

OneWingedShark

Stars
126
Global Rank 175,502 (Top 7 %)
Followers 34
Following 3
Registered about 12 years ago
Most used languages

Ada
100.0 %

Byron

The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.

Ada_Tutorial

Program texts for a LISP interpreter writen as a Tutorial for Ada 2012.

AdaProjectManager

The definition of a language and file format to organize and aid building Ada programs.

Forth

A Forth interpreter written in Ada.

ASN.1

This aims to be a SPARK-verified, DSA-compatible implementation of the ASN.1 specification

EVIL

Everyone’s Verified & Independent Library.

WordPerfect

A package for creating, reading, altering and saving the WPD format.

FlashPlayer

A Flash Player written in Ada.

Lamman

ICFP Programming Contest 2014

Pratt_Parse

Experimental testbed for building a Pratt-parser in Ada.

Risi

Implementation of the Risi Interpreter

IkaMo

Ada torrent client. (unfinished.)

Base_64

A package for handling Base64 strings.

TAO-GL

The Ada Open-GL