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

Open-source infrastructure for Computer-Use Agents. Sandboxes, SDKs, and benchmarks to train and evaluate AI agents that can control full desktops (macOS, Linux, Windows).

"🐈 nanobot: The Ultra-Lightweight OpenClaw"

mini cli search engine for your docs, knowledge bases, meeting notes, whatever. Tracking current sota approaches while being all local

a faithful rewrite of crimsonland 1.9.93 from 2003

⚡ Better `pre-commit`, re-engineered in Rust

Wasm/JS runtime for Rive

This roblox-dubit-tools is a mono-repository that houses a multitude of tools that can be used across all projects on the Roblox platform.

A JSON-Compatible Zero-Copy Serialization Format

Random things I made for Roblox that I release to the public domain / under CC0 1.0 Universal

FoundationDB - the open source, distributed, transactional key-value store

RBush — a high-performance JavaScript R-tree-based 2D spatial index for points and rectangles

converts a file to a Roblox compatible luau script

WebAssembly to Luau and LuaJIT translation

Fork of rojo with changes for our workflow

Calculates the size of remote packet data in bytes

Python port of the rbxlx-to-rojo Rust tool for converting Roblox place files to Rojo projects.

⚛️ Fast 3kB React alternative with the same modern API. Components & Virtual DOM.

This repository contains documentation created to better understand the open project

A free, open source, and extensible speech-to-text application that works completely offline.

Public repository for Agent Skills

A dotfile manager and templater written in rust 🦀

Windows "say"

🌸 A command-line fuzzy finder

A powerful GUI app and Toolkit for Claude Code - Create custom agents, manage interactive Claude Code sessions, run secure background agents, and more.

An assets-as-files tool for Roblox

Import a 3D Model and automatically assign and export animations

A Roblox Luau library for converting Instances into code snippets