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
  ☆61Updated last week
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆25Updated this week
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆14Updated 4 months ago
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 5 years ago
• scholtzan / rdf-rs
  RDF library implemented in Rust
  ☆28Updated 4 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• bryant / punkt
  Unsupervised multilingual sentence segmentation.
  ☆21Updated 4 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 2 years ago
• ArnaudBelcour / asp-syntax-highlight
  Visual Studio Code syntax highlighting for Answer Set Programming
  ☆14Updated 3 months ago
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• deepinthebuild / dedup
  A command-line tool for deduplicating entries in a file or stream.
  ☆15Updated 6 years ago
• allenai / rustberta-snli
  🦀 A Rust implementation of a RoBERTa classification model for the SNLI dataset
  ☆13Updated 3 years ago
• pczarn / gearley
  An Earley parser engine in Rust.
  ☆34Updated 3 months ago
• tensordot / syntaxdot
  Neural syntax annotator, supporting sequence labeling, lemmatization, and dependency parsing.
  ☆74Updated last year
• finalfusion / finalfrontier
  Context-sensitive word embeddings with subwords. In Rust.
  ☆87Updated last year
• korpling / graphANNIS
  This is a new backend implementation of the ANNIS linguistic search and visualization system.
  ☆17Updated this week
• 0b01 / tensorscript
  shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
  ☆51Updated 2 years ago
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• endoli / curie.rs
  CURIEs, or Compact URIs, for JSON-LD, RDF and other things.
  ☆11Updated 4 months ago
• PierreSenellart / theoremkb
  Collection of tools to extract semantic information from (mathematical) research articles
  ☆20Updated 5 months ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated 9 months ago
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 4 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• rust-ml / nlp-discussion
  ☆15Updated 5 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 2 years ago
• leanprover-community / import-graph
  Tool to analyse the import structure of lean projects.
  ☆10Updated last week
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆56Updated 3 years ago