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 this week
• ArnaudBelcour / asp-syntax-highlight
  Visual Studio Code syntax highlighting for Answer Set Programming
  ☆14Updated 8 months ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆27Updated this week
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆57Updated this week
• 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
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated last month
• IBM / datascienceontology
  Data Science Ontology
  ☆38Updated this week
• stevenliuyi / wikidata-prop-explorer
  Wikidata property explorer
  ☆17Updated last year
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆140Updated this week
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆25Updated this week
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆32Updated this week
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated last year
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆48Updated 2 years ago
• annotation / stam
  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
• Wikidata / WikibaseImport
  Import entities from another Wikibase instance (e.g. Wikidata)
  ☆13Updated 2 years ago
• CategoricalData / FQL
  Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky
  ☆12Updated 6 years ago
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆83Updated 2 years 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
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated this week
• scholtzan / rdf-rs
  RDF library implemented in Rust
  ☆28Updated 4 years ago
• homotopy-io / homotopy-rs
  A Rust/WASM implementation of homotopy.io
  ☆105Updated last week
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆68Updated last year
• CLLKazan / OntoMathPro
  This ontology is a Linked Data Hub for mathematics
  ☆61Updated last year
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆27Updated last year
• UniFormal / MMT
  The MMT Language and System
  ☆76Updated 2 weeks ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆14Updated 4 years ago
• internetarchive / fatcat-scholar
  search interface for scholarly works
  ☆86Updated last year
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year