Sign in

Repository Index

47,133 repositories indexed

Tags: Developer tools
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–10 of 10 · Most stars

A frontend-independent IDE "smartness" server for Elixir. Implements the JSON-based "Language Server Protocol" standard and provides debugger support via VS Code's debugger protocol.

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436

buderus2mqtt is a gateway between a KM200 Buderus internet gateway and MQTT with the https://github.com/mqtt-smarthome topic and payload format.

  • mqtt-smarthome

kobold2mqtt is a gateway between a Vorwerk Kobold VR200 internet gateway and MQTT with the https://github.com/mqtt-smarthome topic and payload format.

  • mqtt-smarthome

fetch_paths() is a smart CMake function that quickly retrieves files or directories using powerful regex filtering and flexible search modes to streamline your build process.

  • cmake
  • cmake-examples
  • cmake-scripts
  • cpp