SymmetryBookFormalizationUnivalent mathematics in Agda
Stars: ✭ 117 (+735.71%)
Mutual labels: type-theory, category-theory, univalent-foundations
TypeTopologyLogical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Stars: ✭ 132 (+842.86%)
Mutual labels: type-theory, univalent-foundations
Category Theory ProgrammersCategory theory in the context of (functional) programming
Stars: ✭ 465 (+3221.43%)
Mutual labels: mathematics, category-theory
catA categorical semantics library in Agda.
Stars: ✭ 16 (+14.29%)
Mutual labels: type-theory, category-theory
TypedefsProgramming language agnostic type construction language based on polynomials.
Stars: ✭ 337 (+2307.14%)
Mutual labels: type-theory, category-theory
PltλΠ Programming Language Theory
Stars: ✭ 4,609 (+32821.43%)
Mutual labels: type-theory, category-theory
Foundational Knowledge For ProgrammersList of resources about foundational knowledge for programmers (supposed to last a few decades)
Stars: ✭ 115 (+721.43%)
Mutual labels: type-theory, category-theory
C3TC3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱
Stars: ✭ 26 (+85.71%)
Mutual labels: mathematics, category-theory
DomainsA computational algebra system in Smalltalk.
Stars: ✭ 124 (+785.71%)
Mutual labels: mathematics, category-theory
TJUThesisLatexTemplateLaTeX templates for TJU graduate thesis. Originally forked from code.google.com/p/tjuthesis
Stars: ✭ 77 (+450%)
Mutual labels: thesis
ucbthesisrmdUC Berkeley thesis/dissertation LaTeX Template (ucbthesis) for R Markdown
Stars: ✭ 20 (+42.86%)
Mutual labels: thesis
ustclyxLyX template for USTC thesis
Stars: ✭ 36 (+157.14%)
Mutual labels: thesis
thesisthemeCSUA template for the thesis of CSU (Central South University).
Stars: ✭ 13 (-7.14%)
Mutual labels: thesis
bcs thesisMy bachelor's thesis on the Entity-Component-System pattern and ECST
Stars: ✭ 36 (+157.14%)
Mutual labels: thesis
DungeonMaster.NETReimplementation of famous old Dungeon Master game.
Stars: ✭ 23 (+64.29%)
Mutual labels: thesis
Vortice.MathematicsCross platform .NET math library.
Stars: ✭ 46 (+228.57%)
Mutual labels: mathematics
ua-thesis-template📖 A thesis LaTeX template that complies with the University of Aveiro's guidelines and provides a simple CLI workflow around make and compatibility with Overleaf.
Stars: ✭ 80 (+471.43%)
Mutual labels: thesis
monadic-mondaysCode samples for #monadicmonday topics
Stars: ✭ 86 (+514.29%)
Mutual labels: category-theory
MathImproveModify and Improve math expressions.
Stars: ✭ 13 (-7.14%)
Mutual labels: mathematics