History-Driven Test Program Synthesis for JVM Testing
☆10Nov 12, 2021Updated 4 years ago
Alternatives and similar repositories for CFSynthesis
Users that are interested in CFSynthesis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Apr 6, 2023Updated 3 years ago
- Anticipating Invariant☆12Mar 14, 2014Updated 12 years ago
- Playwright Copilot is a Visual Studio Code extension that accelerates BDD (Behavior Driven Development) testing with AI-generated code su…☆34Sep 28, 2026Updated 2 weeks ago
- JamVM adapted version on macOS Catalina 10.15.6☆17Jan 26, 2021Updated 5 years ago
- Automated API Data Driven Test (DDT) Framework☆11Jun 2, 2018Updated 8 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Cypress Copilot is a Visual Studio Code extension that accelerates BDD (Behavior Driven Development) testing with AI-generated code sugge…☆37Sep 28, 2026Updated 2 weeks ago
- Baremetal Backtracing on RISC-V☆16Jun 22, 2021Updated 5 years ago
- Generation of sequential and concurrent unit tests to find correctness and performance problems in Java classes☆16Jul 20, 2019Updated 7 years ago
- Stream Cart Mobile is a cutting-edge e-commerce mobile application built with Flutter, designed specifically for live streaming commerce.…☆18Oct 3, 2025Updated last year
- Test-driven data pipelines in pure Go☆11Jul 16, 2020Updated 6 years ago
- Implementation of the paper "Fair Clustering Through Fairlets" by Chierichetti et al. (NIPS 2017)☆11Nov 29, 2019Updated 6 years ago
- Intelligent Data Analysis☆12Jul 24, 2018Updated 8 years ago
- MSA, Event Sourcing, Domain Driven Design example application written using Test-Driven Development - TDD and Inversion of Control and De…☆12Mar 30, 2022Updated 4 years ago
- little test driven handle library in c☆12Mar 1, 2021Updated 5 years 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.
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 3 years ago
- Exercise in test driven development to build a command line interface for getting the weather in the Go programming language.☆11Feb 24, 2023Updated 3 years ago
- An exercise for pushing Test-Driven Development to its limits. Originally by Keith Braithwaite.☆11Nov 18, 2018Updated 7 years ago
- N-Gram Graph: Simple Unsupervised Representation for Graphs, NeurIPS'19 (https://arxiv.org/abs/1806.09206)☆40Apr 14, 2021Updated 5 years ago
- A tool for generating table driven tests in Go.☆14Feb 3, 2015Updated 11 years ago
- ☆10Sep 14, 2019Updated 7 years ago
- Notes for Database Principles Course☆14May 25, 2018Updated 8 years ago
- ☆10Sep 7, 2016Updated 10 years ago
- ☆25Mar 13, 2015Updated 11 years 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.
- Scape firmware metadata from 18 vendors and download corresponding firmware images. Save in MySQL database for InfoSec research purposes.☆12Feb 17, 2023Updated 3 years ago
- A production-ready Flutter Clean Architecture template showcasing Domain-Driven Design (DDD), BLoC, Dependency Injection, unit & widget t…☆14Sep 7, 2026Updated last month
- A technical analysis driven cryptocurrency trading and back-testing platform.☆11Mar 5, 2023Updated 3 years ago
- check.c is a mini testing framework for C that I built to do Test-Driven Development in my C projects.☆14Oct 14, 2013Updated 13 years ago
- A JSDoc test tool for documentation-driven quality☆17Nov 17, 2024Updated last year
- Test Driven Development starter for Serverless and NodeJS. Featuring persistent MongoDB connections.☆11Jan 4, 2023Updated 3 years ago
- Awesome CV is LaTeX template for your outstanding job application☆21Nov 24, 2016Updated 9 years ago
- Parallel ML benchmark suite☆23Dec 8, 2025Updated 10 months ago
- Advanced .NET reflection toolkit for AI-driven scenarios. Dynamically invoke methods with JSON, generate schemas, and serialize complex o…☆16Updated this 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.
- Driver tieing together compiler and AI models to achieve better code optimizations.☆20May 3, 2026Updated 5 months ago
- Coffer is a RISC-V trusted execution environment developed in Rust.☆21Mar 3, 2022Updated 4 years ago
- RDT is a REPL-Driven Test library for Clojure☆14Feb 1, 2024Updated 2 years ago
- Simple Akka HTTP project implemented to describe how to build Microservices with Consumer Driven Contracts testing approach☆11Feb 15, 2018Updated 8 years ago
- Jsmith, a random generator of Java programs☆18Oct 3, 2026Updated 2 weeks ago
- TDD (Test-Driven Development) physical traffic light☆10May 21, 2017Updated 9 years ago
- A sample project for demonstrating the basics of test-driven development in Laravel☆11Feb 3, 2022Updated 4 years ago