KWARC / llamapunLinks
common language and mathematics processing algorithms, in Rust
☆28Updated 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 9 months ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated last year
- RDF library implemented in Rust☆28Updated 4 years ago
- CSL processor in Rust.☆80Updated last year
- 🦀 A modern alternative to LaTeX written in Rust☆33Updated 3 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆60Updated 4 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆14Updated 4 years ago
- Type-Level Programming in Rust☆28Updated 3 years ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆51Updated 2 years ago
- sorear's Metamath system engine - version 3 Rust☆26Updated 2 years ago
- srt subtitle synchronization utility☆12Updated 9 years ago
- An RDF library in pure Rust☆71Updated 5 years ago
- A WordNet in GF☆27Updated this week
- Razor is a tool for constructing finite models for first-order theories☆55Updated 2 years ago
- Grammatical Framework's Resource Grammar Library (RGL)☆59Updated last week
- Context-sensitive word embeddings with subwords. In Rust.☆87Updated last year
- A research project in path semantics, a re-interpretation of functions for expressing mathematics☆173Updated this week
- An open source book discussing Adaptive Democracy.☆17Updated 10 months ago
- ☆15Updated 6 years ago
- char <-> Unicode character name☆23Updated 9 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆53Updated 6 months ago
- Unicode-aware in-place string reverse function in Rust☆19Updated last month
- Safe CUDA cuBLAS wrapper for the Rust language.☆30Updated 7 years ago
- Rust bindings to the Wolfram Symbolic Transport Protocol (WSTP)☆22Updated 2 years ago
- Text hyphenation for Rust☆56Updated last year
- Extraction and modernization of the hyper 0.11.x typed header module☆30Updated 2 years ago
- ☆37Updated 2 months ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆83Updated 2 years ago
- Get a GUI fast in any language under the sea!☆47Updated 2 years ago