Skip to content
View docxology's full-sized avatar
🎯
Focusing
🎯
Focusing

Block or report docxology

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics

Lean 113 24 Updated Jul 26, 2026
Jupyter Notebook 145 20 Updated Jun 18, 2026

A comprehensive collection of Agent Skills for context engineering, multi-agent architectures, and production agent systems. Use when building, optimizing, or debugging agent systems that require e…

Python 17,449 1,435 Updated Jul 14, 2026

An operating system based on Bucky Fuller's geometry of thinking

Rust 1 1 Updated Jul 6, 2026

the recursive language model (RLM) CLI agent

Python 196 12 Updated Jul 16, 2026

Un-0: an image generator powered by a simulated system of coupled oscillators, an example of an emerging physical computing substrate.

Python 315 43 Updated Jul 18, 2026

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Haskell 19,070 1,217 Updated Jul 26, 2026

A self-hostable, open-source fair-sortition engine: draws a representative mini-public by auditable lottery and hands it to a deliberation tool

TypeScript 3 Updated Jul 24, 2026

A Python (py5) port of Daniel Shiffman's The Nature of Code — all 12 chapters as runnable Jupyter notebooks (full book text + code).

Jupyter Notebook 6 Updated Jun 16, 2026

Simulate realistic trajectory data seen through sporadic reporting

Java 174 54 Updated Feb 22, 2025

turns your codebase into an autoresearch loop — discovers what to measure, instruments the benchmark, then runs tree search with parallel subagents.

Python 1,352 101 Updated Jul 17, 2026

TradingAgents: Multi-Agents LLM Financial Trading Framework

Python 94,581 18,281 Updated Jul 18, 2026

Production-grade scaffold for reproducible computational research — 10-stage DAG pipelines, ≥90% test coverage, cryptographic provenance (SHA-256 + steganographic PDF watermarking), multi-project w…

Python 18 1 Updated Jul 25, 2026

Your Personal AI super intelligence. A brain that builds a local-first memory of your life, a fantastic orchestrator of agent fleets and workflows, and a deep researcher.

Rust 35,441 3,484 Updated Jul 25, 2026

Pre-indexed code knowledge graph, auto syncs on code changes, for Claude Code, Codex, Gemini, Cursor, OpenCode, AntiGravity, Kiro, and Hermes Agent — fewer tokens, fewer tool calls, 100% local

C 62,520 3,918 Updated Jul 24, 2026

quantum genesis constructive possibilist quantum logical synthesis

Lean 7 1 Updated Jul 26, 2026

An open source distributed agent runtime

Go 1,901 106 Updated Jul 23, 2026

MCP server for Coq LSP

Rocq Prover 9 3 Updated Jul 24, 2026

Your Software Factory - build faster and better with multi node agents that work 24/7

TypeScript 1,014 132 Updated Jul 26, 2026

Desktop app to manage markdown knowledge bases

TypeScript 18,991 1,303 Updated Jul 24, 2026

LLM inference server with continuous batching & SSD caching for Apple Silicon — managed from the macOS menu bar

Python 18,191 1,554 Updated Jul 25, 2026

DeepTutor: Lifelong Personalized Tutoring. https://deeptutor.info/.

Python 29,965 3,945 Updated Jul 26, 2026

Download videos from almost any website. Lightweight, self-hosted media downloader with a clean web UI.

HTML 6,676 1,197 Updated Jul 9, 2026

A complete workflow automation and server monitoring system.

JavaScript 4,676 457 Updated Jul 22, 2026

Unrestricted Open-source alternative to AI video platforms — Free AI image & video generation studio with 500+ models (Flux, Midjourney, Kling, Sora, Veo). No content filters. Self-hosted, MIT lice…

JavaScript 24,815 4,311 Updated Jul 24, 2026

Transform the Microsoft Project Silica simulation into an EGS Gateway. This requires the simulation to act as a real-time translator between solar-hydrogen frequencies and digital AI logic.

Python 1 Updated Apr 9, 2026
Next