nominal-hott

(★ 9)

Experiments with nominal types in HoTT Agda

nominal-hott Latest Version Download

Download Latest Version (.zip)

Today's picks

hoppscotch ★ 80,069

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

TypeScript
FreeDomain ★ 194,714

Free domain registration and practical DNS learning resources for everyone.

Markdown
tesseract ★ 76,082

Tesseract Open Source OCR Engine (main repository)

C++
langflow ★ 153,529

Langflow is a powerful tool for building and deploying AI-powered agents and workflows.

Python
material-ui ★ 98,885

Material UI: Comprehensive React component library that implements Google's Material Desig

JavaScript
ollama ★ 179,103

Get up and running with Kimi-K2.6, GLM-5.2, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and ot

Go
// repository documentation