I built a tool for (formal) model-based specification and testing

비슷한 프로덕트

설명이 비슷한 순

1. Took me a year to release a candidate testing tool with code challenges

   testzebra.com

   HNHacker News6점

2. Testeranto

   npmjs.com

   the AI driven test framework for TypeScript projects

   HNHacker News22점

3. Open-source implementation of Meta's Unit TestGen–LLM in Golang

   github.com

   Open-source platform for creating safe, isolated production sandboxes for API, integration, and E2E testing.

   HNHacker News5점

4. Evaluate LLM-based RAG Applications with automated test set generation

   github.com

   🐢 Open-Source Evaluation & Testing library for LLM Agents

   HNHacker News15점

5. An interactive test runner for Rust projects

   github.com

   interactive test runner for rust projects

   HNHacker News6점