Alternatives and similar repositories for llamapun

Users that are interested in llamapun are comparing it to the libraries listed below

• dginev / CorTeX
  A general purpose processing framework for corpora of scientific documents
  ☆65Updated 2 weeks ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆60Updated 4 years ago
• zotero / citeproc-rs
  CSL processor in Rust.
  ☆80Updated last year
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆27Updated this week
• mqudsi / srtresync
  srt subtitle synchronization utility
  ☆12Updated 9 years ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆59Updated this week
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆71Updated last year
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆15Updated 4 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆64Updated 2 years ago
• slatex / RusTeX
  A (somewhat experimental) implementation of a TeX engine in rust, used to convert LaTeX documents to xhtml.
  ☆32Updated 2 weeks ago
• scholtzan / rdf-rs
  RDF library implemented in Rust
  ☆28Updated 4 years ago
• adaptive-democracy / hopeful-path
  An open source book discussing Adaptive Democracy.
  ☆17Updated 11 months ago
• huonw / unicode_names
  char <-> Unicode character name
  ☆23Updated 9 years ago
• IBM / datascienceontology
  Data Science Ontology
  ☆39Updated last month
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• CategoricalData / FQL
  Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky
  ☆12Updated 6 years ago
• mbrubeck / unicode-reverse
  Unicode-aware in-place string reverse function in Rust
  ☆19Updated 2 months ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆15Updated 10 years ago
• advancedresearch / path_semantics
  A research project in path semantics, a re-interpretation of functions for expressing mathematics
  ☆174Updated this week
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆143Updated 2 weeks ago
• rust-spandex / spandex
  🦀 A modern alternative to LaTeX written in Rust
  ☆33Updated 3 years ago
• Emerentius / ord_subset
  Tools for working with types where a subset of values has a total order, like e.g. floats without NaN
  ☆13Updated 3 years ago
• homotopy-io / homotopy-rs
  A Rust/WASM implementation of homotopy.io
  ☆108Updated last week
• divvun / kbdgen-archived
  Archived Python/Rust hybrid codebase - see divvun/kbdgen for v3
  ☆26Updated 3 years ago
• pczarn / gearley
  An Earley parser engine in Rust.
  ☆36Updated last week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 4 months ago
• korpling / graphANNIS
  This is a new backend implementation of the ANNIS linguistic search and visualization system.
  ☆18Updated 3 weeks ago
• xymostech / XymosTeX
  A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface
  ☆104Updated last year
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆63Updated 11 months ago