List of papers and other resources at the intersection of Category Theory and NLP.
☆56Feb 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:
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 4 years ago
- The Python toolkit for computing with string diagrams.☆418Feb 26, 2026Updated 2 months ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- List of papers studying machine learning through the lens of category theory☆1,506Apr 17, 2026Updated 2 weeks ago
- Homotopy type theory cheatsheets☆12Apr 15, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Learning platform for category theory in python☆17Apr 28, 2026Updated last week
- Category theory applied to functional programming (undergraduate project)☆34May 1, 2025Updated last year
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Nov 21, 2018Updated 7 years ago
- ☆14Feb 25, 2019Updated 7 years ago
- Lojban ologs (categorical databases) using jq☆25Nov 29, 2018Updated 7 years ago
- Advanced Formal Language Theory (263-5352-00L; Frühjahr 2023)☆10Feb 21, 2023Updated 3 years ago
- Using Luxor.jl to design common diagrams found in Category Theory 🐱☆13Mar 26, 2022Updated 4 years ago
- Kan: A browser extension for reading nLab☆34Oct 2, 2018Updated 7 years ago
- A YAML-based tree-format for SKOS concept schemes☆21Feb 21, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆15Aug 22, 2019Updated 6 years ago
- Linear lens☆21Feb 14, 2024Updated 2 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 3 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 8 years ago
- Applied category theory applied to epidemiological models☆12Aug 7, 2024Updated last year
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆31Apr 27, 2020Updated 6 years ago
- Theories of social science expressed in Catlab.jl formalisms☆16Mar 21, 2021Updated 5 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 9 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Bayesian inference on wiring diagrams.☆18Sep 28, 2023Updated 2 years ago
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 3 years ago
- ☆13Apr 19, 2025Updated last year
- Category Theory for Quantum Natural Language Processing☆11Feb 22, 2023Updated 3 years ago
- DUCT is a Scala 3 category theory and functional programming library☆15Dec 31, 2025Updated 4 months ago
- (early experiments toward) a version-control system for structured data☆19Jul 23, 2023Updated 2 years ago
- User-contributed extensions to diagrams☆28Jun 19, 2025Updated 10 months ago
- ☆23Apr 17, 2022Updated 4 years ago
- BisPy - Python bisimulation library☆17Jan 21, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A high-level Python library for Quantum Natural Language Processing☆528Dec 20, 2025Updated 4 months ago
- Theory and Applications of Lenses and Optics☆56Apr 29, 2022Updated 4 years ago
- A* CCG Parser with a Supertag and Dependency Factored Model☆99Aug 26, 2023Updated 2 years ago
- Hello, this is my first "add-on" (which isn't really by me since I just tweaked/merged Glutanimate's Progress Bar add-on with Carlos Duar…☆15Aug 29, 2023Updated 2 years ago
- Blockchain Technology for the Working Mathematician☆24Jun 23, 2017Updated 8 years ago
- There are many category theory implementations, but this one is mine☆16Aug 22, 2024Updated last year
- Material for the "Category Theory as a Tool for Thought" talk☆41Dec 1, 2022Updated 3 years ago