Open-source proof-of-observation enclave and verifier
☆21Nov 5, 2026Updated last week
Alternatives and similar repositories for proof-of-observation
Users that are interested in proof-of-observation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Sep 18, 2026Updated last month
- KickSide 启伴：面向 KimiCode 与 DeepSeek Harness 的 Windows/macOS 桌面工作台，基于 Tauri v2 + React。☆14Aug 30, 2026Updated 2 months ago
- C叉叉是一个给 Codex / Claude Code 加上微信远程接管能力的增强工具。☆42Aug 2, 2026Updated 3 months ago
- A Markdown parser and transformer built on top of remark. It provides seamless integration with Astro through an Astro integration, allow…☆13Feb 23, 2026Updated 8 months ago
- An interactive map of Starlight component overrides☆15Mar 13, 2026Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Flip through paintings in an art gallery using the Cover Flow UI.☆11Aug 12, 2011Updated 15 years ago
- [PoC] Streamlines the process of preparing online product listings. Automates background replacement, organizes measurements, generates h…☆12Apr 16, 2026Updated 6 months ago
- Full audit of installed software on macOS☆12May 2, 2026Updated 6 months ago
- ☆10Feb 18, 2024Updated 2 years ago
- Dynamic Omarchy ↔ Hermes Dashboard theme bridge. One repo, two features: plugin + theme.☆11May 14, 2026Updated 5 months ago
- Automatically maintains translation of markdown files using GenAI.☆17Aug 29, 2026Updated 2 months ago
- SM1Password USB Sync Tool☆10Dec 8, 2013Updated 12 years ago
- My personal site☆12Updated this week
- NodeJS LCP Module☆10Jun 14, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Telegram bot for inline whisper to current user☆12Dec 10, 2025Updated 11 months ago
- Sync tabs with your teammates!☆15Jan 31, 2026Updated 9 months ago
- 将设计、前端实现、代码探索、评审及媒体分析交给本地命令行 Agent，支持持续会话。☆25Sep 10, 2026Updated 2 months ago
- Полная коллекция скиллов Kimi (267 built-in + 7 plugin skills), выгруженная из сандбокса агента☆11Jul 18, 2026Updated 3 months ago
- An iPhone Hacker News client.☆13Mar 1, 2013Updated 13 years ago
- Applying optical illusion to CAPTCHA in order to improve usability for humans☆11Dec 9, 2023Updated 2 years ago
- A desktop companion for Hermes Agent — animated portraits, lip-synced TTS, reactive quips☆12Jun 28, 2026Updated 4 months ago
- 使用rag来学习rag☆10Sep 6, 2024Updated 2 years ago
- MITM proxy for Claude Code with real-time TUI, web UI & MCP server — intercept, inspect, and send messages to the Anthropic API. Headless…☆15Mar 8, 2026Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- I Bike CPH app for iOS☆13Nov 4, 2014Updated 12 years ago
- The Exploit Database Extension for Google Chrome☆15Sep 13, 2010Updated 16 years ago
- The DoodleKit manages up to four users' drawings on a single canvas, allowing doodlers to create and share content across their devices. …☆13Jul 14, 2013Updated 13 years ago
- DSH 接着聊：换台电脑，聊天和项目一起接着做。通过自己的 GitHub 私有仓库同步会话、附件、工作区文件和设置。☆22Updated this week
- PyInstaller for Linux and Windows inside Docker☆11Apr 7, 2024Updated 2 years ago
- @aleph7's dotfiles☆10Nov 11, 2022Updated 4 years ago
- Consent-only OpenVPN passive telemetry lab with localized dashboard and one-script VPS deployment☆14May 28, 2026Updated 5 months ago
- Convert simple images and logos into a list of equations ready to be used in the Desmos Graphing Calculator. Turn your images into mathem…☆12Aug 27, 2023Updated 3 years ago
- ☆15Jan 21, 2013Updated 13 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A collaborating effort to gather IP geographic/intelligence to utilize for routing rules on GFW-censored networks.☆12May 3, 2025Updated last year
- OpenClaw-native macOS calendar skill for IM-first schedule management (planning, execution, review, and safe dedup cleanup).☆11Mar 8, 2026Updated 8 months ago
- LCP Server v2☆12Updated this week
- Repository of livestreet guide☆10Feb 24, 2015Updated 11 years ago
- ☆21Jan 28, 2013Updated 13 years ago
- linkbak is a web page archiver : it reads a list of links and dumps the corresponding pages in HTML and PDF.☆13Dec 8, 2022Updated 3 years ago
- Ouro — self-creating AI agent☆14Mar 21, 2026Updated 7 months ago
Are these results useful?