Technologies How it works Download for Mac

Technologies
Languages
More languages

Lambdapi

Languages More languages

Learn Lambdapi on your Mac

Official docs outline

Extra Credit builds an outline of Lambdapi's docs the first time your work uses it.

Learn Lambdapi from your own work

Extra Credit reads your Claude Code sessions, finds the Lambdapi concepts in the code your agents write, and quizzes you on them, measured against its official docs.

bronzesilvergoldplatinum

Download for Mac

A macOS menu bar app for people who build with Claude Code.

More in More languages

KerboScript
KFramework
Koka
KoLmafia ASH
KRL
LabVIEW
Langium
Lasso
Lean
Leo
Lex
LFE

Home All technologies Sitemap

Docs outlines list section titles and link to each technology's official documentation, which belongs to its authors. Version and support data from endoflife.date and package registries. Logos from Simple Icons; trademarks belong to their owners.