constructive-sheaf-semantics

(★ 18)

I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.

constructive-sheaf-semantics Latest Version Download

Download Latest Version (.zip)

Today's picks

gin ★ 89,095

Gin is a high-performance HTTP web framework written in Go. It provides a Martini-like API

Go
playwright ★ 94,899

Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Fire

TypeScript
app-ideas ★ 96,976

A Collection of application ideas which can be used to improve your coding skills.
gpt4all ★ 77,396

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

C++
JavaGuide ★ 157,804

Java 面试 & 后端通用面试指南，覆盖计算机基础、数据库、分布式、高并发、系统设计与 AI 应用开发

JavaScript
superpowers ★ 275,436

An agentic skills framework & software development methodology that works.

Shell
// repository documentation