Stars
Hitchhiker's Guide to Logical Verification (2023 Edition)
The most advanced free and open-source browser fingerprinting library
A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
A cross-platform Android/iOS/macOS/Windows/Linux/Web Bluetooth Low Energy (BLE) plugin for Flutter
Reactive programming made simple for Dart and Flutter
Firebase Extension to automatically push Firestore documents to Typesense for full-text search with typo tolerance, faceting, and more
The design language that makes your AI harness better at design.
Bidirectionally sync Markdown files with Apple Notes.
The best way to get AI coding agents to solve hard problems in complex codebases.
PlutoGrid is a dataGrid for flutter that can be controlled by the keyboard on desktop and web. Of course, it works well on Android and IOS.
Anthropic's Interactive Prompt Engineering Tutorial
tfw when you when your lid when uhh angle your lid sensor
CLI allowing you to use your Whoop4.0 without subscription and without data leaving your device
AeroSpace is an i3-like tiling window manager for macOS
Web SSH & Telnet (WebSSH & WebTelnet client) 🔮
A Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.
Generate audiobooks from EPUBs, PDFs and text with synchronized captions.
browser plugin to send youtube, insta (all social videos) to local backend and process audio and video in all sorts of ways.
From Claude Artifact to deployable React app — in seconds!
A Model Context Protocol (MCP) server and CLI that provides tools for agent use when working on iOS and macOS projects.
ClipBook is a macOS clipboard history app that stores everything you copy and lets you quickly access your clipboard history whenever you need it.
Upload training plans defined in natural language into you Garmin watch
An native MCP server extension for Ghidra