lexy github.com ↗

A formal specification language by Leslie Lamport for designing and checking systems.

A lightweight formal modeling language and analyzer for software designs.

A local emulator for cloud services including AWS, GCP and Azure.

The standard build and system definition facility for Common Lisp.

Local search engine for markdown documents with hybrid semantic search.

A Linux GPU configuration and monitoring tool for adjusting clocks and power limits.

Canonical's development environment tool built on LXD.

A set of Unix-style command-line tools that operate on streams of JSON records.

An extensible terminal coding agent that can switch between models.

A self-hostable community-driven software forge.

An open-source terminal coding agent harness.

A tool to run multiple agents on one project in separate git worktrees.

Anthropic's terminal-based coding agent harness.

An app store distributing free and open-source Android apps.

A peer-to-peer code collaboration stack built on Git.

An open-source alternative client for downloading apps from Google Play.

A refinement type checker for Rust.

A Git hosting and DevOps platform with an open-source community edition.

A lightweight self-hosted Git service.

A version control system that can use git as a storage backend.