LPL

(โ˜… 22)

๐Ÿ“šSolutions to Language, Proof and Logic (2nd Edition)

LPL Latest Version Download

Download Latest Version (.zip)

Today's picks

public-apis โ˜… 461,313

A collective list of free APIs

Python
gemini-cli โ˜… 106,532

An open-source AI agent that brings the power of Gemini directly into your terminal.

TypeScript
awesome-claude-skills โ˜… 72,610

A curated list of awesome Claude Skills, resources, and tools for customizing Claude AI wo

Python
markitdown โ˜… 174,077

Python tool for converting files and office documents to Markdown.

Python
awesome-mcp-servers โ˜… 92,434

A collection of MCP servers.
agent-skills โ˜… 87,722

Production-grade engineering skills for AI coding agents.

JavaScript
// repository documentation