Skip to content

@annexi-strayline ANNEXI-STRAYLINE

Change the repository type filter

All

    Repositories list

    26 repositories

    • ASAP

      Public
      The ANNEXI-STRAYLINE AURA Public Repository
      BSD 3-Clause "New" or "Revised" License
      •0•6•0•0•Updated Jul 7, 2024Jul 7, 2024

    • ASAP-INET

      Public
      ANNEXI-STRAYLINE AURA Public (ASAP) Repository - INET subsystem for TCP/IP/UDP and TLS
      Ada
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jun 27, 2024Jun 27, 2024

    • ASAP-CLI

      Public
      ANNEXI-STRAYLINE AURA Public (ASAP) Repository - CLI subsystem
      Ada
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jun 23, 2024Jun 23, 2024

    • gnat-packs

      Public
      Self-contained binary distribution of the FSF GNAT Compiler and other free tools
      1•7•2•1•Updated Apr 24, 2024Apr 24, 2024

    • gcc

      Public
      GNU General Public License v2.0
      •4.4k•0•0•0•Updated Apr 4, 2024Apr 4, 2024

    • xmlada

      Public
      The XML/Ada toolkit.
      Ada
      •
      Other
      •13•0•0•0•Updated Jan 21, 2024Jan 21, 2024

    • gprbuild

      Public
      GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
      Ada
      •
      Other
      •21•0•0•0•Updated Jan 21, 2024Jan 21, 2024

    • gnatcoll-db

      Public
      GNAT Components Collection – Database packages
      C
      •
      Other
      •22•0•0•0•Updated Jan 14, 2024Jan 14, 2024

    • gnatcoll-bindings

      Public
      GNAT Components Collection – Bindings to C libraries
      Ada
      •
      Other
      •15•0•0•0•Updated Jan 14, 2024Jan 14, 2024

    • gnatcoll-core

      Public
      GNAT Components Collection – Core packages
      Ada
      •
      Other
      •30•0•0•0•Updated Jan 14, 2024Jan 14, 2024

    • gprconfig_kb

      Public
      GPR configuration knowledge base
      Other
      •9•0•0•0•Updated Jan 14, 2024Jan 14, 2024

    • AURA

      Public
      The AURA Reference Implementation
      Ada
      •
      BSD 3-Clause "New" or "Revised" License
      •0•22•13•0•Updated Oct 17, 2023Oct 17, 2023

    • ASAP-JSON

      Public
      ANNEXI-STRAYLINE AURA Public (ASAP) Repository - High performance JSON parser/generator subsystem
      Ada
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•1•0•Updated Nov 13, 2022Nov 13, 2022

    • sdlada-aura

      Public
      Ada 2012 bindings to SDL 2 - AURA Package Port
      Ada
      •
      Other
      •37•0•0•0•Updated Jun 7, 2022Jun 7, 2022

    • AURA-docs

      Public
      The official documentation repo of the AURA project.
      Ada
      •0•2•2•0•Updated Oct 21, 2021Oct 21, 2021

    • ASAP-Unicode

      Public
      ANNEXI-STRAYLINE AURA Public (ASAP) Repository - Unicode utilities
      Ada
      •
      BSD 3-Clause "New" or "Revised" License
      •0•5•0•0•Updated Sep 23, 2021Sep 23, 2021

    • ASAP-UUIDs

      Public
      ANNEXI-STRAYLINE AURA Public (ASAP) Repository - UUID Generation Facilities
      Ada
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Sep 23, 2021Sep 23, 2021

    • ASAP-Simple_HTTP

      Public
      ANNEXI-STRAYLINE AURA Public (ASAP) Repository - Basic HTTP 1.1 for APIs
      Ada
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Sep 23, 2021Sep 23, 2021

    • ASAP-Modular_Hashing

      Public
      ANNEXI-STRAYLINE AURA Public (ASAP) Repository - Modular hashing subsystem
      Ada
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Sep 23, 2021Sep 23, 2021

    • ASAP-HEX

      Public
      ANNEXI-STRAYLINE AURA Public (ASAP) Repository - HEX subsystem
      Ada
      •
      BSD 3-Clause "New" or "Revised" License
      •1•1•0•0•Updated Sep 23, 2021Sep 23, 2021

    • pygments

      Public
      Pygments is a generic syntax highlighter written in Python
      Python
      •
      BSD 2-Clause "Simplified" License
      •662•0•0•0•Updated Nov 19, 2020Nov 19, 2020

    • Curses

      Public
      Advanced UNIX Terminal UI Ada Binding Package
      tuicursescurses-library
      Ada
      •1•14•1•0•Updated May 1, 2020May 1, 2020

    • ada_language_server

      Public
      Server implementing the Microsoft Language Protocol for Ada and SPARK
      Ada
      •
      GNU General Public License v3.0
      •54•0•0•0•Updated Jan 24, 2020Jan 24, 2020

    • libadalang

      Public
      Ada semantic analysis library.
      Ada
      •
      Other
      •42•0•0•0•Updated Jan 24, 2020Jan 24, 2020

    • freebsd-gnat_ports

      Public
      GCC/GNAT and Tools for the FreeBSD ports tree
      0•0•0•0•Updated Jul 17, 2019Jul 17, 2019

    • spark2014

      Public
      SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
      Ada
      •34•0•0•0•Updated Jul 7, 2019Jul 7, 2019