Agents and tools for using Quint with LLMs

Experimental Hypervisor Purpose-Built for Deterministic Software Testing

A Rust framework for correct and performant distributed systems

Struct-based argument parsing in Go

Foqos allows you to lock apps behind the tap of a NFC tag or scan of a QR code. Free and open source alternative to Brick, Opal, ScreenZen, Unpluq, Scrolly, Blok and more!

AFL++ is a state-of-the-art fuzzer, and #1 in benchmarks. It was originally based on AFL. Today it comes with qemu 5.1, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power sched…

Record and Replay Framework

Embeddable, replicated and fault-tolerant SQL engine.

Checkpoint/Restore tool

HydraDB - fast graph database on object storage

Effortlessly compose, extend, observe, discover, and react to every service in real-time for the first time ever.

Build Real-Time Knowledge Graphs for AI Agents

General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.

Garry's Opinionated OpenClaw/Hermes Agent Brain

SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.

A markdown terminal slideshow tool

Desktop app to manage markdown knowledge bases

The ultimate LLM/AI application development framework in Go.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

PRQL implementation in pure Go

💫 Toolkit to help you get started with SDD or any other process!

The best ChatGPT that $100 can buy.

The ACP implementation for Claude Code

A protocol for connecting any editor to any agent

The official Go library for the OpenAI API

MemConn is an in-memory network stack for Go.

aider is AI pair programming in your terminal

Golang LRU cache