Repository Index

Stack trace visualizer

Performance analysis tools based on Linux perf_events (aka perf) and ftrace

Debug Adapter Protocol client implementation for Neovim

• neovim
• neovim-plugin
• debug-adapter-protocol
• debugger

WFGY is heading toward WFGY 5.0 Polaris Protocol, a major open-source release for AI reasoning, RAG, agents, and real-world workflows. Includes Problem Map, Global Debug Card, WFGY 4.0, and the CFV Easter Egg.

• rag
• ai-agents
• alignment
• debugging

Build system in D, Python, Ruby, Javascript or Lua

• d
• scripting-language
• tup
• ninja

A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic