Search Results for "termanal only linux"

tensorzero is a lightweight C++ library designed for tensor operations and numerical computing. It offers a minimal and readable implementation of core tensor functionality, making it ideal for educational purposes, lightweight applications, or those wanting to understand how tensor libraries work under the hood. With no external dependencies, tensorzero is easy to integrate into C++ projects needing basic multi-dimensional array support.

Leptos is a full‑stack Rust framework for building web apps that supports client-only SPAs, SSR/MPR rendered on the server, and hydrated progressive apps. It offers fine‑grained reactivity, server functions, and cohesive front‑end/backend code using shared Rust abstractions.

Stakpak is an open-source autonomous DevOps agent designed to run continuously on a machine, managing infrastructure, deployments, and operational tasks with minimal human intervention. It acts as a persistent system-level assistant that monitors applications, executes DevOps workflows, and only alerts humans when necessary, effectively automating routine operational responsibilities. The agent is built with strong safety considerations, including guardrails that prevent destructive actions...

ZoKrates is a toolbox for zkSNARKs on Ethereum. It helps you use verifiable computation in your DApp, from the specification of your program in a high-level language to generating proofs of computation to verifying those proofs in Solidity. Zero-knowledge proofs (ZKPs) are a family of probabilistic protocols, first described by Goldwasser, Micali and Rackoff in 1985. One particular family of ZKPs is described as zero-knowledge Succinct Non-interactive ARguments of Knowledge, a.k.a. zkSNARKs....