Awesome Ada Algorithms, Containers and Protocols

  • updated over 1 year ago Other

    Genetic Algorithm Implementation for Ada

  • updated about 12 years ago

    G2 network server leaf

  • AdaID AdaID 15
    star
    updated almost 3 years ago BSD 2-Clause "Sim...

    An Ada Library for UUID generation.

  • updated about 1 month ago GNU General Publi...

    Server implementing the Microsoft Language Protocol for Ada and SPARK

  • updated almost 6 years ago GNU Lesser Genera...

    Prototype implementation of LSP client - Visual Studio 2017

  • updated almost 7 years ago MIT License

    Language Server Protocol for Ada

  • updated over 1 year ago Other

    Small Library for Sodoku grid solving / finding

  • updated over 1 year ago Other

    Generic Ada Library for Algorithms and Containers

  • updated over 6 years ago Other

    Ada General Purpose Library -- Miscellaneous utilities

  • AZ3 AZ3 6
    star
    updated 3 months ago MIT License

    Ada binding to the Z3 Theorem Prover

  • updated over 2 years ago BSD 3-Clause "New...

    Chests are bounded containers

  • updated about 2 months ago GNU General Publi...

    Fully functional Hungarian Algorithm implementation in Ada

  • NBAda NBAda 11
    star
    updated over 9 years ago GNU General Publi...

    NBAda - An Ada library of lock-free data structures and algorithms.

  • updated 8 months ago

    The PragmAda Reusable Components

  • updated over 4 years ago MIT License

    Simple blockchain in Ada

  • updated almost 6 years ago GNU Affero Genera...

    Simple Layer 3 Protocol

  • updated over 6 years ago

    Christoph Karl Walter Grein's Smart Pointers