awesome-repositories.comBlog

© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com

MCP Blog Curated searches Sitemap Privacy Terms

Janala2 | Awesome Repository

ksen007janala2

0

View on GitHub↗

106 stars·34 forks·Java·BSD-2-Clause·0 views

Janala2

Features

Formal Verification - Concolic unit testing engine.

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

a concolic testing engine for Java