Pulsr — open-source recovery, strain and sleep coach for Apple Watch. Liquid Glass UI, on-device, no subscription.
- apple-watch
- fitness
- healthkit
- hrv
Repository Index
58,136 visible repositories in the index
1,033–1,056 of 1,333 · Most stars
ExImageInfo is an Elixir library to parse images (binaries) and get the dimensions (size), detected mime-type and overall validity for a set of image formats. It is the fastest and supports multiple formats.
- elixir
- elixir-lang
- elixir-library
- image-processing
Tiny Full-Stack React framework. Avoid Overengineering. Automatic routes, reload and component bundle. It uses its own RSC engine, combining SSR and CSR. 100% Deno, no Node dependencies. Fully compatible with Deno Deploy and Serverless Environments.
CMake module for code coverage
- cmake
- codecov
- code-coverage
- gcov
A tiny wrapper over amqp exchanges and queues 🚌 ✨
- rabbitmq
- eventbus
- microservices
- golang
The repository host gives no description.
- coverage
- unittest
- delphi
- codecoverage
Ansible Collection of roles, playbooks & plugins for Linux-based cloud infrastructure. Covers OS hardening, MariaDB, Icinga2, Nextcloud, FreeIPA, KVM & more. Bitwarden & Cloud integration.
- ansible
- ansible-roles
- ansible-playbooks
- ansible-plugins
A MQTT Topic Tree viewer using the d3 collapsable tree and MQTT over websockets
Convert Haskell source code to Coq source code.
- coq
- haskell
:sunrise_over_mountains: Instagram for the Apple Watch
CAN of Fingers (c0f) creates passive fingerprints of Make and Model over CAN bus
Extends Playwright test to measure code coverage
- playwright
- coverage
- istanbul
- babel
Easy way to integrate pagination with dummy views in CollectionView, make Instagram "Discover" within minutes.
1-1 pipe over bluetooth low energy
Open source intercom manager for broadcast production: manages intercom channels and users over WebRTC, using Symphony Media Bridge.
additional packages, dotfiles, and overrides. to be used AFTER installing omarchy
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
Lets you inspect apps running on different devices/browsers over the network using websockets.
🎶 Music lovers, rejoice.
Safe number conversion in Go: address gosec G115 and cwe-190 Integer Overflow or Wraparound
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
[ACL 2025] The official implementation of the paper "PIGuard: Prompt Injection Guardrail via Mitigating Overdefense for Free".
TypeDB Bio: Biomedical Knowledge Graph
- bioinformatics
- knowledge-graph
- knowledge-base
- drug-discovery
Open framework for calculating spatial urban sprawl indices and performing disaggregated population estimates using open data
- openstreetmap
- overpass-api
- urban-planning
- urban-sprawl