234
247
543
|
Mentions
@
|
Stars | Project | Description | |
|---|---|---|---|---|
| We couldn't find any libraries for the selected period | ||||
Popular Ada Topics
Latest Mentions
Latest mentioned Ada repos
| Stars | Project |
|---|---|
| 121 | SPARKNaCl |
| 42 | parasail |
| 13 | gnoga |
| 202 | gnat-llvm |
| 279 | spark2014 |
| 9 | Neo.SIMD |
| 138 | aws |
| 116 | RecordFlux |
| 153 | libadalang |
| 4 | Ada-Lisp-Embedded |
| 15 | bbt |
| 1 | prunt_board_2_software |
| 28 | prunt |
| 0 | Nucleo-STM32G474RE |
| 4 | webui_ada |
| 7 | AoC2023 |
| 115 | sdlada |
| 329 | alire |
| 18 | getada |
| 102 | learn |
Latest Discoveries
Latest discovered Ada repos
| Stars | Project |
|---|---|
| 42 | parasail |
| 9 | Neo.SIMD |
| 15 | bbt |
| 1 | prunt_board_2_software |
| 0 | Nucleo-STM32G474RE |
| 28 | prunt |
| 4 | webui_ada |
| 7 | AoC2023 |
| 123 | sdlada |
| 369 | eepers |
| 13 | gnoga |
| 4 | gnoga |
| 38 | ada_spark_workflow |
| 36 | adamant |
| 0 | open_url |
| 1 | adastegano |
| 23 | Cashe |
| 2 | Qplt |
| 0 | mimsy |
| 11 | Alice |
Recently updated posts
-
Benchmarking Crimes Meet Formal Verification
-
Is this the simplest (and most surprising) sorting algorithm ever? (2021)
-
A new math library for Ada: Neo.SIMD
-
NASA has a list of 10 rules for software development
-
Nvidia Security Team: "What if we just stopped using C?" (2022)