< Ada

Share Share Share

Awesome Ada Algorithms, Containers and Protocols

• Ada-GA 2

  

  | updated over 1 year ago | Other

  Genetic Algorithm Implementation for Ada

• adagio 3

  

  | updated about 12 years ago

  G2 network server leaf

• AdaID 15

  

  | updated almost 3 years ago | BSD 2-Clause "Sim...

  An Ada Library for UUID generation.

• ada_language_server 230

  

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

  Server implementing the Microsoft Language Protocol for Ada and SPARK

• Ada-LanguageServer 1

  

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

  Prototype implementation of LSP client - Visual Studio 2017

• ada-lsp 11

  

  | updated almost 7 years ago | MIT License

  Language Server Protocol for Ada

• Ada-Sodoku 5

  

  | updated over 1 year ago | Other

  Small Library for Sodoku grid solving / finding

• ada-traits-containers 29

  

  | updated over 1 year ago | Other

  Generic Ada Library for Algorithms and Containers

• agpl 4

  

  | updated over 6 years ago | Other

  Ada General Purpose Library -- Miscellaneous utilities

• AZ3 6

  

  | updated 3 months ago | MIT License

  Ada binding to the Z3 Theorem Prover

• chests 3

  

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

  Chests are bounded containers

• HungarianAlgorithm 1

  

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

  Fully functional Hungarian Algorithm implementation in Ada

• NBAda 11

  

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

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

• PragmARC 27

  

  | updated 8 months ago

  The PragmAda Reusable Components

• simple_blockchain 21

  

  | updated over 4 years ago | MIT License

  Simple blockchain in Ada

• sl3p 1

  

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

  Simple Layer 3 Protocol

• smart_pointers 1

  

  | updated over 6 years ago

  Christoph Karl Walter Grein's Smart Pointers