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
  ☆60Updated 10 months ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆56Updated 3 years ago
• pteridogroup / ppg
  Pteridophyte Phylogeny Group (PPG) taxonomic system for ferns and lycophytes
  ☆8Updated 8 months ago
• korpling / graphANNIS
  This is a new backend implementation of the ANNIS linguistic search and visualization system.
  ☆17Updated this week
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 9 months ago
• CLLKazan / OntoMathPro
  This ontology is a Linked Data Hub for mathematics
  ☆57Updated last year
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 2 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆25Updated this week
• IBM / datascienceontology
  Data Science Ontology
  ☆37Updated 6 months ago
• PierreSenellart / theoremkb
  Collection of tools to extract semantic information from (mathematical) research articles
  ☆20Updated 4 months ago
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 5 years ago
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• emk / rust-cld2
  Rust wrapper for the cld2 language detection library.
  ☆14Updated 7 years ago
• scholtzan / rdf-rs
  RDF library implemented in Rust
  ☆28Updated 4 years ago
• Wikidata / WikibaseImport
  Import entities from another Wikibase instance (e.g. Wikidata)
  ☆13Updated last year
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• uhermjakob / utoken
  universal tokenizer
  ☆16Updated 3 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…
  ☆18Updated 4 months ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• ArnaudBelcour / asp-syntax-highlight
  Visual Studio Code syntax highlighting for Answer Set Programming
  ☆14Updated 2 months ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated 8 months ago
• messense / crfsuite-rs
  Rust binding to crfsuite
  ☆25Updated 3 years ago
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆27Updated last month
• zhangir-azerbayev / lean-chat-vscode
  ☆25Updated 2 years ago
• EdAyers / Robotone
  The 'Robot' theorem prover. Fork of github.com/mg262/research
  ☆12Updated 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• sorear / smm
  sorear's Metamath system engine
  ☆13Updated 8 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year