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
  ☆64Updated this week
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆59Updated 3 years ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆58Updated 2 months ago
• ArnaudBelcour / asp-syntax-highlight
  Visual Studio Code syntax highlighting for Answer Set Programming
  ☆14Updated 7 months ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆28Updated this week
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆142Updated last week
• Wikidata / WikibaseImport
  Import entities from another Wikibase instance (e.g. Wikidata)
  ☆13Updated 2 years ago
• stevenliuyi / wikidata-prop-explorer
  Wikidata property explorer
  ☆17Updated last year
• zotero / citeproc-rs
  CSL processor in Rust.
  ☆80Updated last year
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆14Updated last month
• CategoricalData / FQL
  Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky
  ☆11Updated 5 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 3 weeks ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆49Updated last month
• IBM / datascienceontology
  Data Science Ontology
  ☆38Updated 3 months ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated last year
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• Phyks / libbmc
  A python library to deal with scientific papers.
  ☆17Updated 9 years ago
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆82Updated 2 years ago
• scholtzan / rdf-rs
  RDF library implemented in Rust
  ☆28Updated 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• rspeer / wikiparsec
  An LL parser for extracting information from Wiki text, particularly Wiktionary.
  ☆49Updated last year
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆27Updated last year
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆62Updated 9 months ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 6 months ago
• UniFormal / MMT
  The MMT Language and System
  ☆75Updated last year
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆15Updated 10 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆53Updated this week
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last week
• CLLKazan / OntoMathPro
  This ontology is a Linked Data Hub for mathematics
  ☆61Updated last year
• korpling / graphANNIS
  This is a new backend implementation of the ANNIS linguistic search and visualization system.
  ☆18Updated this week