Pocket-Inferer

(★ 9)

A desktop application implementing Attempto Controlled English for logical reasoning.

Pocket-Inferer Latest Version Download

Download Latest Version (.zip)

Today's picks

andrej-karpathy-skills ★ 204,772

A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's ob
Understand-Anything ★ 80,004

Graphs that teach > graphs that impress. Turn any code into an interactive knowledge graph

TypeScript
hoppscotch ★ 80,069

Open-Source API Development Ecosystem • https://hoppscotch.io • Offline, On-Prem & Cloud •

TypeScript
tesseract ★ 76,082

Tesseract Open Source OCR Engine (main repository)

C++
bitcoin ★ 89,961

Bitcoin Core integration/staging tree

C++
generative-ai-for-beginners ★ 118,262

21 Lessons, Get Started Building with Generative AI

Jupyter Notebook
// repository documentation