Awesome Open Source

Programming Languages

Search results for agda category theory

category-theory x

12 search results found

Agda Categories ⭐ 341

A new Categories library for Agda

Agda Unimath ⭐ 196

The agda-unimath library

Categories ⭐ 134

Categories parametrized by morphism equality, in Agda

A formalization of category theory in cubical Agda

Homotopy ⭐ 24

My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)

Category theory applied to functional programming (undergraduate project)

(λ) Category theory and lambda calculus, Bachelor's thesis

A categorical semantics library in Agda.

Categorical Automata ⭐ 15

Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2303.03867, https://arxiv.org/pdf/2303.03865, https://arxiv.org/abs/2305.00272

Agda_category_theory ⭐ 14

Formalization of category theory in Agda

Realizability ⭐ 10

Experiments with Realizability in Univalent Type Theory

Category theory applied to functional programming

Related Searches

Types Agda (76)

Haskell Agda (72)

Agda Type Theory (44)

Emacs Agda (29)

Calculus Agda (29)

Agda Dependent Types (27)

Programming Agda (24)

Paper Agda (24)

Standard Library Agda (21)

1-12 of 12 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.