Kb – Prolog Knowledge Base(github.com)

83 points by triska 4 months ago | 9 comments

Show HN: A context-aware permission guard for Claude Code(github.com)

107 points by schipperai 7 months ago | 59 comments

Nexus-CLI – Pure Go Bridge to DeepSeek R1/V3 with Claude Code and Ollama Support(github.com)

10 points by xamrayev 5 days ago | 2 comments

GitHub repository for nexus-cli, a pure Go command-line bridge to DeepSeek R1/V3 models with Claude Code and Ollama support.

Show HN: Prela – Purely Algebraic Relation Combinators(github.com)

55 points by remywang 4 months ago | 13 comments

NJVL: Nim's New Intermediate Representation(github.com)

57 points by generichuman 1 year ago | 8 comments

Show HN: Penmentor – Claude marks up your handwritten math like a teacher(github.com)

38 points by abdullahalharir 6 days ago | 2 comments

GitHub repository for Penmentor, an open-source AI mentor that reads handwritten math and marks it up like a teacher using Claude, Codex, or Antigravity.