KWARC / llamapunLinks
common language and mathematics processing algorithms, in Rust
☆26Updated 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☆64Updated this week
- A WordNet in GF☆27Updated this week
- Visual Studio Code syntax highlighting for Answer Set Programming☆14Updated 7 months ago
- Grammatical Framework's Resource Grammar Library (RGL)☆57Updated this week
- Grammatical Framework core: compiler, shell & runtimes☆140Updated last week
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆60Updated 3 years ago
- Import entities from another Wikibase instance (e.g. Wikidata)☆13Updated 2 years ago
- CSL processor in Rust.☆80Updated last year
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆83Updated 2 years ago
- Helsinki Finite-State Technology (library and application suite)☆133Updated 3 months ago
- Lexical data at Unicode☆69Updated last year
- Jupyter kernel for Coq☆95Updated 11 months ago
- A python library to deal with scientific papers.☆17Updated 9 years ago
- An LL parser for extracting information from Wiki text, particularly Wiktionary.☆49Updated 2 years ago
- Community contributions to the Grammatical Framework☆60Updated last year
- search interface for scholarly works☆86Updated last year
- This is a new backend implementation of the ANNIS linguistic search and visualization system.☆18Updated last week
- ⚙️ A conflict-driven nogood learning answer set solver☆126Updated this week
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆12Updated 6 years ago
- The Heterogeneous Tool Set☆59Updated 7 months ago
- Wikidata property explorer☆17Updated last year
- The MMT Language and System☆75Updated last year
- A semantic Extension of TeX/LaTeX☆54Updated 3 weeks ago
- Ontolex modules☆33Updated last month
- A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface☆104Updated 11 months 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 this week
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆49Updated this week
- srt subtitle synchronization utility☆12Updated 9 years ago
- MathWebSearch Implementation☆48Updated 2 years ago
- An encyclopedia of proofs☆62Updated 9 months ago