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)