Syntax highlighting on TLA+ language

Local-first session search, analytics, insights, and token use statistics for coding agents, supporting Claude Code, Codex, and more than 20 other agents.

Run AI agents isolated in a macOS user account and sandbox-exec. Configured to run Claude Code, OpenAI Codex, Cursor Agent, Google Gemini.

A hardware agnostic first-gen Tamagotchi emulation library

Tamagotchi background service for the Tamagotchi Emulator 4 Pebble

Repository for the Pebble smartwach app "QR Generator"

Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa

Service to store my memories.

open source is social

Agents and tools for using Quint with LLMs

Neural Networks: Zero to Hero

A LLM trained only on data from certain time periods to reduce modern bias

Super powered replacement for GNU Stow

Fast linters runner for Go

Collaborative office suite, end-to-end encrypted and open-source.

Automatically provision and manage TLS certificates in Kubernetes

Eigent: The Open Source Cowork Desktop to Unlock Your Exceptional Productivity. Local and Free Alternative to Claude Cowork.

Fast Markdown linter and formatter written in Rust

A Git-compatible VCS that is both simple and powerful

Application toolkit for programmers writing POSIX-compliant shell scripts

SSH agent proxy for tmux

An easily scalable game server implemented in Rust, and compatible with many popular game engines

The next-generation game engine that you deserve implemented in rust on top of GPUI https://pulsarnative.com/

Traccar GPS Tracking System

Traccar GPS Tracking System

Information hub for our project training the largest possible historical LLMs.

A CLI tool for bidirectional sync between Emacs (org-roam) and Obsidian (markdown) files.

Welcome to Optery’s open-source directory of data brokers and opt-out information, the largest of its kind.

Addons for building multiplayer games with Godot