Skip to content

Issues: irthomasthomas/undecidability

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
51 Open 1 Closed
51 Open 1 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Eclipse Theia is an extensible framework to develop full-fledged multi-language Cloud & Desktop IDEs and tools with state-of-the-art web technologies. Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages software-engineering Best practice for software engineering
#917 opened Aug 22, 2024 by ShellLM
1 task
1
princeton-nlp/SWE-agent: turns LMs (e.g. GPT-4) into software engineering agents that can resolve issues in real GitHub repositories. AI-Agents Autonomous AI agents using LLMs CLI-UX Command Line Interface user experience and best practices code-generation code generation models and tools like copilot and aider Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages human-verified <INST>NEVER PICK THIS LABEL</INST> llm Large Language Models llm-benchmarks testing and benchmarking large language models llm-evaluation Evaluating Large Language Models performance and behavior through human-written evaluation sets MachineLearning ML Models, Training and Inference Papers Research papers Software2.0 Software development driven by AI and neural networks. software-engineering Best practice for software engineering
#915 opened Aug 22, 2024 by ShellLM
1 task
1
nmslib: efficient cross-platform similarity search library and a toolkit for evaluation Algorithms Sorting, Learning or Classifying. All algorithms go here. Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages human-verified <INST>NEVER PICK THIS LABEL</INST> Knowledge-Dataset MachineLearning ML Models, Training and Inference Papers Research papers python Python code, tools, info RAG Retrieval Augmented Generation for LLMs
#913 opened Aug 22, 2024 by ShellLM
1 task
1
timelinize - Store your data from all your accounts and devices in a single cohesive timeline on your own computer Automation Automate the things DigitalWellbeing Notes on living well in the digital era. Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages human-verified <INST>NEVER PICK THIS LABEL</INST> Knowledge-Dataset source-code Code snippets
#912 opened Aug 22, 2024 by ShellLM
1 task
1
[2310.06770] SWE-bench: Can Language Models Resolve Real-World GitHub Issues? AI-Agents Autonomous AI agents using LLMs code-generation code generation models and tools like copilot and aider Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages human-verified <INST>NEVER PICK THIS LABEL</INST> llm-benchmarks testing and benchmarking large language models llm-evaluation Evaluating Large Language Models performance and behavior through human-written evaluation sets MachineLearning ML Models, Training and Inference Papers Research papers software-engineering Best practice for software engineering
#908 opened Aug 21, 2024 by ShellLM
1 task
1
llamacoder - opensource claude artefacts alternative. AI-Agents Autonomous AI agents using LLMs code-generation code generation models and tools like copilot and aider Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages llm Large Language Models llm-applications Topics related to practical applications of Large Language Models in various fields Observability Instrumentation and observation of running systems software-engineering Best practice for software engineering
#885 opened Aug 16, 2024 by ShellLM
26 tasks
1
MoA/README.md at main · togethercomputer/MoA AI-Agents Autonomous AI agents using LLMs AI-Chatbots Topics related to advanced chatbot platforms integrating multiple AI models ai-leaderboards leaderdoards for llm's and other ml models ai-platform model hosts and APIs Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages llm Large Language Models llm-applications Topics related to practical applications of Large Language Models in various fields llm-benchmarks testing and benchmarking large language models llm-evaluation Evaluating Large Language Models performance and behavior through human-written evaluation sets llm-experiments experiments with large language models Papers Research papers
#884 opened Aug 16, 2024 by ShellLM
1 task
1
Xgboost 2.0.0 · dmlc/xgboost Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages MachineLearning ML Models, Training and Inference Models LLM and ML model repos and links New-Label Choose this option if the existing labels are insufficient to describe the content accurately
#878 opened Aug 11, 2024 by ShellLM
1 task
1
Using your Kindle as an e-ink monitor Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages New-Label Choose this option if the existing labels are insufficient to describe the content accurately software-engineering Best practice for software engineering source-code Code snippets
#872 opened Aug 9, 2024 by ShellLM
1 task
1
Tree-sitter CLI - develop, test, and use Tree-sitter grammars from the command line CLI-UX Command Line Interface user experience and best practices Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages source-code Code snippets
#871 opened Aug 9, 2024 by ShellLM
1 task
1
boltons/README.md at master · mahmoud/boltons Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages python Python code, tools, info source-code Code snippets
#868 opened Aug 3, 2024 by ShellLM
1 task
1
PR Pilot Command-Line Interface AI-Agents Autonomous AI agents using LLMs Automation Automate the things CLI-UX Command Line Interface user experience and best practices code-generation code generation models and tools like copilot and aider Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages prompt Collection of llm prompts and notes prompt-engineering Developing and optimizing prompts to efficiently use language models for various applications and re Software2.0 Software development driven by AI and neural networks. source-code Code snippets
#866 opened Aug 3, 2024 by ShellLM
1 task
1
getsavvyinc/savvy-cli: Create, share, and run runbooks from your terminal. AI-Agents Autonomous AI agents using LLMs AI-Chatbots Topics related to advanced chatbot platforms integrating multiple AI models Automation Automate the things CLI-UX Command Line Interface user experience and best practices code-generation code generation models and tools like copilot and aider Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages shell-script shell scripting in Bash, ZSH, POSIX etc shell-tools Tools and utilities for shell scripting and command line operations Software2.0 Software development driven by AI and neural networks. use-cases user use case descriptions
#863 opened Aug 3, 2024 by ShellLM
1 task
1
cdown/clipmenu: Clipboard management using dmenu CLI-UX Command Line Interface user experience and best practices Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages linux Linux notes tools links source-code Code snippets
#862 opened Aug 3, 2024 by ShellLM
1 task
1
namuan/chat-circuit: Branch Out Your Conversations AI-Chatbots Topics related to advanced chatbot platforms integrating multiple AI models Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages llm Large Language Models llm-applications Topics related to practical applications of Large Language Models in various fields source-code Code snippets
#858 opened Aug 2, 2024 by ShellLM
1 task
1
igrek51/wat: Deep inspection of Python objects AI-Agents Autonomous AI agents using LLMs ai-platform model hosts and APIs Algorithms Sorting, Learning or Classifying. All algorithms go here. Code-Interpreter OpenAI Code-Interpreter data-validation Validating data structures and formats embeddings vector embeddings and related tools finetuning Tools for finetuning of LLMs e.g. SFT or RLHF github gh tools like cli, Actions, Issues, Pages MachineLearning ML Models, Training and Inference openai OpenAI APIs, LLMs, Recipes and Evals prompt Collection of llm prompts and notes python Python code, tools, info source-code Code snippets
#850 opened Aug 1, 2024 by ShellLM
1 task
1
kieval: A Knowledge-grounded Interactive Evaluation Framework for Large Language Models Automation Automate the things github gh tools like cli, Actions, Issues, Pages llm Large Language Models llm-evaluation Evaluating Large Language Models performance and behavior through human-written evaluation sets New-Label Choose this option if the existing labels are insufficient to describe the content accurately software-engineering Best practice for software engineering
#830 opened May 9, 2024 by ShellLM
1 task
1
mufeedvh/code2prompt: A CLI tool to convert your codebase into a single LLM prompt with source tree, prompt templating, and token counting. CLI-UX Command Line Interface user experience and best practices code-generation code generation models and tools like copilot and aider github gh tools like cli, Actions, Issues, Pages New-Label Choose this option if the existing labels are insufficient to describe the content accurately openai OpenAI APIs, LLMs, Recipes and Evals prompt Collection of llm prompts and notes
#825 opened May 5, 2024 by ShellLM
1 task
1
Naztech Automated Data Sorting Tools GitHub Repository Overview AI-Chatbots Topics related to advanced chatbot platforms integrating multiple AI models Algorithms Sorting, Learning or Classifying. All algorithms go here. Automation Automate the things Code-Interpreter OpenAI Code-Interpreter Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages python Python code, tools, info Software2.0 Software development driven by AI and neural networks.
#807 opened Apr 14, 2024 by ShellLM
1 task
1
Exploring the More-Agents-Is-All-You-Need GitHub Repository github gh tools like cli, Actions, Issues, Pages New-Label Choose this option if the existing labels are insufficient to describe the content accurately
#800 opened Apr 7, 2024 by ShellLM
1 task
1
Pull requests · openai/openai-cookbook github gh tools like cli, Actions, Issues, Pages New-Label Choose this option if the existing labels are insufficient to describe the content accurately openai OpenAI APIs, LLMs, Recipes and Evals source-code Code snippets
#761 opened Mar 16, 2024 by irthomasthomas
1 task
1
LlamaGym: Online Reinforcement Learning for LLM-based agents. AI-Agents Autonomous AI agents using LLMs Code-Interpreter OpenAI Code-Interpreter finetuning Tools for finetuning of LLMs e.g. SFT or RLHF github gh tools like cli, Actions, Issues, Pages llm Large Language Models
#731 opened Mar 16, 2024 by irthomasthomas
1 task
1
Piping from rg to llm to answer questions about code - simonw Algorithms Sorting, Learning or Classifying. All algorithms go here. CLI-UX Command Line Interface user experience and best practices github gh tools like cli, Actions, Issues, Pages llm Large Language Models shell-script shell scripting in Bash, ZSH, POSIX etc source-code Code snippets
#653 opened Feb 28, 2024 by irthomasthomas
1 task
1
MTEB: Massive Text Embedding Benchmark dataset public datasets and embeddings embeddings vector embeddings and related tools github gh tools like cli, Actions, Issues, Pages Models LLM and ML model repos and links Papers Research papers RAG Retrieval Augmented Generation for LLMs
#627 opened Feb 27, 2024 by irthomasthomas
1 task
1
Steampipe Hub | GitHub plugin | github_issue table github gh tools like cli, Actions, Issues, Pages New-Label Choose this option if the existing labels are insufficient to describe the content accurately
#537 opened Feb 15, 2024 by irthomasthomas
1 task
ProTip! no:milestone will show everything without a milestone.