Wasabee: a Web browser with safety focus. Project is in early development stage.
- ada
- ada-language
- web-browser
Repository Index
47,133 repositories indexed
25–48 of 56 · Most stars
The Ada Conformity Assessment Test Suite, customised for GCC.
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
Ada library and tools for the analysis of Complex Networks and more
The repository host gives no description.
Qt5 COVID-19 simulator. Ada code under the hood. :astonished: 🤯 :metal:
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
AdaChess is a smart chess engine written from scratch in the Ada programming language
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
SPARK formal verification automated with Travis CI
Giza is trying to be a simple widget tool kit for embedded platforms
Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.
POSIX Ada Bindings.
Memory Analysis Tool
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
- ada
- threefish
- xor
- encryption-decryption
RufasCube is a very unique 3D slider puzzle for Windows, OSX & Linux. It looks like a rubic cube but it's a slider, not a twister.
This is an Ada 2012 package that provides an interface to BLAS.
Ada General Purpose Library -- Miscellaneous utilities
Grammar handling and parser generation Ada library
- ada
- grammars
- parsing
- syntax-analysis
STM32 UI library and tools
- stm32
- ada
- ui
- display
Extensions to the Tiny Lisp language for embedded applications
- ada
- lisp
- lisp-dialect
- lisp-interpreter
Incremental analysis in Ada
- ada
- syntax-analysis
- incremental
- parsing
RISC-V 64-bit Kernel written in Ada