KWARC / llamapunLinks
common language and mathematics processing algorithms, in Rust
☆27Updated last year
Alternatives and similar repositories for llamapun
Users that are interested in llamapun are comparing it to the libraries listed below
Sorting:
- A general purpose processing framework for corpora of scientific documents☆65Updated this week
- Visual Studio Code syntax highlighting for Answer Set Programming☆14Updated 8 months ago
- A WordNet in GF☆27Updated this week
- Grammatical Framework's Resource Grammar Library (RGL)☆57Updated this week
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆60Updated 4 years ago
- CSL processor in Rust.☆80Updated last year
- A semantic Extension of TeX/LaTeX☆54Updated last month
- Data Science Ontology☆38Updated this week
- Wikidata property explorer☆17Updated last year
- Grammatical Framework core: compiler, shell & runtimes☆140Updated this week
- A file-based mirror of the nLab wiki (HTML format).☆25Updated this week
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆32Updated this week
- Community contributions to the Grammatical Framework☆61Updated last year
- MathWebSearch Implementation☆48Updated 2 years ago
- Stand-off Text Annotation Model (STAM) is a data model for stand-off-text annotation where any information on a text is represented as an…☆21Updated 2 weeks ago
- Import entities from another Wikibase instance (e.g. Wikidata)☆13Updated 2 years ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆12Updated 6 years ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆83Updated 2 years ago
- A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface☆104Updated last year
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated this week
- RDF library implemented in Rust☆28Updated 4 years ago
- A Rust/WASM implementation of homotopy.io☆105Updated last week
- ☆38Updated 2 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated last year
- This ontology is a Linked Data Hub for mathematics☆61Updated last year
- Interfacing with Large Language Models (remote and local) from Lean.☆27Updated last year
- The MMT Language and System☆76Updated 2 weeks ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆14Updated 4 years ago
- search interface for scholarly works☆86Updated last year
- Jupyter kernel for Coq☆95Updated last year