Canonical-min

(★ 10)

A sound and complete solver for type inhabitation and unification in dependent type theory, written in 185 lines of Lean.

Canonical-min Latest Version Download

Download Latest Version (.zip)

Today's picks

tauri ★ 110,428

Build smaller, faster, and more secure desktop and mobile applications with a web frontend

Rust
learn-claude-code ★ 74,892

Bash is all you need - A nano claude code–like 「agent harness」, built from 0 to 1

Python
vue ★ 210,354

This is the repo for Vue 2. For Vue 3, go to https://github.com/vuejs/core

TypeScript
hugo ★ 89,481

The world’s fastest framework for building websites.

Go
gpt4all ★ 77,396

GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.

C++
LlamaFactory ★ 74,279

Unified Efficient Fine-Tuning of 100+ LLMs & VLMs (ACL 2024)

Python
// repository documentation