Space and Time | Proof of SQLProof of SQL Proof of SQL is a high performance zero knowledge (ZK) prover developed by the Space and Time team, which cryptographically guarantees SQL queries were computed accurately against untampered data. It targets online latencies while proving computations over entire chain histories, an order of magnitude faster than state-of-the art zkVMs and coprocessors. As the first sub-second ZK prover, the protocol can execute analytic queries over 100k-row tables…
Official inference framework for 1-bit LLMsbitnet.cpp bitnet.cpp is the official inference framework for 1-bit LLMs (e.g., BitNet b1.58). It offers a suite of optimized kernels, that support fast and lossless inference of 1.58-bit models on CPU (with NPU and GPU support coming next). The first release of bitnet.cpp is to support inference on CPUs. bitnet.cpp achieves speedups of 1.37x to 5.07x on ARM CPUs, with larger models experiencing greater performance gains. Additionally, it reduces ene…
Create a site or blog from your GitHub repositories with GitHub Pages. GitHub Pages Create a site or blog from your GitHub repositories with GitHub Pages. Welcome With GitHub Pages, you can host project blogs, documentation, resumes, portfolios, or any other static content you'd like. Your GitHub repository can easily become its own website. In this course, we'll show you how to set up your own site or blog using GitHub Pages. Who is this for: Beginners, students, project maintainer…
Agent Framework / shim to use Pydantic with LLMs Agent Framework / shim to use Pydantic with LLMs Documentation: ai.pydantic.dev When I first found FastAPI, I got it immediately. I was excited to find something so innovative and ergonomic built on Pydantic. Virtually every Agent Framework and LLM library in Python uses Pydantic, but when we began to use LLMs in Pydantic Logfire, I couldn't find anything that gave me the same feeling. Pyd…
WEB VIDEO PLATFORM是一个基于GB28181-2016标准实现的网络视频平台，支持NAT穿透，支持海康、大华、宇视等品牌的IPC、NVR、DVR接入。支持国标级联，支持rtsp/rtmp等视频流转发到国标平台，支持rtsp/rtmp等推流转发到国标平台。 开箱即用的28181协议视频平台 WEB VIDEO PLATFORM是一个基于GB28181-2016标准实现的开箱即用的网络视频平台，负责实现核心信令与设备管理后台部分，支持NAT穿透，支持海康、大华、宇视等品牌的IPC、NVR接入。支持国标级联，支持将不带国标功能的摄像机/直播流/直播推流转发到其他国标平台。 流媒体服务基于@夏楚 ZLMediaKit https://github.com/ZLMediaKit/ZLMediaKit 播放器使用@dexter jessibuca https://github.com/langhuihui/jessibuca/tree/v3 前端页面基于@Kyle MediaServerUI https://gitee.com/kkkkk5G/MediaServerUI…
Decentralized cryptocurrency blockchain daemon implementing the XRP Ledger protocol in C++The XRP Ledger The XRP Ledger is a decentralized cryptographic ledger powered by a network of peer-to-peer nodes. The XRP Ledger uses a novel Byzantine Fault Tolerant consensus algorithm to settle and record transactions in a secure distributed database without a central operator. XRP XRP is a public, counterparty-free asset native to the XRP Ledger, and is designed to bridge the many different currencies …
Anthropic's Interactive Prompt Engineering TutorialWelcome to Anthropic's Prompt Engineering Interactive Tutorial Course introduction and goals This course is intended to provide you with a comprehensive step-by-step understanding of how to engineer optimal prompts within Claude. After completing this course, you will be able to: Master the basic structure of a good prompt Recognize common failure modes and learn the '80/20' techniques to address them Understand Claude's streng…
Self-hosted, lightweight server and website monitoring and O&M tool LOGO designed by 熊大 . Nezha Monitoring: Self-hostable, lightweight, servers and websites monitoring and O&M tool. Supports monitoring system status, HTTP (SSL certificate change, upcoming expiration, expired), TCP, Ping and supports push alerts, run scheduled tasks and web terminal. >> Telegram Channel: 哪吒监控（中文通知频道） >> Telegram Group: Nezha Monitoring Global (English Only), 哪吒监控（中文群…
This is a Full Stack app starter with the foundational things setup and configured for you to hit the ground running on your next EPIC idea. The Epic Stack 🚀 Ditch analysis paralysis and start shipping Epic Web apps. This is an opinionated project starter and reference that allows teams to ship their ideas to production faster and on a more stable foundation based on the experience of Kent C. Dodds and contributors. npx create-epic-app@latest The Epic Stack …