Lists (24)
Sort Name ascending (A-Z)
AI
Cardano
Dex
Education
Ethereum
formal-ver
Haskell Primitives
haskell-references
haskell-testing
lang-impl
Midnight
ML
MM
P2P
RAG
rnd
Rust
Scala
Serde
Skills
Solana
Sys
Typst
UI
Stars
MiMo Code: Where Models and Agents Co-Evolve
An agentic skills framework & software development methodology that works.
Local-first code intelligence graph for MCP and CLI. Builds a persistent map of your codebase so AI coding tools read only what matters, with benchmarked context reductions on reviews and large-rep…
ColBERT: state-of-the-art neural search (SIGIR'20, TACL'21, NeurIPS'21, NAACL'22, CIKM'22, ACL'23, EMNLP'23)
Easily use and train state of the art late-interaction retrieval methods (ColBERT) in any RAG pipeline. Designed for modularity and ease-of-use, backed by research.
Turn any technical book PDF into a Claude Code skill — ready to study, reference, and use while you work.
A Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs
"Architecture as Code" (AasC) aims to devise and manage software architecture via a machine readable and version-controlled codebase, fostering a robust understanding, efficient development, and se…
A Unified Virtual Filesystem For AI Agents
Production-ready platform for agentic workflow development.
CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies
agents that run on your claude subscription. multi-agent, sandboxed by default. polished telegram UI.
Beads - A memory upgrade for your coding agent
Rust library for generating vector embeddings, reranking locally!
Internet-scale OpenID Certified™ OpenID Connect and OAuth2.1 provider that integrates with your user management through headless APIs. Solve OIDC/OAuth2 user cases over night. Consume as a service …
AI coding assistant skill (Claude Code, Codex, OpenCode, Cursor, Gemini CLI, and more). Turn any folder of code, SQL schemas, R scripts, shell scripts, docs, papers, images, or videos into a querya…
DSPy: The framework for programming—not prompting—language models
A high-performance, incremental SIMD parser designed for editors, compilers, language servers, and MCP.
JayFarei / MiroFish
Forked from 666ghj/MiroFishA Claude compatible fork of MiroFish, a Universal Swarm Intelligence Engine, Predicting Anything.
mini cli search engine for your docs, knowledge bases, meeting notes, whatever. Tracking current sota approaches while being all local
An Open-Source Asynchronous Coding Agent
Build Real-Time Knowledge Graphs for AI Agents
FAIR Chemistry's library of machine learning methods for chemistry