A research prototype for zero-knowledge proofs of AI inference. Not maintained.
Repository Index
47,133 repositories indexed
1,081–1,104 of 2,497 · Most stars
Fold papers, web pages, files, and AI replies into five levels of detail. Zoom from an overview to the original text.
- arxiv
- llm
- local-first
- open-source
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
Smart IP camera stream finder. Tests 102K+ URL patterns in 30 seconds. Supports 67K camera models. Generates ready Frigate/go2rtc configs.
- camera-discovery
- cctv
- docker
- frigate
The Scala API for Quantities, Units of Measure and Dimensional Analysis
A framework for developing alerting and detection strategies for incident response.
- octo-correct-managed
Nornicdb is a distributed low-latency, Graph+Vector, Temporal MVCC with all sub-ms HNSW search, graph traversal, and writes. Using Neo4j Bolt/Cypher and qdrant's gRPC means you can switch with no changes while adding intelligent features like schemas, managed embeddings, reranking+llm, GPU accel, Auto-TLP, Policy-based Memory Decay, and MCP server.
- bolt
- cypher
- database
- enterprise-solutions
A modern, lambda-friendly, 120 character Java formatter.
- java
- formatter
- codeformatter
- gofmt
Convenient and performant logging library for Scala wrapping SLF4J.
- scala
- logging
- slf4j
- jvm
🖍 Highlight whatever you want!
- swift
- highlighter
- pod
Chat SDK iOS - Open Source Mobile Messenger
Image optimization / compression library. This library is able to optimize png, jpg and gif files in very easy and handy way. It uses optipng, pngquant, pngcrush, pngout, gifsicle, jpegoptim and jpegtran tools.
- image-optimization
- php
- jpegoptim
- pngquant
Composable, view-based context for DeepSeek Harness. Pluggable sources and strategies, with layered memory and self-evolving skills out of the box.
- agent-memory
- deepseek-harness
- local-first
- persistent-memory
CSerialPort - lightweight cross-platform serial port library and protocol parsing for C++/C/C#/Java/Python/Node.js/Electron/Rust
- serial-port
- cserialport
- cpp
- communication
Use the w, e, b motions like a spider. Move by subwords and skip insignificant punctuation.
- camelcase
- nvim-plugin
- editing-support
- neovim-plugin
An R package for the Quantitative Analysis of Textual Data
- r
- text-analytics
- natural-language-processing
- corpus
Simple elegant toast notifications
- toast-notifications
- svelte3
- vanilla-js
Graphical Editor to create BehaviorTrees. Compliant with BehaviorTree.CPP
Run large AI models on your own PC: Qwen3.8-Flash-Next on Strata's engine, and GLM 5.3 Flash, DeepSeek V4 Flash, LFM2.5, Qwen3.6, Ornith 1.5, Gemma 4, Tiel Coder and MiniCPM-V on a second engine written for PolyStrata. One-click install for Windows and Linux, OpenAI/Anthropic API on localhost.
- anthropic-api
- cuda
- gemma
- gguf
PICO-8 Reimplementation in Love2D. Chat: https://discord.gg/jGEMUse6RM
Zentral is a control plane for secure, observable Apple endpoints in enterprises. Configure, observe, and enforce the desired state of every Apple endpoint. Manage that desired state as code through GitOps and Terraform.
- macos
- inventory
- elasticsearch
- endpoint-management
:octocat: ElongationPreview is an elegant UI push-pop style view controller. iOS library made by @Ramotion
- swift
- ios
- library
A Component Framework with SSR for Rust & Nodejs. Inspired by React, Tailwind, ShadCN, & Next.js
A ruby gem for creating navigations (with multiple levels) for your Rails, Sinatra or Padrino applications. Render your navigation as html list, link list or breadcrumbs.
- navigation
- menu
- ruby
- rails