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
• ArnaudBelcour / asp-syntax-highlight
  Visual Studio Code syntax highlighting for Answer Set Programming
  ☆14Updated 5 months ago
• IBM / datascienceontology
  Data Science Ontology
  ☆38Updated last month
• pteridogroup / ppg
  Pteridophyte Phylogeny Group (PPG) taxonomic system for ferns and lycophytes
  ☆8Updated last week
• scholtzan / rdf-rs
  RDF library implemented in Rust
  ☆28Updated 4 years ago
• finalfusion / finalfrontier
  Context-sensitive word embeddings with subwords. In Rust.
  ☆87Updated last year
• potassco / flatzinc
  🫓 A parser for the FlatZinc modelling language
  ☆13Updated 4 months ago
• emk / rust-cld2
  Rust wrapper for the cld2 language detection library.
  ☆14Updated 7 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆20Updated 2 years ago
• CategoricalData / FQL
  Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky
  ☆10Updated 5 years ago
• PierreSenellart / theoremkb
  Collection of tools to extract semantic information from (mathematical) research articles
  ☆21Updated 3 weeks ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆58Updated 3 years ago
• korpling / graphANNIS
  This is a new backend implementation of the ANNIS linguistic search and visualization system.
  ☆17Updated last month
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆26Updated this week
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• BasisResearch / effectful
  An experimental library for metaprogramming with algebraic effects and handlers
  ☆11Updated this week
• huonw / unicode_names
  char <-> Unicode character name
  ☆23Updated 8 years ago
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 3 years ago
• 0b01 / tensorscript
  shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
  ☆51Updated 2 years ago
• Wikidata / WikibaseImport
  Import entities from another Wikibase instance (e.g. Wikidata)
  ☆13Updated 2 years ago
• vandenoever / rome
  An RDF library in pure Rust
  ☆70Updated 4 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆57Updated last month
• vinesystems / lair
  Linear Algebra in Rust
  ☆13Updated last month
• danieldk / dpar
  Neural network transition-based dependency parser (in Rust)
  ☆44Updated 4 years ago
• oxigraph / rio
  RDF parsers library
  ☆86Updated 5 months ago
• endoli / curie.rs
  CURIEs, or Compact URIs, for JSON-LD, RDF and other things.
  ☆11Updated last month
• ptal / intervallum
  Integer interval arithmetic library
  ☆18Updated last month
• danieldk / rust2vec
  Read/write word2vec and GloVe embeddings in Rust
  ☆10Updated 6 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated last year