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
  ☆58Updated 9 months ago
• bryant / punkt
  Unsupervised multilingual sentence segmentation.
  ☆21Updated 3 years ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆25Updated this week
• ArnaudBelcour / asp-syntax-highlight
  Visual Studio Code syntax highlighting for Answer Set Programming
  ☆14Updated last month
• korpling / graphANNIS
  This is a new backend implementation of the ANNIS linguistic search and visualization system.
  ☆17Updated 2 weeks ago
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆25Updated 7 months ago
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 2 years ago
• PierreSenellart / theoremkb
  Collection of tools to extract semantic information from (mathematical) research articles
  ☆20Updated 3 months ago
• emk / rust-cld2
  Rust wrapper for the cld2 language detection library.
  ☆13Updated 7 years ago
• AlgebraicJulia / StructuredDecompositions.jl
  Structured decompositions!
  ☆12Updated 2 weeks ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆54Updated this week
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆55Updated 3 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 2 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• korpling / salt
  A powerful, tagset-independent and theory-neutral meta model and API for storing, manipulating, and representing nearly all types of ling…
  ☆15Updated last year
• IBM / datascienceontology
  Data Science Ontology
  ☆36Updated 5 months ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• nham / hippo
  Command-line spaced repetition scheduler.
  ☆10Updated 9 years ago
• pczarn / gearley
  An Earley parser engine in Rust.
  ☆32Updated last month
• ararslan / julia-rs
  Call Julia from Rust
  ☆16Updated 8 years ago
• stevenliuyi / wikidata-prop-explorer
  Wikidata property explorer
  ☆16Updated 11 months ago
• huonw / unicode_names
  char <-> Unicode character name
  ☆22Updated 8 years ago
• stickeritis / sticker2
  Further developed as SyntaxDot: https://github.com/tensordot/syntaxdot
  ☆13Updated 4 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated last year
• vandenoever / rome
  An RDF library in pure Rust
  ☆69Updated 4 years ago
• pwoolcoc / ngrams
  (Read-only) Generate n-grams
  ☆27Updated 8 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• deepinthebuild / dedup
  A command-line tool for deduplicating entries in a file or stream.
  ☆15Updated 6 years ago