Sign in

Repository Index

77,353 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters (1)

Filters

Clear all filters

25–48 of 128 · Most stars

SHA-3 and other Keccak related algorithms in SPARK/Ada.

  • hash-functions
  • keccak
  • sha-3
  • sponge-construction

Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.

  • ada
  • ada-language
  • zip
  • zip-archive

AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OSX & most Linux distros. A tribute to Narbacular Drop with mind bending spacial interconnections.

  • game
  • portal
  • stargate
  • kawoosh

PolyORB provides a uniform solution to build distributed applications relying either on middleware standards

An Ada 2012 implementation of the Rx methodology

  • rx
  • rxjava
  • rxada
  • reactive-programming

The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.