KWARC / llamapunLinks
common language and mathematics processing algorithms, in Rust
☆29Updated 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 last week
- This is a new backend implementation of the ANNIS linguistic search and visualization system.☆18Updated last month
- A WordNet in GF☆27Updated this week
- CSL processor in Rust.☆80Updated last year
- 🦀 A modern alternative to LaTeX written in Rust☆33Updated 3 years ago
- RDF library implemented in Rust☆28Updated 5 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆60Updated 4 years ago
- Grammatical Framework's Resource Grammar Library (RGL)☆59Updated this week
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆52Updated 2 years ago
- Import entities from another Wikibase instance (e.g. Wikidata)☆13Updated 2 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆71Updated last year
- Context-sensitive word embeddings with subwords. In Rust.☆88Updated 2 years ago
- An RDF library in pure Rust☆71Updated 5 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- an approximate string matching or fuzzy-matching system for spelling correction, normalisation or post-OCR correction (mirror of https://…☆37Updated last month
- 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…☆19Updated 2 months ago
- An Earley parser engine in Rust.☆36Updated last month
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆15Updated 4 years ago
- RDF parsers library☆86Updated 10 months ago
- XPath, XQuery, and XSLT for Rust☆129Updated 2 months ago
- Wikidata property explorer☆17Updated last year
- search interface for scholarly works☆85Updated last year
- sorear's Metamath system engine - version 3 Rust☆25Updated 2 years ago
- An open source book discussing Adaptive Democracy.☆17Updated last year
- Metadata management and dissemination system for Open Access books☆54Updated last week
- A fast, brute force, automatic theorem prover for first order logic☆42Updated last year
- Helsinki Finite-State Technology (library and application suite)☆136Updated 3 weeks ago
- Unicode-aware in-place string reverse function in Rust☆19Updated 3 months ago
- Visual Studio Code syntax highlighting for Answer Set Programming☆13Updated 10 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆36Updated 6 months ago