ada_language_server_23.0.0_66f2e7fb test-baz.adb
agpl_1.0.0_b5da3320 agpl-cv.adb
ada_language_server_23.0.0_66f2e7fb test-bar.adb
libadalang_tools_24.0.0_d864b5a8 contracts.adb
gnatprove_13.2.1_28fc3583 elaboration_demo.adb
agpl_1.0.0_b5da3320 png_io-standard_rgb_encodings.adb
agpl_1.0.0_b5da3320 agpl-interfaces-c-arrays.adb
adagsl_335d13f0 fns.adb
agpl_1.0.0_b5da3320 agpl-optimization-annealing.adb
wl_lib_0.1.3_1c94dc7c wl-brownian_noise.adb
libsimpleio_1.22163.1_c99a1be4 thermistor.adb
mcp2221_1.21527.1_db7adc76 thermistor.adb
remoteio_1.21805.1_406605ad thermistor.adb
adagsl_335d13f0 clarks.adb
mathpaqs_20230121.0.0_773568e5 champ_vt.adb
agpl_1.0.0_b5da3320 t028_drawing_area.adb
gnoga_2.1.2_5f127c56 plot_test.adb
simple_components_4.68.0_da9b0f3a test_mqtt_server.adb
gnoga_2.1.2_5f127c56 test_mqtt_server.adb
adagsl_335d13f0 deriv.adb
agpl_1.0.0_b5da3320 png_io-gamma_encoding.adb
agpl_1.0.0_b5da3320 agpl-png.adb
aicwl_3.24.1_73939c9e oscilloscope_plotter.adb
honki_tonks_zivilisationen_0.5.5305_cfbe2104 StadtKonstanten.ads
mathpaqs_20230121.0.0_773568e5 sim_alea.adb
adagsl_335d13f0 filter.adb
adagsl_335d13f0 integration.adb
gnatprove_13.2.1_28fc3583 control_structures.adb
adagsl_335d13f0 chebyshev.adb
gnat_native_13.2.1_788a01f9 a-nuelfu.ads
gnatprove_13.2.1_28fc3583 a-nuelfu.ads
stephes_ada_library_3.7.3_08b48307 test_stats.adb
agpl_1.0.0_b5da3320 t016_atsprand.adb
agpl_1.0.0_b5da3320 t013_atsp.adb
adagsl_335d13f0 complex.adb
mandelbrot_ascii_1.0.0_974d55bd mandelbrot_ascii.adb
simple_components_4.68.0_da9b0f3a calculator.adb
gnoga_2.1.2_5f127c56 calculator.adb
adagsl_335d13f0 interp2d.adb
agpl_1.0.0_b5da3320 t012_mtsp.adb
gnoga_2.1.2_5f127c56 gnoga-gui-element-canvas-context_2d-sprite.adb
agpl_1.0.0_b5da3320 agpl-gdk-drawer_figures.adb
agpl_1.0.0_b5da3320 t014_mtspabreast.adb
agpl_1.0.0_b5da3320 t015_mtspsparse.adb
adagsl_335d13f0 interp.adb
wl_lib_0.1.3_1c94dc7c wl-noise.adb
adagsl_335d13f0 bspline.adb
gnoga_2.1.2_5f127c56 pixi_sprite_test.adb
adagsl_335d13f0 fit.adb
gnoga_2.1.2_5f127c56 gnoga-gui-plugin-pixi-text.adb
simple_components_4.68.0_da9b0f3a py-class.adb
asfml_2.6.0_24478793 pong.adb
mathpaqs_20230121.0.0_773568e5 eds_1.adb
linux_hal_1.1.0_c7c2f276 test.adb
gnat_arm_elf_13.2.1_db1e9283 a-nuelfu.ads
gnat_riscv64_elf_13.2.1_938f208c a-nuelfu.ads
adagsl_335d13f0 movstat.adb
gid_12.0.0_86d6be08 steg.adb
adagsl_335d13f0 fft.adb
agpl_1.0.0_b5da3320 agpl-drawing-figures.adb
gnoga_2.1.2_5f127c56 gnoga-gui-plugin-pixi-sprite.adb
aicwl_3.24.1_73939c9e strings_edit-float_edit.adb
simple_components_4.68.0_da9b0f3a strings_edit-float_edit.adb
gnoga_2.1.2_5f127c56 strings_edit-float_edit.adb
gnat_arm_elf_13.2.1_db1e9283 a-ngelfu.adb
gnat_riscv64_elf_13.2.1_938f208c a-ngelfu.adb
gnoga_2.1.2_5f127c56 pragmarc-matrix_math.ads
play_2048_1.0.0_ddfe6faa play_2048.adb
euler_tools_1.3.0_e7bbfe0b euler_package.adb
gnoga_2.1.2_5f127c56 othello_pkg.adb
zipada_58.0.0_08ab9be1 rezip_lib.adb
mathpaqs_20230121.0.0_773568e5 graph.adb