William Whitaker's WORDS, a Latin dictionary
Repository Index
47,133 repositories indexed
1–24 of 26 · Most stars
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
- ada
- energy
- green
- power
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
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
Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
A Game Boy emulation library in Ada
Simple to use cross-platform BDD driver for black box testing
Pascal to Ada translator
- ada
- pascal
- translator
- ada-language
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
- ada
- emulator
- gmp
Apache Kafka Ada client library, based off of librdkafka
A set of Ada components to allow 3D simulations, games and GUI's in Ada.
ada privilege escalation
Qt5 COVID-19 simulator. Ada code under the hood. :astonished: 🤯 :metal:
AWS templates engine.
Giza is trying to be a simple widget tool kit for embedded platforms
Simulated railway network in SPARK/Ada
Mars Polar Lander Simulation
TeXCAD: a simple LaTeX {picture} drawing tool
- tex
- latex
- ada
- ada-language
Assembler/Emulator for Fictional YOTROC Architecture
- ada
- gtkada
J2Ada translates a Java valid source code in Ada source code.
Ada bindings for the player robotic platform
Ada implementation of D’Hondt electoral result calculator