The Grammar Matrix
☆19Aug 4, 2026Updated 2 months ago
Alternatives and similar repositories for matrix
Users that are interested in matrix are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- English Resource Grammar☆34May 22, 2026Updated 5 months ago
- A Mercury CSV library.☆14Apr 11, 2026Updated 6 months ago
- DELPH-IN Documentation☆34Oct 21, 2026Updated last week
- A WordNet in GF☆33Updated this week
- A library for manipulating DMRS structures☆14Mar 3, 2021Updated 5 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.
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆17Oct 4, 2026Updated 3 weeks ago
- Finite state and Constraint Grammar based analysers and proofing tools, and language resources for the Plains Cree language☆19Oct 7, 2026Updated 3 weeks ago
- Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.☆13Sep 4, 2022Updated 4 years ago
- An English lexical database from the Big 🍎, let's go Mets baby love da Mets☆18Jul 23, 2026Updated 3 months ago
- ☆12Jun 1, 2025Updated last year
- Extensible records and variants indexed by a type-level Red-Black tree.☆19Apr 27, 2024Updated 2 years ago
- ☆63Dec 2, 2017Updated 8 years ago
- A* CCG Parser with a Supertag and Dependency Factored Model☆103Oct 26, 2026Updated last week
- Interact with a JSON-serialized API defined by a GADT in your reflex-dom application☆21Oct 14, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Common Lisp client library for the Oxford dictionary API☆14May 17, 2026Updated 5 months ago
- Surgery for generic data types☆26Jan 25, 2021Updated 5 years ago
- JIGSAW is a knowledge-based Word Sense Disambiguation system that attempts to disambiguate all words in a text by exploiting WordNet sens…☆13Mar 25, 2013Updated 13 years ago
- SynthTL: Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers☆12Sep 20, 2024Updated 2 years ago
- documentation for things like relations and parts of speech used by wordnets☆15Oct 23, 2026Updated last week
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆49Aug 26, 2026Updated 2 months ago
- OpenGL 3D viewer for ImplicitCAD☆23Nov 12, 2023Updated 2 years ago
- An attempt to implement the typing rules of Featherweight Java using Haskell.☆11Aug 19, 2012Updated 14 years ago
- Graded Dependent Type systems☆28Jun 28, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆12Mar 24, 2019Updated 7 years ago
- Lean 4 interface to Eigen☆12Dec 13, 2024Updated last year
- An intermediate verification language☆30Jan 4, 2026Updated 9 months ago
- k theorem prover☆11Aug 16, 2022Updated 4 years ago
- Code for Unsupervised Learning of Morphological Forest☆14Aug 12, 2019Updated 7 years ago
- Some Clojure library projects...☆14Jul 30, 2009Updated 17 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated 2 years ago
- org-babel support for generating various diagrams using diagrams backend☆12May 17, 2020Updated 6 years ago
- A proof of concept of a shared mathematical environment without need for version control or naming synchronization.☆26Mar 20, 2026Updated 7 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Common Lisp layer for ImageMagick☆12Apr 11, 2012Updated 14 years ago
- Source for Basic Category Theory by Tom Leinster☆12May 15, 2017Updated 9 years ago
- Markup text markup language.☆12Jan 13, 2012Updated 14 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆32Apr 13, 2015Updated 11 years ago
- A simple raytracer written in lean☆13Jan 13, 2021Updated 5 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Mar 11, 2022Updated 4 years ago
- ☆14Apr 25, 2022Updated 4 years ago