hardware implementation of transformers running microgpt at 50k+ tkps

Symphony turns project work into isolated, autonomous implementation runs, allowing teams to manage work instead of supervising coding agents.

微舆：人人可用的多Agent舆情分析助手，打破信息茧房，还原舆情原貌，预测未来走向，辅助决策！从0实现，不依赖任何框架。

A Simple and Universal Swarm Intelligence Engine, Predicting Anything. 简洁通用的群体智能引擎，预测万物

Collection of Claude Skills for DSPy framework - program language models, optimize prompts, and build RAG pipelines systematically

Sourcebot is a self-hosted tool that helps you understand your codebase.

Beads - A memory upgrade for your coding agent

Fast trigram based code search

Type less, code more: Cody is an AI code assistant that uses advanced search and codebase context to help you write and fix code.

Fast, indexed regexp search over large file trees

a terminal ui to provide easy management of infra and app

💬 Open source machine learning framework to automate text- and voice-based conversations: NLU, dialogue management, connect to Slack, Facebook, and more - Create chatbots and voice assistants

Research language for array processing in the Haskell/ML family

Large Concept Models: Language modeling in a sentence representation space

🤔 A grounder and solver for logic programs.

Code AI platform with Code Search & Cody

Deep Learning Primitives and Mini-Framework for OpenCL

A logic programming library for Clojure & ClojureScript

InstructLab Command-Line Interface. Use this to chat with a model and execute the InstructLab workflow to train a model using custom taxonomy data.

Nesta's Skills Extractor Library

a WIP architecture designed to allow transformers to think in a manner without tokens

Deep universal probabilistic programming with Python and PyTorch

Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.

Git mirror of https://isabelle.in.tum.de/repos/isabelle

The Vampire Theorem Prover