⚡ Sangsakala Proxy 🏠 Home
Skip to content
@tpt-solutions

tpt-solutions

README.md

Default community health files, issue templates, and reusable CI/release workflows for all tpt-solutions repositories.

License

This project is dual-licensed under either of:

at your option.

Found a bug, have a question, or came across a repository under tpt-solutions that still needs to be updated to this dual-license model? Please open an issue — see CONTRIBUTING.md for details.

Pinned Loading

  1. tpt-keystone-db tpt-keystone-db Public template

    TPT Keystone DB — a multi-engine data platform. One core engine for relational, geospatial, graph, vector/AI, time-series, document, and event-streaming workloads. Postgres wire-compatible, hand-wr…

    Rust 1

  2. tpt-readme tpt-readme Public

    Guide to the TPT Solutions open-source ecosystem: 300+ Rust repos grouped by layer, how the foundation crates fit together, and live todo.md progress.

    Python

Repositories

Showing 10 of 358 repositories
  • tpt-solver Public template

    A high-performance constraint, SAT, and SMT solver suite in pure Rust, built on a certificate architecture: an untrusted, aggressively-optimized search engine paired with a small, independently-verified checker kernel that revalidates every answer.

    tpt-solutions/tpt-solver's past year of commit activity
    Rust 0 0 0 0 Updated Nov 4, 2026
  • tpt-codex Public

    A unified, headless, deterministic document and data workspace in Rust. One block-based model projects as a flowing document, live spreadsheet, slide canvas, or byte-exact PDF, via WebAssembly. MIT OR Apache-2.0.

    tpt-solutions/tpt-codex's past year of commit activity
    Rust 0 Apache-2.0 0 0 0 Updated Nov 4, 2026
  • tpt-shipyard Public

    Open-source, MIT-licensed pure-Rust engine for vehicle construction: sea shipyards, orbital assembly, in-space manufacturing, and construction digital twins. Build anything, anywhere — no gravity constraints, no launch limits, no proprietary lock-in.

    tpt-solutions/tpt-shipyard's past year of commit activity
    Rust 0 Apache-2.0 0 0 4 Updated Nov 4, 2026
  • tpt-writ Public

    Proof-gated capability guard for MCP tool calls — derive minimal tool scopes from verified proofs, enforce fail-closed.

    tpt-solutions/tpt-writ's past year of commit activity
    Rust 0 Apache-2.0 0 0 0 Updated Nov 3, 2026
  • tpt-anima Public template

    A zero-legacy, four-layer AI runtime built from first principles for autonomous agents — replacing REST/SQL/OAuth/threads with attended memory (SSE), agent negotiation (INP), zero-knowledge identity (ZKPA), and inference-based scheduling (CK). Native MCP/A2A support. Apache 2.0.

    tpt-solutions/tpt-anima's past year of commit activity
    Rust 0 0 0 6 Updated Nov 3, 2026
  • tpt-validex Public

    Blazing-fast, universal data validation engine written in pure Rust. One schema, every language — Python, JavaScript, Go, C, and Rust. SIMD-optimized, streaming-capable, MIT/Apache-2.0 dual-licensed.

    tpt-solutions/tpt-validex's past year of commit activity
    Rust 0 Apache-2.0 0 0 5 Updated Nov 3, 2026
  • tpt-kinetix Public

    A memory-safe, composable Rust media processing platform designed to become a modern alternative to FFmpeg.

    tpt-solutions/tpt-kinetix's past year of commit activity
    Rust 1 0 0 0 Updated Nov 3, 2026
  • tpt-reficon Public

    Refinement types, contract-verified FFI, and fractional-permission borrows for Rust, backed by an in-house QF_LRA solver. Compile-time correctness for business logic and Rust↔C/Go boundaries.

    tpt-solutions/tpt-reficon's past year of commit activity
    Rust 0 Apache-2.0 0 0 0 Updated Nov 3, 2026
  • tpt-proof Public

    Rust-native formal verification framework for stateful, concurrent, data-structure-heavy code. A tiny zero-dependency LCF-style proof kernel (simply-typed HOL), with contracts, refinement types and SMT (Z3) certificates checked by the kernel.

    tpt-solutions/tpt-proof's past year of commit activity
    Rust 0 Apache-2.0 0 0 0 Updated Nov 3, 2026
  • tpt-teleop-inspection Public

    Zero-bloat, MIT/Apache-2.0-licensed Rust middleware for infrastructure & industrial inspection robotics — edge AI defect detection, multi-sensor fusion, tethered drone/crawler control, and automated regulatory reporting for bridges, power lines, pipelines, wind turbines, and confined spaces.

    tpt-solutions/tpt-teleop-inspection's past year of commit activity
    Rust 0 Apache-2.0 0 0 0 Updated Nov 3, 2026
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…