DeepSeek v4 Flash EXL3 on one DGX Spark

Reliable model swapping for any local OpenAI/Anthropic compatible server - llama.cpp, vllm, etc

Sail RISC-V model

Tool to generate markdown files from lean files. This is heavily inspired by lean2md.

ミノ駆動氏のWebに掲載されている資料から作成した開発スキル

Nix User Repository: User contributed nix packages [maintainer=@Pandapip1]

Create your WardleyMaps as code/data and render it as SVG (onlinewardleymap and wtg language supported)

Get the main content of any page as Markdown.

SPECA: Specification-to-Checklist Agentic Auditing Framework

Self-evolving agent: grows skill tree from 3.3K-line seed, achieving full system control with 6x less token consumption

Sail architecture definition language

A Flow Matching-based Text-to-Speech Model with Emoji-driven Style Control

an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM

Agent Skills used by the Sentry team for development.

A mechanisation of Wasm in Rocq

Natural Number Game

Use Garry Tan's exact Claude Code setup: 15 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA

A complete AI agency at your fingertips - From frontend wizards to Reddit community ninjas, from whimsy injectors to reality checkers. Each agent is a specialized expert with personality, processes…

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

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