Lists (1)
Stars
π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.
Python API and command line tool for Tuya WiFi smart devices using a direct local area network (LAN) connection or the cloud (TuyaCloud API).
High performance self-hosted photo and video management solution.
Very fast, high quality, platform-independent hashing algorithm.
A pseudo-random deterministic merkle tree built on LMDB
An awesome list of resources related to Prolly Trees
The best free and open-source automated time tracker. Cross-platform, extensible, privacy-focused.
A low-power E-Paper weather display powered by an ESP32 microcontroller. Utilizes the OpenWeatherMap API.
A collaborative note taking, wiki and documentation platform that scales. Built with Django and React.
Offline speech recognition API for Android, iOS, Raspberry Pi and servers with Python, Java, C# and Node
AI-powered tools to enhance Anki flashcards with explanations, mnemonics, illustrations, and adaptive learning for medical school and beyond
Quadsort is a branchless stable adaptive mergesort faster than quicksort.
A Python tool to export annotations and highlights from a Kobo SQLite file. Now with web UI.
Immutable database and Datalog query engine for Clojure, ClojureScript and JS
Browser extension that generates API specs for any app or website
ClickHouse® is a real-time analytics database management system
Deequ is a library built on top of Apache Spark for defining "unit tests for data", which measure data quality in large datasets.
A distraction-free and highly customizable theme for Obsidian.
🦀 Small exercises to get you used to reading and writing Rust code!
A static verifier for Rust, based on the Viper verification infrastructure.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness