< Ada

Share Share Share

Awesome Ada Algorithms, Containers and Protocols

• Ada-GA 2

  

  | updated 9 months ago | Other

  Genetic Algorithm Implementation for Ada

• adagio 3

  

  | updated over 11 years ago

  G2 network server leaf

• AdaID 15

  

  | updated over 2 years ago | BSD 2-Clause "Sim...

  An Ada Library for UUID generation.

• ada_language_server 217

  

  | updated 26 days ago | GNU General Publi...

  Server implementing the Microsoft Language Protocol for Ada and SPARK

• Ada-LanguageServer 1

  

  | updated over 5 years ago | GNU Lesser Genera...

  Prototype implementation of LSP client - Visual Studio 2017

• ada-lsp 11

  

  | updated over 6 years ago | MIT License

  Language Server Protocol for Ada

• Ada-Sodoku 5

  

  | updated 9 months ago | Other

  Small Library for Sodoku grid solving / finding

• ada-traits-containers 28

  

  | updated about 1 year ago | Other

  Generic Ada Library for Algorithms and Containers

• agpl 4

  

  | updated about 6 years ago | Other

  Ada General Purpose Library -- Miscellaneous utilities

• AZ3 6

  

  | updated over 2 years ago | MIT License

  Ada binding to the Z3 Theorem Prover

• chests 3

  

  | updated about 2 years ago | BSD 3-Clause "New...

  Chests are bounded containers

• HungarianAlgorithm 1

  

  | updated 6 months ago | GNU General Publi...

  Fully functional Hungarian Algorithm implementation in Ada

• NBAda 10

  

  | updated almost 9 years ago | GNU General Publi...

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

• PragmARC 26

  

  | updated 5 months ago

  The PragmAda Reusable Components

• simple_blockchain 21

  

  | updated almost 4 years ago | MIT License

  Simple blockchain in Ada

• sl3p 1

  

  | updated over 5 years ago | GNU Affero Genera...

  Simple Layer 3 Protocol

• smart_pointers 1

  

  | updated almost 6 years ago

  Christoph Karl Walter Grein's Smart Pointers