antithesishq / bombadilView external linksLinks
Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier
☆166Updated this week
Alternatives and similar repositories for bombadil
Users that are interested in bombadil are comparing it to the libraries listed below
Sorting:
- Run GEPA on your favorite non-python libraries.☆32Jan 22, 2026Updated 3 weeks ago
- LiteGPT: A 124M Small Language Model (SLM) pre-trained on FineWeb and fine-tuned on Alpaca.☆34Dec 16, 2025Updated 2 months ago
- A Rust-native DuckLake engine built on Apache DataFusion☆64Feb 4, 2026Updated last week
- ☆20Feb 9, 2026Updated last week
- ☆12Nov 21, 2016Updated 9 years ago
- A Model Context Protocol server for Postgres☆22Jan 5, 2026Updated last month
- A simple HTTP proxy tunnel for testing web hooks on developer local machine or in a devcontainer☆58Jan 31, 2026Updated 2 weeks ago
- Atomic, non-blocking, hash-based data structures for Java (Map and Store)☆16Jan 24, 2026Updated 3 weeks ago
- ☆18Oct 15, 2024Updated last year
- Diagrams as text tool for visualizing concurrent operation histories☆23Feb 12, 2025Updated last year
- Threat Hunting queries of multiple platforms☆52Feb 10, 2026Updated last week
- Aerospike Fork of the JEMalloc Memory Allocator☆26Updated this week
- RProxy LAB is intended solely for educational purposes and authorized security testing with EvilGinx / Modlishka / EvilPuppet e.t.c tools☆49Dec 14, 2025Updated 2 months ago
- Distributed Async Await — Durable Executions, Dead Simple☆564Feb 4, 2026Updated last week
- ☆63Dec 29, 2025Updated last month
- Graph-native code intelligence that replaces embedding-based RAG with deterministic program understanding.☆85Feb 10, 2026Updated last week
- A small repo of resources for my lecture students.☆16May 6, 2017Updated 8 years ago
- TLA+ specifications for Kafka related algorithms☆87Jan 24, 2025Updated last year
- Apache Maven artifacts for bootstrapping new open-source projects☆66May 1, 2024Updated last year
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆30Jun 10, 2023Updated 2 years ago
- Rethinking the User Interface of AI☆28Feb 10, 2026Updated last week
- Multi-step AI agents powered by Gemini 2.0 and the LangGraph framework. These agents orchestrate complex workflows and enhance their reas…☆10Dec 19, 2024Updated last year
- Plan✕ is a platform for creating and publishing digital planning services☆17Updated this week
- resumectl - Your Resume as Code☆63Jan 9, 2026Updated last month
- A local first persistent log☆36Sep 14, 2025Updated 5 months ago
- Proxy Claude Code Requests through LiteLLM to Arize☆60Dec 9, 2025Updated 2 months ago
- Martingale posterior neural networks for fast sequential decision making @ Neurips 2025☆22Nov 13, 2025Updated 3 months ago
- QRSS Plus: live QRSS grabbers from around the world☆10Feb 9, 2026Updated last week
- Enterprise-grade, lightweight HTML to PDF generator for Node.js - No Puppeteer/Chromium required.☆19Dec 25, 2025Updated last month
- ☆14Aug 20, 2025Updated 5 months ago
- This repo consists of all courses of IBM - Data Science Professional Certificate, providing with techniques covering a wide array of data…☆14Aug 15, 2020Updated 5 years ago
- High speed filtering of arbitrarily large JSON documents☆10Apr 24, 2023Updated 2 years ago
- Notes from my study of Learn Prolog Now!☆11Apr 23, 2012Updated 13 years ago
- 📕 Solutions to Hackerrank 10 days of JavaScript Tutorial.☆11Jan 15, 2021Updated 5 years ago
- TypeScript SDK for programmatic access to Google NotebookLM☆23Jan 14, 2026Updated last month
- AI-powered documentation generator CLI for Claude Code projects☆27Feb 3, 2026Updated 2 weeks ago
- A powerful MCP testing tool with multi-provider LLM support (Ollama, OpenAI, Claude, Gemini). Test, debug, and develop MCP servers with a…☆18Jan 7, 2026Updated last month
- This repository contains helpful use commands and exercises for preparing the CKA and CKAD. Also, you can download the kube-response tool…☆10May 13, 2022Updated 3 years ago
- Benchmark evaluating ocean forecasting systems against reference datasets and observations.☆24Updated this week