OneWingedShark/ASN.1 OneWingedShark/ASN.1

  • Stars
    star
    6
  • Rank 2,471,579 (Top 50 %)
  • Language
    Ada
  • Created almost 8 years ago
  • Updated almost 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
OneWingedShark/ASN.1
github

OneWingedShark

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

Byron

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

Ada_Tutorial

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

AdaProjectManager

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

Forth

A Forth interpreter written in Ada.
Ada
8
star
5

EVIL

Everyone’s Verified & Independent Library.
Ada
5
star
6

WordPerfect

A package for creating, reading, altering and saving the WPD format.
Ada
4
star
7

FlashPlayer

A Flash Player written in Ada.
Ada
4
star
8

Lamman

ICFP Programming Contest 2014
Ada
2
star
9

Pratt_Parse

Experimental testbed for building a Pratt-parser in Ada.
Ada
1
star
10

Risi

Implementation of the Risi Interpreter
Ada
1
star
11

IkaMo

Ada torrent client. (unfinished.)
Ada
1
star
12

Base_64

A package for handling Base64 strings.
Ada
1
star
13

TAO-GL

The Ada Open-GL
Ada
1
star