Differences

This shows you the differences between two versions of the page.

--- nlp:language_to_programs [2025/04/18 23:59] – [Language to App] jmflanig
+++ nlp:language_to_programs [2025/10/08 08:46] (current) – [Systems and Tools] jmflanig
@@ Line 28: / Line 28: @@
   * [[https://arxiv.org/abs/2310.04870|Wu et al 2023 - Lemur: Integrating Large Language Models in Automated Program Verification]]
-===== Systems =====
+===== Systems and Tools =====
   * [[https://copilot.github.com/|Github Copilot]] Powered by OpenAI's [[https://gpt3demo.com/apps/openai-codex|Codex]]. "With GitHub Copilot, get suggestions for whole lines or entire functions right inside your editor."
+  * [[https://cursor.com/|Cursor]]
+  * [[https://zencoder.ai/|Zencoder]] Apparently pretty good according to [[https://www.reddit.com/r/OpenAI/comments/1m54yjx/all_ai_coding_agents_you_know/|this]]
+  * Lists of coding assistants and tools
+    * [[https://www.reddit.com/r/OpenAI/comments/1m54yjx/all_ai_coding_agents_you_know/|All AI Coding Agents You Know]]
+    * [[https://www.qodo.ai/blog/best-ai-coding-assistant-tools/|Best AI Coding Assistant Tools]]
   * [[https://alphacode.deepmind.com/|AlphaCode]]: [[https://arxiv.org/pdf/2203.07814.pdf|paper]] [[https://www.deepmind.com/blog/competitive-programming-with-alphacode|blog post]]