Like cURL, but for gRPC: Command-line tool for interacting with gRPC servers

A massively parallel, high-level programming language

llama3 implementation one matrix multiplication at a time

Every practical and proposed defense against prompt injection.

Build terminal forms and prompts 🤷🏻‍♀️

Xray, Penetrates Everything. Also the best v2ray-core. Where the magic happens.

The seL4 microkernel

the AI-native open-source embedding database

OpenAssistant is a chat-based assistant that understands tasks, can interact with third-party systems, and retrieve information dynamically to do so.

Evolution of the Ethereum Proof-of-Stake Consensus Protocol

An example of a golang-based monorepo.

An Ethereum beacon chain checkpoint sync provider

Multilingual BLS12-381 signature library

Monorepo that contains a set of PostCSS plugins.

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

A TypeScript language service plugin providing support for CSS Modules.

YAD2K: Yet Another Darknet 2 Keras

Fast and friendly HTTP client framework for async Rust

Convert your ascii diagram scribbles into happy little SVG

Cadence is a distributed, scalable, durable, and highly available orchestration engine to execute asynchronous long-running business logic in a scalable and resilient way.

Kiali project, observability for the Istio service mesh

Cloud-native high-performance edge/middle/service proxy

Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared …

HACL*, a formally verified cryptographic library written in F*

Use Ky in both Node.js and browsers

A list of Free Software network services and web applications which can be hosted on your own servers

commit/branch/workdir explorer for git

🥧 Savoury implementation of the QUIC transport protocol and HTTP/3

Circuit compiler for zkSNARKs