An always-running agent, but is trustworthy and secure.
☆11Oct 12, 2026Updated 3 weeks ago
Alternatives and similar repositories for capybaraclaw
Users that are interested in capybaraclaw are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Essential Scala 3 utilities for JVM, Scala.js and Scala Native: object wiring, logging, JSON/MessagePack, Rx, HTTP/RPC, MCP servers, and …☆19Updated this week
- TACIT — Tracked Agent Capabilities In Types☆147Oct 15, 2026Updated 3 weeks ago
- Denotational semantics based on graph and filter models☆25Updated this week
- Config based client-server JVM build tool☆21Nov 2, 2026Updated last week
- CLI tool for coding agents and developers to query the public API of any Maven JVM dependency — get symbol signatures, list packages, sea…☆105Nov 2, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java☆10Jan 31, 2024Updated 2 years ago
- Semantic Type Soundness in Lean 4☆19Sep 28, 2026Updated last month
- Another Lexer Parser And Compiler Alpaca. A type-safe lexer and parser library for Scala 3, featuring compile-time validation and a patte…☆20Updated this week
- A online playground to explore with type Inference algorithms.☆18Jan 28, 2026Updated 9 months ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆63Sep 11, 2025Updated last year
- Build type-safe, boilerplate-less MCP servers and clients in Scala☆104Updated this week
- Claude Code & Codex Scala Skills: generate direct-style applications with use-case driven guides☆80Oct 16, 2026Updated 3 weeks ago
- Abstractions for making closures in Scala safer and more flexible☆22Jun 2, 2026Updated 5 months ago
- A simple first-order simulator for softmax☆11Sep 22, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Template for Scala.js with Vite☆20Sep 30, 2023Updated 3 years ago
- MIPS R10000 architecture simulator with C++☆11Jun 8, 2023Updated 3 years ago
- A simple scala-like dependent type programming language☆23Apr 18, 2025Updated last year
- ☆12Apr 9, 2024Updated 2 years ago
- Djinnlang implementation for Rust☆27Oct 25, 2026Updated 2 weeks ago
- 📚 A collection of resources about normalization-by-evaluation☆30Jul 29, 2025Updated last year
- Functional abstractions for Kubernetes leases in Scala☆12Dec 13, 2024Updated last year
- Modern Scala 3 client for Redis and Valkey, native and multi-backend☆63Updated this week
- A simple makefile for Scala projects☆11Dec 12, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆11Jun 15, 2026Updated 4 months ago
- XSPdb is a Python-based extension of pdb designed for the XiangShan IP, providing GDB-like "interactive debugging" capabilities.☆10Feb 4, 2026Updated 9 months ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆146Jun 24, 2026Updated 4 months ago
- Lightweight affine types and object capabilities in Scala☆32Feb 12, 2019Updated 7 years ago
- A Safe Agent With Tracked Capabilities☆40Oct 17, 2026Updated 3 weeks ago
- Tree-structured context management for Claude Code via MCP server☆12Mar 31, 2026Updated 7 months ago
- Algebraic Effects for Scala 3☆83Sep 30, 2026Updated last month
- DBToaster OCAML code☆11Jan 19, 2022Updated 4 years ago
- ☆39Oct 23, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- Serialization toolbox for Pekko messages, events and persistent state that helps achieve compile-time guarantee on serializability. No mo…☆15Sep 13, 2026Updated last month
- ☆14Nov 23, 2016Updated 9 years ago
- Logical Relation for MLTT in Coq☆37Apr 7, 2026Updated 7 months ago
- Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)☆17Jul 14, 2026Updated 3 months ago
- LLM inference on Apple Silicon from Scala Native, powered by MLX☆23Mar 5, 2026Updated 8 months ago
- A bot to keep Bazel dependencies up to date☆72Sep 24, 2026Updated last month
Are these results useful?