Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier
☆1,296Jun 10, 2026Updated this week
Alternatives and similar repositories for bombadil
Users that are interested in bombadil are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 7 months ago
- This is the website formally known as Terragon Labs. It was a remote background agent orchestrator for running Claude Code, Codex, and ot…☆242Feb 10, 2026Updated 4 months ago
- CLI & Codemode MCP server for agent task management☆222Mar 26, 2026Updated 2 months ago
- Implements Global Word Vectors.☆11Feb 8, 2020Updated 6 years ago
- ☆51May 26, 2026Updated 2 weeks ago
- 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.
- Free hyperlocal weather API for 50 San Francisco neighborhoods. No API key required. Claude Code and Clawdbot Skills☆56Jan 27, 2026Updated 4 months ago
- This is a demo project to compare two web scrapping frameworks, Playwright and Selenium and using the new Pipelining tool Dagster☆15Sep 9, 2021Updated 4 years ago
- AI agents and Nix: parametrable skills/instructions and tools, packaged together in a reproducible and modular fashion☆75Updated this week
- ☆20Apr 13, 2026Updated 2 months ago
- cli loom that uses git to manage branches☆33Jan 3, 2025Updated last year
- ☆75May 16, 2026Updated 3 weeks ago
- Agent harness framework for building, running, and verifying LLM workflows☆238May 15, 2026Updated last month
- ☆65Dec 11, 2025Updated 6 months ago
- ☆60Mar 6, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆74Feb 13, 2026Updated 4 months ago
- An eBPF-based behavioral monitor for AI coding agents.☆132Mar 28, 2026Updated 2 months ago
- ☆11Mar 11, 2025Updated last year
- Quickly sets up a NixOS build-slave in VirtualBox to ease NixOps deployments from macOS, etc.☆18Feb 23, 2017Updated 9 years ago
- CLI that queries multiple language models in parallel using prompts from a CSV file☆28Sep 24, 2025Updated 8 months ago
- Simple Refinement types for F#. No longer maintained.☆11Jun 22, 2019Updated 6 years ago
- Recursive Language Models for Claude Code — process arbitrarily long inputs via recursive sub-agent delegation☆83Feb 9, 2026Updated 4 months ago
- KZG WASM Build suitable for EIP-4844 and PeerDAS (EIP-7594)☆16Nov 3, 2025Updated 7 months ago
- Open source resources for automation for mobile teams☆17Mar 27, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- VeriCUDA: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆131May 4, 2026Updated last month
- ☆11Dec 22, 2023Updated 2 years ago
- stupid simple persistent memory and skill improvement☆207Feb 27, 2026Updated 3 months ago
- Pure bash loop Ralph running in isolated Sprites.☆43Jan 23, 2026Updated 4 months ago
- Secure Node.js Execution Without a Sandbox A lightweight library for secure Node.js execution. No containers, no VMs — just npm-compatib…☆900Apr 4, 2026Updated 2 months ago
- Evaluate coding agents. Like a sniff test, but it's a benchmark.☆27Mar 17, 2026Updated 2 months ago
- A GitHub action that organizes your post-mortems☆17Oct 12, 2022Updated 3 years ago
- ☆13Feb 8, 2021Updated 5 years ago
- Infrastructure as TypeScript☆2,139Updated this week
- 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.
- Security-native LLM system for AI-generated application security.☆263Jun 4, 2026Updated last week
- Galois Format Analysis Workbench☆23Nov 30, 2023Updated 2 years ago
- Parallel Reasoning: llm-consortium orchestrates mulitple LLMs, iteratively refines & achieves consensus.☆390May 7, 2026Updated last month
- This repository implements the "Ralph" autonomous coding loop pattern, designed to be agnostic of the specific AI agent being used. Wheth…☆32Jan 7, 2026Updated 5 months ago
- ☆274Jan 16, 2026Updated 4 months ago
- An experimental Kotlin compiler in Rust.☆15May 13, 2020Updated 6 years ago
- ☆56Dec 16, 2025Updated 5 months ago