-
Bandit Eric Brown (1 project)
Bandit is a tool designed to find common security issues in Python code.
-
Vouch Protocol Ramprasad Gaddam (1 project)
The open standard for AI agent identity, accountability, and content provenance. Vouch Protocol provides Ed25519 cryptographic identity for AI agents via signed JWT tokens (Vouch-Tokens), integrate...
-
Matrix Specification The Matrix.org Foundation (2 projects)
Matrix defines a set of open APIs for decentralised communication, suitable for securely publishing, persisting and subscribing to data over a global open federation of servers with no single point...
-
Grid Scale Time Series Database Laukik (1 project)
This project aims to build a scalable time-series database for cloud and on-premise deployments, with a focus on low-latency and low cost components. The database is designed to handle high-through...
-
hsds The HDF Group (1 project)
HDF Scalable Data Service (HSDS) is a REST-based web service that allows web clients to read from and write to HDF data sources. HSDS can be deployed in the cloud or on-premises, making it ideal fo...
-
Cats Effect Typelevel Foundation (1 project)
Use functional programming to write a concurrent application and execute it on a high-performance, asynchronous runtime targeting the platform of your choice.
-
Prove TriplePass Labs LLC (1 project)
Cryptographic benchmark pre-registration, Bitcoin-anchored OpenTimestamps attestation, and agent harness drift observatory.
-
AirLLM enables 70B large language model inference on a single 4GB GPU, making large model inference accessible without expensive hardware.
-
cargo-semver-checks Predrag Gruevski (1 project)
Lint your Rust crates for accidental breaking changes.
-
Verifiable AI Output Ledger Ogulcan Aydogan (1 project)
Cryptographic ledger for AI output verification using Merkle trees and digital signatures. Tracks, timestamps, and proves the authenticity of AI-generated content with tamper-evident audit trails.
-
embodiOS is a bare-metal AI operating system where AI inference is a first-class primitive. The project focuses on reducing end-to-end inference latency by collapsing Time To First Token (TTFT) and...
-
OpenVoiceOS provides an open-source alternative to proprietary voice assistant platforms such as platforms offered by major companies like Amazon, Google, and Apple.
-
Forms.md Tahmid Khan Nafee (1 project)
Developer-first, open source Typeform alternative. Forms.md lets you build powerful multi-step forms and surveys with minimal code. As mentioned above, the method for creating the forms is very nov...
-
Wall of Defense Pantomax (1 project)
Panto Wall of Defense integrates seamlessly with Jira and Confluence to understand organizational context. It analyzes code changes by identifying relevant sections and function dependencies using ...
-
pdf-writer Typst GmbH (2 projects)
A step-by-step low-level PDF writer for Rust.
-
Chaos Mesh Zhiqiang ZHOU (1 project)
A Chaos Engineering Platform for Kubernetes.
-
Sniffnet Giuliano Bellini (1 project)
An application to comfortably monitor your Internet traffic
-
Matrix.org homeserver The Matrix.org Foundation (2 projects)
The Matrix.org homeserver used for the general public to get onboarded easily on Matrix for free. Operating the server costs $240k US.
-
Hayagriva Typst GmbH (2 projects)
Rusty bibliography management.
-
Gantral Protocol Abhishek Kumar Phutane (1 project)
A vendor-neutral AI Execution Control Plane. Gantral provides a standardized, auditable execution state machine for governing AI-assisted workflows in critical systems. It enforces explicit human-i...