Lists (1)
Stars
a zero-knowledge proof-carrying code platform for Lean 4
HelixDB is an OLTP graph-vector database built in Rust.
A template for PostgreSQL High Availability with Etcd, Consul, ZooKeeper, or Kubernetes
DeepSeek-native AI coding agent for your terminal. Engineered around prefix-cache stability — leave it running.
Beamer reproduction of the University of St. Gallen (HSG) template. This template is NOT official and it is NOT recommended for any official occasion.
Agent framework for the JVM. Pronounced Em-BAY-bel /ɛmˈbeɪbəl/
Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.
Edge.js is a secure JavaScript runtime, designed for Edge computing and AI workloads
Connect your devices into a secure WireGuard®-based overlay network with SSO, MFA and granular access controls.
The low-code Knowledge Graph application platform. Apache license.
A polyglot document intelligence framework with a Rust core. Extract text, metadata, images, and structured information from PDFs, Office documents, images, and 97+ formats. Available for Rust, Pyt…
A lightweight text-to-speech model with zero-shot voice cloning
A functional toolkit focused on type-safe pipelines, not FP dogma, for JavaScript and TypeScript.
A web-based tool for creating mappings between knowledge organization systems.
Prediction and curation of semantic mappings in SSSOM
A text-based work management system for technologists.
🦜✨ Chat system, MCP server, and reusable components to improve LLMs capabilities when generating SPARQL queries
🌐 The open-source Agentic browser; alternative to ChatGPT Atlas, Perplexity Comet, Dia.
Tinfoil JavaScript / TypeScript Client supporting the OpenAI API standard
The fundamental technical specifications of the PACT Network
CodeScientist: An automated scientific discovery system for code-based experiments
A full attention mechanism and transformer in pure go.
A lightweight data processing framework built on DuckDB and 3FS.
Mind Network Rust SDK DeepSeek
SOAP - A Sockpuppet Auditing Tool for Very Large Online Platforms
Storage for private, distributed, offline-first applications.