alire/alire-index-community
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1,968 Commits 27 Branches 1 Tag
ee0a84c9533f60a4122fcaf56ee5930a428670f2
Commit Graph

1968 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
César Sagaert b7111626c5 gnatdoc_bin 26.0.0 (#1883) 2026-05-04 17:16:24 +02:00
Martin Krischik aeed2f34b1 Pi Ada Tutorial release 1.6.0 (#1898) 
* Pi Ada Tutorial release 1.6.0

* Remove extra newline before URL in TOML file

Force rebuild by removing redundant lines at the end of the file

---------

Co-authored-by: Martin Krischik <martin.krischik@kpt.ch>
 2026-05-04 16:16:28 +02:00
Baris Erdem dc89797378 hkdf_ada 0.1.0 (via alr publish) (#1891) 
Co-authored-by: Baris Erdem <example@example.com>
 2026-05-04 14:54:43 +02:00
Paul Jarrett 601e0e2604 septum 0.1.1 (via alr publish) (#1894) 2026-05-04 13:38:10 +02:00
Paul Jarrett fbaee67fc7 progress_indicators 0.0.2 (via alr publish) (#1895) 2026-05-04 12:10:44 +02:00
Paul Jarrett 981ec864e5 trendy_terminal 0.0.6 (via alr publish) (#1896) 2026-05-04 12:09:06 +02:00
Baris Erdem 7dca3fe0ce hmac_ada 0.2.0 (#1885) 2026-04-27 13:18:09 +02:00
Martin Krischik 4115555bab Pi Ada tutorial 1.5.2 (#1884) 
Co-authored-by: Martin Krischik <martin.krischik@kpt.ch>
 2026-04-25 12:46:06 +02:00
Baris Erdem 0c186dbbb1 ccsds_ada 0.1.0 (#1875) 
SPARK-proved CCSDS protocol suite for Ada 2022. Covers Space Packet,
Time Code Formats (CUC / CDS), AOS Transfer Frame with FECF,
Encapsulation Packet, CFDP PDU with optional CRC, SLE identifiers,
and the shared CRC-16-CCITT-FALSE primitive. 440 SPARK Level 2 proof
obligations, all discharged, no pragma Assume, no justified checks.
 2026-04-25 12:35:16 +02:00
Baris Erdem 5e368ffe1c cbor_ada 0.2.0 (#1870) 2026-04-25 12:28:15 +02:00
Baris Erdem 9bdbbbc9ec hmac_ada 0.1.0 (#1871) 
SPARK-proved HMAC (RFC 2104) with standalone SHA-256 for Ada 2022.
 2026-04-25 12:26:00 +02:00
Darren Bane f1b7e7e579 florist, ncursesada external metadata (#1855) 2026-04-25 12:09:35 +02:00
pmunts e551c9ed23 munts_rp2040_firmware_embedded release 2.24840.1 Tue Apr 14 01:12:29 PM PDT 2026 (#1859) 
Phil's RP2040 Microcontroller Embedded Profile Firmware Template

Added web site link.
Added long description.
Refined postbuild.sh to make search for implicit mount point much more robust.
 2026-04-21 11:36:28 +02:00
Vadim Godunko 114f9939ae espidf_driver_i2c 0.1.0 (via alr publish) (#1882) 2026-04-21 11:30:16 +02:00
Martin Krischik b20c7e5b1e Pi Ada Tutorial release 1.5.1 (#1878) 
* Pi Ada Tutorial release 1.5.1

Add installation via openocd. Update description.

* Fix URL formatting in pico_ada_c01_blink TOML file

Remove new lines - will also trigger a rebuild.

* Remove unnecessary line break in TOML file

And trigger a rebuild.

---------

Co-authored-by: Martin Krischik <martin.krischik@kpt.ch>
 2026-04-20 18:31:49 +02:00
Vadim Godunko 1284c5494b a0b_sensirion 0.1.0 (via alr publish) (#1881) 2026-04-20 18:30:05 +02:00
Vadim Godunko 299e0216cc espidf 0.1.0 (via alr publish) (#1880) 2026-04-20 15:05:17 +02:00
Daniel King 83ea866704 libsap 0.1.0 (#1879) 2026-04-20 15:04:39 +02:00
César Sagaert 757423a167 gnatcov 26.2 (#1874) 2026-04-20 15:01:41 +02:00
Paul Jarrett 4234fd149e septum 0.1.0 (via alr publish) (#1873) 2026-04-17 19:02:58 +02:00
Martin Krischik 5f493217ee pico_ada_c05_rgb 1.5.0 (via alr publish) (#1872) 2026-04-14 17:04:38 +02:00
Martin Krischik 044905f905 pico_xbsp 1.5.0 (via alr publish) (#1869) 2026-04-14 15:36:23 +02:00
Martin Krischik 903b9e4280 pico_ada_c04_pwm 1.4.0 (#1868) 
* pico_ada_c04_pwm 1.4.0 (via `alr publish`)

* Update pico_ada_c04_pwm-1.4.0.toml

names should be all lower caps.
 2026-04-14 15:35:57 +02:00
Martin Krischik 484eff6048 pico_xbsp 1.4.0 (via alr publish) (#1867) 2026-04-14 15:35:30 +02:00
Daniel King 883cc887ff community-bb-runtimes 15.3.0 (#1864) 2026-04-14 15:35:01 +02:00
Martin Krischik ca5cffb14e pico_ada_c03_led_bar 1.3.1 (via alr publish) (#1849) 2026-04-14 15:34:23 +02:00
Martin Krischik bf9d563255 pico_ada_c02_button_and_led 1.3.1 (via alr publish) (#1848) 2026-04-14 15:33:50 +02:00
Martin Krischik 1941ece544 pico_ada_c01_blink_lt 1.3.1 (via alr publish) (#1847) 2026-04-14 15:33:04 +02:00
Martin Krischik 22c7f28502 pico_ada_c01_blink 1.3.1 (via alr publish) (#1846) 2026-04-14 15:32:35 +02:00
Martin Krischik bf2c6631f3 pico_ada_c03_led_bar 1.3.0 (via alr publish) (#1842) 2026-04-14 15:32:08 +02:00
Martin Krischik b4f820d2e7 pico_ada_c02_button_and_led 1.3.0 (via alr publish) (#1841) 2026-04-14 15:31:42 +02:00
Martin Krischik e28e8f7082 pico_ada_c01_blink_lt 1.3.0 (via alr publish) (#1840) 2026-04-14 15:31:07 +02:00
Martin Krischik a47d43631b pico_ada_c01_blink 1.3.0 (via alr publish) (#1839) 2026-04-14 15:30:14 +02:00
Martin Krischik 592051a8a9 pico_ada_c03_led_bar 1.2.0 (via alr publish) (#1837) 2026-04-14 15:29:11 +02:00
Martin Krischik ce048ea860 pico_ada_c01_blink 1.2.0 (#1831) 
* pico_ada_c01_blink 1.2.0 (via `alr publish`)

* Update pico_ada_c01_blink-1.2.0.toml

Remove gnatprove for now as it's not (yet) working.
 2026-04-14 15:28:19 +02:00
Fabien Chouteau a2426744d4 Tresses and Noise Nugget updates (#1843) 2026-04-13 14:59:35 +02:00
Baris Erdem 7294ded59c Add cbor_ada 0.1.1 (#1866) 2026-04-13 14:35:18 +02:00
Jochen Lillich 05c2203817 czmq_ada 0.4.0 (via alr publish) (#1865) 2026-04-13 14:23:25 +02:00
Martin Krischik ff5ab43798 pico_xbsp 1.3.3 (via alr publish) (#1862) 2026-04-13 14:17:23 +02:00
Kevin Chadwick a71949f1e0 elogs 1.3.4 (via alr publish) (#1861) 
Co-authored-by: Kevin Chadwick <kc-ada@elansys.co>
 2026-04-13 14:16:26 +02:00
pmunts 10edee2777 munts_rp2040_lib_embedded release 2.24820.1 Thu Apr 9 05:48:16 AM PDT 2026 (#1860) 
Phil's RP2040 Microcontroller Embedded Profile Library

Initial release.
 2026-04-13 14:14:52 +02:00
Eduard Llamosí 55285b380f gade 0.2.0 (via alr publish) (#1853) 2026-04-13 14:12:11 +02:00
Martin Krischik af4caf546f pico_xbsp 1.3.2 (via alr publish) (#1852) 2026-04-13 14:11:19 +02:00
Kevin Chadwick 11f7c777c7 elogs 1.3.3 (via alr publish) (#1845) 
Co-authored-by: Kevin Chadwick <kc-ada@elansys.co>
 2026-03-31 13:17:42 +02:00
Mark Hermeling 58612928d0 pico_st7789 0.1.2 (via alr publish) (#1844) 2026-03-30 15:04:08 +02:00
pmunts 6da312685e libsimpleio release 2.24736.1 Wed Mar 25 07:14:37 AM PDT 2026 (#1836) 
* libsimpleio release 2.24736.1 Wed Mar 25 07:14:37 AM PDT 2026

Corrected Raspberry Pi 5 PWM output designators.

With kernel 6.12, we are back to pwmchip0.

* libsimpleio drop    2.24736.1

* libsimpleio release 2.24736.1 Thu Mar 26 08:59:46 AM PDT 2026

Corrected Raspberry Pi 5 PWM output designators.

With kernel 6.12, we are back to pwmchip0.
 2026-03-30 14:33:18 +02:00
Blady-Com a0c6ed59e4 Add TP7 Gnoga. (#1821) 
* Add TP7 Gnoga.

* Avoid error: value not in range of type "Standard.Long_Long_Float" for AARCH64.
 2026-03-30 14:32:38 +02:00
Jeremy Grosser b96ce865f5 rp2040_hal 2.7.1 (#1838) 2026-03-30 14:31:33 +02:00
Stephane Carrez 427126ff72 wi2wic 1.1.0 (#1834) 
* Add Wi2wic crate

Wi2wic is a small server that allows to convert HTML in Wiki text
such as Markdown, MediaWiki, Dotclear or Creole. It can also convert
one Wiki syntax to another. It can be used to:

- Migrate HTML page in Markdown or another Wiki,
- Convert Wiki page in HTML,
- Convert HTML documentation in Markdown or another Wiki,
- Cleanup a complex and noisy HTML page

* Unpin Ada Wiki repo

* Change repo to github since it seems gitlab is now blocked by Alire
 2026-03-25 01:16:12 +01:00
Martin Krischik d1179f45dd pico_ada_c02_button_and_led 1.2.0 (#1835) 2026-03-25 01:01:56 +01:00