William Whitaker's WORDS, a Latin dictionary
Repository Index
76,855 visible repositories in the index
1–24 of 67 · Most stars
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
SPARK 2014 re-implementation of the TweetNaCl crypto library
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Ada Web Application - Framework to build high performance secure web applications
- web-framework
- ada
- database
- orm
Ada Bare Bones OS development tutorial source code
- ada
- port
- bare-bones-tutorial
- bare-bones
This project is obsolete is no longer developed, maintained or serviced!
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
- ada
- gnat
- cortex
- rts
Source repository for the GNAT Bare Metal BSPs
Ada-language framework
- ada
- ada-language
- arm
- avr
The Google Protocol Buffers implementation in Ada
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
Ada Keystore - protect your sensitive data with secure storage
- keystore
- security-tools
- secure-storage
Thick database bindings to MySQL, PostgreSQL and SQLite for Ada
LEA is a Lightweight Editor for Ada
- ada
- ada-language
- editor
- scintilla
Ada Database Objects
Ada Embedded Network Stack
Embeddable Forth interpreter written in Ada
- ada
- forth
- interpreter
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
- ada
- ada-language
- image-processing
- gif
Yet Another Static Site (Generator)
- ada
- markdown
- static-site-generator
- yass
The AURA Reference Implementation
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
- ada
- ada-language
- pdf-generation