Terminal user interface for SSH

LangGPT: Empowering everyone to become a prompt expert!🚀 Structured Prompt，Language of GPT, 结构化提示词，结构化Prompt

A GPT-4 AI Tutor Prompt for customizable personalized learning experiences.

Reasoning in Large Language Models: Papers and Resources, including Chain-of-Thought and OpenAI o1 🍓

Test your prompts, agents, and RAGs. Red teaming, pentesting, and vulnerability scanning for LLMs. Compare performance of GPT, Claude, Gemini, Llama, and more. Simple declarative configs with comma…

An Autonomous LLM Agent for Complex Task Solving

Agent techniques to augment your LLM and push it beyong its limits

Chat with your documents on your local device using GPT models. No data leaves your device and 100% private.

Interact with your documents using the power of GPT, 100% privately, no data leaks

Curated list of chatgpt prompts from the top-rated GPTs in the GPTs Store. Prompt Engineering, prompt attack & prompt protect. Advanced Prompt Engineering papers.

Build high-quality LLM apps - from prototyping, testing to production deployment and monitoring.

Prompt Engineering | Prompt Versioning | Use GPT or other prompt based models to get structured output. Join our discord for Prompt-Engineering, LLMs and other latest research

Structured Text Generation

Fullstack app framework for web, desktop, mobile, and more.

Godot addon to animate a CollisionShape2D along with the frames of an AnimatedSprite2D. Useful for making changing hitboxes, hurtboxes and hardboxes. Comes with an Editor, making things easy.

A plugin for Godot 4.x. SignalVisualizer displays the current scene's signals and connections in a easy to read graph and tree dock.

A universal inventory system for the Godot game engine.

🐝 behavior tree AI for Godot Engine

A powerful nonlinear dialogue system for Godot

THE Copilot in Obsidian

Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)

A scalable, distributed, collaborative, document-graph database, for the realtime web

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Creusot helps you prove your code is correct in an automated fashion.

A tool for design-by-contract in Go

Learn Rust by writing Entirely Too Many linked lists

A catalogue of Rust design patterns, anti-patterns and idioms

This repository contains a hand-curated resources for Prompt Engineering with a focus on Generative Pre-trained Transformer (GPT), ChatGPT, PaLM etc

Generate conventional git commit messages with AI in 1 second 🤯🔫

A task runner / simpler Make alternative written in Go