meta-introspector Goto Github PK

.github

act

Run your GitHub Actions locally 🚀

act_base

base for the action runner

action-enforce-license-compliance

action-get-latest-tag

✨ GitHub Action to get a latest Git tag

action-k3s-helm

A GitHub action to install K3S, Calico, and Helm.

action-k8s-namespace-report

GitHub Action to report info and logs from the current namespace.

action-semantic-pull-request

A GitHub Action that ensures that your PR title matches the Conventional Commits spec.

action-setup

Install pnpm package manager

actions-codespell

actions-tagger

A meta-action to keep your action versions up-to-date :rocket:

agent-action

agent-protocol

Common interface for interacting with AI agents. The protocol is tech stack agnostic - you can use it with any framework for building agents.

agent-protocol-sdk-python

ai-ticket

The AI and Human powered ticket system to manage your the AI based code generation with tickets

aiitmproxy

ai in the middle proxy

alec

AINC (Alec is not 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 development of machine-checked proofs. Just found coq will be renamed to rocq

alec-is-not-coq-lsp

Visual Studio Code Extension and Language Server Protocol for Alec-is-not-Coq

android-analytics

Web analytics tool that runs on your Android.

assistants

The ⭐️ Open Source Assistants API allows you to build AI assistants within your own applications with your own models. 100% private, 75% Cheaper & 23x Faster Assistants. Same API/SDK. Written in Rust

audiocraft

Audiocraft is a library for audio processing and generation with deep learning. It features the state-of-the-art EnCodec audio compressor / tokenizer, along with MusicGen, a simple and controllable music generation LM with textual and melodic conditioning.

auth

A GitHub Action for authenticating to Google Cloud.

auto-gpt

An experimental open-source attempt to make GPT-4 fully autonomous.

auto-gpt-benchmarks

A repo built for the purpose of benchmarking the performance of agents, regardless of how they are set up and how they work.

autogptq

An easy-to-use LLMs quantization package with user-friendly apis, based on GPTQ algorithm.

aws-secretsmanager-get-secrets

axum

Ergonomic and modular web framework built with Tokio, Tower, and Hyper

azure-cli

Azure Command-Line Interface

bake-action

GitHub Action to use Docker Buildx Bake as a high-level build command

basic_agent

common agent docker image for all agents