Agents and tools for using Quint with LLMs

firectl is a command-line tool to run Firecracker microVMs

Ghostty for the web with xterm.js API compatibility

The Node.js version manager you'll adore, crafted just for Fish

A dynamic library providing Virtualization-based process isolation capabilities

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Apache Iggy: Hyper-Efficient Message Streaming at Laser Speed

Batteries included CLI, TUI, and server implementations for DataFusion.

SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/

Minimalistic Rust toolkit for hash function quality analysis. Tests avalanche effect, differential patterns, and statistical distribution across variable-length n-grams.

VSCode extension. Visualize Go’s genssa compiler pass, including all inlining decisions

Embeddable library or single binary for indexing and searching 1B vectors

Supercharge your command line with LLMs and get shell scripting assistance in Fish. 💪

macOS: mount any linux-supported filesystem read/write using NFS and a microVM

hypequery - The type-safe analytics backend for ClickHouse

ClickHouse SQL Parser writing in Go

Vitess for Postgres

B-tree implementation for Go

A TTS model capable of generating ultra-realistic dialogue in one pass.

Lightweight coding agent that runs in your terminal

Weak Collection Library for Deno and Node.js.

AI Powered Analytics

Create PostgreSQL extensions using Zig.

Build Postgres Extensions with Rust!

High-performance Go package to read and write Parquet files

VPN client in a thin Docker container for multiple VPN providers, written in Go, and using OpenVPN or Wireguard, DNS over TLS, with a few proxy servers built-in.

Entropy Based Sampling and Parallel CoT Decoding

A large collection of system log datasets for AI-driven log analytics [ISSRE'23]