William Whitaker's WORDS, a Latin dictionary
Repository Index
70,234 visible repositories in the index
1–22 of 22 · Most stars
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Ada Bare Bones OS development tutorial source code
- ada
- port
- bare-bones-tutorial
- bare-bones
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Simple audio synthesis library
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
Ada Wiki Engine - Parser and renderer for Markdown and other Wiki syntaxes
- wiki-engine
- markdown
- mediawiki
- dotclear
AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros. Hear ancient Persian melodies played by Korla Pandit.
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
Ada OpenGL Framework
A Button Mania game written in Ada
- ada
- game
- gtkada
Ada bindings for libsoundio
A standalone lightweight auxiliary CLI video player support for BlackVideo.
- blackvideo
- sdl2
- video-player
- video-streaming
Extensions to the Tiny Lisp language for embedded applications
- ada
- lisp
- lisp-dialect
- lisp-interpreter
An Ada implementation of XPath 1.0.
Distributed Simulation of Transport Networks
Fully functional Hungarian Algorithm implementation in Ada
- hungarian-algorithm
- ada
- munkres
- kuhn
Ada wrapper for the fast Stachniss' Hungarian solver
Ada bindings to NanoVG
Trivial implementation of fletcher_16 sum computation algorithm.