Sign in

Repository Index

67,262 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

14,329–14,352 of 19,016 · Most stars

TranslatedWindows wireless peripheral battery monitoring — Bluetooth headsets, 2.4G keyboards, mice and gamepads. Desktop widget, taskbar display. Unified battery level indicators for 2.4GHz mice, headsets and Bluetooth devices in the Windows tray

Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.

A reactive dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification

Header-only C++ program options parser library

  • getopt
  • program-options
  • option-parser
  • commandline-flags