-
coap_spark Public
Formally verified implementation of the CoAP protocol in SPARK/Ada
-
simple-icons Public
Forked from simple-icons/simple-iconsSVG icons for popular brands
JavaScript Creative Commons Zero v1.0 Universal UpdatedJun 12, 2025 -
-
alire-index Public
Forked from alire-project/alire-indexCommunity index for the Alire project
GNU General Public License v3.0 UpdatedMay 16, 2025 -
alr2appimage Public
Tool for building an AppImage from an Alire crate
-
wolfssl Public
Forked from wolfSSL/wolfsslThe wolfSSL library is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3 and DTLS 1.3!
C GNU General Public License v2.0 UpdatedApr 25, 2025 -
swagger-ada Public
Forked from stcarrez/swagger-adaAda support for OpenAPI code generator
Ada Apache License 2.0 UpdatedApr 9, 2025 -
bbt Public
Forked from LionelDraghi/bbtSimple to use cross-platform BDD driver for black box testing
Ada Apache License 2.0 UpdatedMar 28, 2025 -
awesome-appimage Public
Forked from AppImageCommunity/awesome-appimageLovingly crafted AppImage tools and resources
Creative Commons Zero v1.0 Universal UpdatedMar 23, 2025 -
alr2appimage-action Public
Reusable action that you can use to build an AppImage from your Alire crate and publish it to your releases section
MIT License UpdatedMar 23, 2025 -
-
gnatcov-to-codecovio-action Public
Forked from alire-project/gnatcov-to-codecovio-actionGitHub actions to upload coverage results from gnatcov to codecov.io
Shell MIT License UpdatedMar 15, 2025 -
alire Public
Forked from alire-project/alireCommand-line tool from the Alire project and supporting library
Ada GNU General Public License v3.0 UpdatedMar 2, 2025 -
spat Public
Forked from HeisenbugLtd/spatSPARK Proof Analysis Tool
Ada Do What The F*ck You Want To Public License UpdatedFeb 14, 2025 -
canberra-ada Public
Forked from onox/canberra-adaAda 2012 bindings for libcanberra
Ada Apache License 2.0 UpdatedFeb 2, 2025 -
ada-lang-io Public
Forked from ada-lang-io/ada-lang-ioAn Open Source Community site for Ada
TypeScript Apache License 2.0 UpdatedJan 12, 2025 -
ASFML Public
Ada binding to the SFML library
-
awesome-ada Public
Forked from ohenley/awesome-adaA curated list of awesome resources related to the Ada and SPARK programming language
-
-
RecordFlux Public
Forked from AdaCore/RecordFluxFormal specification and generation of verifiable binary parsers, message generators and protocol state machines
Ada Apache License 2.0 UpdatedOct 20, 2024 -
emacs-ada-mode-binaries Public
AppImages of the Emacs ada-mode executables
-
ada-mode Public
Mirror of https://git.savannah.nongnu.org/cgit/ada-mode.git/
CartoCSS Other UpdatedOct 2, 2024 -
dotemacs-ada Public
Forked from brownts/dotemacs-adaMinimal Emacs configuration for Ada
Emacs Lisp UpdatedSep 22, 2024 -
-
ikea-smartlight Public
Forked from slokhorst/ikea-smartlightpython framework for controlling the Ikea smart lights (tradfri)
Python GNU General Public License v3.0 UpdatedSep 1, 2024 -
ada_spark_workflow Public
Forked from alire-project/ada_spark_workflowA demo of best practices for open-source Ada/SPARK development
Ada MIT License UpdatedAug 24, 2024 -
-
adasearch Public
Custom search engine for the Ada programming language
-
eugen Public
Forked from riccardo-bernardini/eugenA generator of research project plan. It allows you to generate a full plan from a compact, not redundant description.
Ada MIT License UpdatedJul 30, 2024 -
AdaReferenceCard Public
Forked from bracke/AdaReferenceCardReference Card of Ada Attributes, Aspects, Pragmas and Standard Library
TeX The Unlicense UpdatedMay 4, 2024
{{ message }}