An attempt at a minimalistic and secure operating system.
Repository Index
72,862 visible repositories in the index
25–48 of 76 · Most stars
Ada Embedded Network Stack
Read-only mirror of https://review.sourcearcade.org/admin/repos/libgfxinit,general. We don't handle pull requests.
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
- ada
- ada-language
- image-processing
- gif
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
Standard Ada library specification as defined in Reference Manual
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
- ada
- civilization
- learning-by-doing
- learning
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.
GLOBE_3D: a real-time 3D Engine written in Ada
- ada
- ada-language
- 3d-engine
- opengl
Ada Wiki Engine - Parser and renderer for Markdown and other Wiki syntaxes
- wiki-engine
- markdown
- mediawiki
- dotclear
Dynamo Ada Application Code Generator
- code-generation
- ada
- web-application
Ada Unicode Extended Strings
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
- ada
- ada-language
- barcode
- barcode-generator
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
- decawave
- dw1000
- uwb
- ranging-sensor
Wasabee: a Web browser with safety focus. Project is in early development stage.
- ada
- ada-language
- web-browser
Tool for building a Linux package from an Alire crate
- alire
- appimage
- packaging
- ada
A collections of small nifty demos/sample code that may help better layout data or structure project
Qt5 COVID-19 simulator. Ada code under the hood. :astonished: 🤯 :metal:
ColdFrame generates Ada framework code and documentation from UML models.
- argouml
- ada
Giza is trying to be a simple widget tool kit for embedded platforms
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
Simulated railway network in SPARK/Ada
Behavior Driven Development in Ada
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.