List of papers and other resources at the intersection of Category Theory and NLP.
☆57Feb 22, 2023Updated 3 years ago
Alternatives and similar repositories for Category_Theory_Natural_Language_Processing_NLP
Users that are interested in Category_Theory_Natural_Language_Processing_NLP are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Python toolkit for computing with string diagrams.☆17Dec 26, 2022Updated 3 years ago
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 5 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- The Python toolkit for computing with string diagrams.☆442Updated this week
- List of papers studying machine learning through the lens of category theory☆1,550Oct 2, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Source for Basic Category Theory by Tom Leinster☆12May 15, 2017Updated 9 years ago
- A system for computational category theory and applications☆41Jun 27, 2016Updated 10 years ago
- Material for the "Category Theory as a Tool for Thought" talk☆41Dec 1, 2022Updated 3 years ago
- ☆16Jul 25, 2026Updated 3 months ago
- An answer key to Emily Riehl's Category Theory in Context produced by Dr. Pardue's math 490 class at UMBC☆23Aug 16, 2022Updated 4 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆16Aug 22, 2019Updated 7 years ago
- A small C++17 library inspired by Category Theory.☆17Jan 4, 2023Updated 3 years ago
- A sample application for getting started quickly☆13Oct 9, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Software for computations with tensor categories☆19Oct 16, 2026Updated 2 weeks ago
- Homotopy type theory cheatsheets☆11Apr 15, 2026Updated 6 months ago
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 3 years ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Nov 21, 2018Updated 7 years ago
- a WIP architecture designed to allow transformers to think in a manner without tokens☆19Apr 12, 2024Updated 2 years ago
- A* CCG Parser with a Supertag and Dependency Factored Model☆103Updated this week
- AI assisted Quantum technologies☆16Nov 27, 2022Updated 3 years ago
- Kan: A browser extension for reading nLab☆34Oct 2, 2018Updated 8 years ago
- Linear lens☆21Feb 14, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Advanced Formal Language Theory (263-5352-00L; Frühjahr 2023)☆10Feb 21, 2023Updated 3 years ago
- Notes from Category Theory for Programmers lessons by Bartosz Milewski☆29Sep 15, 2017Updated 9 years ago
- Lojban ologs (categorical databases) using jq☆26Nov 29, 2018Updated 7 years ago
- Category Theory & Cobordism Categories in Lean 4☆16Jun 27, 2024Updated 2 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆32Oct 19, 2022Updated 4 years ago
- sometimes math is just too much fun☆22Jun 25, 2015Updated 11 years ago
- A digital archive of category theory papers.☆37Jun 27, 2026Updated 4 months ago
- Official codebase for our paper "Do Language Models Use Their Depth Efficiently?"☆30Jun 25, 2025Updated last year
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Coq Implementation of Algebraic Property Graphs☆11Oct 13, 2021Updated 5 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 9 years ago
- ☆14Feb 15, 2017Updated 9 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated last year
- Facilitates Visual Representation of Sign Language Data and Glosses☆19May 16, 2025Updated last year
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆31Apr 27, 2020Updated 6 years ago
- Category theory applied to functional programming (undergraduate project)☆35May 1, 2025Updated last year