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
60 Open 1 Closed
60 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

bunster / Have you ever wished your shell scripts could be faster, more portable, and secure? 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 shell-script shell scripting in Bash, ZSH, POSIX etc shell-tools Tools and utilities for shell scripting and command line operations software-engineering Best practice for software engineering
#973 opened Jan 16, 2025 by ShellLM
1 task
1
UV: Python package manager. Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages python Python code, tools, info software-engineering Best practice for software engineering
#964 opened Jan 3, 2025 by ShellLM
1 task
jjleng/copilot-more: $10/month GPT-4o and Claude-3.5-Sonnet APIs for coding and beyond. AI-Agents Autonomous AI agents using LLMs AI-Chatbots Topics related to advanced chatbot platforms integrating multiple AI models ai-platform model hosts and APIs code-generation code generation models and tools like copilot and aider github gh tools like cli, Actions, Issues, Pages Models LLM and ML model repos and links openai OpenAI APIs, LLMs, Recipes and Evals Software2.0 Software development driven by AI and neural networks.
#962 opened Dec 23, 2024 by ShellLM
1 task
1
charmbracelet/huh - Library for building forms and prompts in the terminal 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
#955 opened Nov 23, 2024 by ShellLM
1 task
1
GitHub Copilot in VS Code cheat sheet code-generation code generation models and tools like copilot and aider github gh tools like cli, Actions, Issues, Pages Jupyter-Notebook Jupyter Interactive Notebooks and related content programming-languages Topics related to programming languages and their features. python Python code, tools, info software-engineering Best practice for software engineering
#950 opened Nov 13, 2024 by ShellLM
1 task
1
Perplexity CLI in pure shell AI-Chatbots Topics related to advanced chatbot platforms integrating multiple AI models ai-platform model hosts and APIs 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 shell-script shell scripting in Bash, ZSH, POSIX etc source-code Code snippets
#946 opened Nov 13, 2024 by ShellLM
1 task
1
facebook/docusaurus: Easy to maintain open source documentation websites. Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages software-engineering Best practice for software engineering technical-writing Links to deep technical writing and books
#941 opened Nov 11, 2024 by ShellLM
1 task
Introducing SWE-bench Verified | OpenAI AI-Agents Autonomous AI agents using LLMs code-generation code generation models and tools like copilot and aider data-validation Validating data structures and formats github gh tools like cli, Actions, Issues, Pages llm-benchmarks testing and benchmarking large language models openai OpenAI APIs, LLMs, Recipes and Evals python Python code, tools, info software-engineering Best practice for software engineering
#933 opened Nov 4, 2024 by ShellLM
1 task
1
Instagram/LibCST: A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages python Python code, tools, info
#929 opened Nov 4, 2024 by ShellLM
1 task
1
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
ProTip! Add no:assignee to see everything that’s not assigned.