Agda vs Code Context (Semantic Code Search)
Side-by-side comparison of two Ai projects on AiList.
Tagline
Provides type checking, go-to-definition, case splitting, auto proof search, and other interactive features for the Agda dependently-typed programming language.
Enables semantic code search and understanding by cloning git repositories, splitting code into semantic chunks, and generating embeddings for natural language querying of large codebases
GitHub Stars
—
24
Stars This Week
—
—
Language
—
—
License
—
—
Built With
—
—
Views
50
62
Clicks
7
8