Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters (1)

Filters

Clear all filters

1–6 of 6 · Most stars

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

A WeeChat plug-in written in Ada 2012 that plays sounds using libcanberra

  • weechat-plugin
  • canberra
  • ada
  • weechat