An emacs package that autocompletes code using LLMs, verifies the generated code using Meta's Infer, and explains the bugs caught by Infer in natural language.
-
Notifications
You must be signed in to change notification settings - Fork 0
RaghavRoy145/autocomplete-and-verify
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
An emacs package that autocompletes code using LLMs, verifies the generated code using Meta's Infer, and explains the bugs caught by Infer in natural language.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published