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
  ☆65Updated last week
• ArnaudBelcour / asp-syntax-highlight
  Visual Studio Code syntax highlighting for Answer Set Programming
  ☆13Updated 11 months ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆60Updated 4 years ago
• scholtzan / rdf-rs
  RDF library implemented in Rust
  ☆28Updated 5 years ago
• zotero / citeproc-rs
  CSL processor in Rust.
  ☆80Updated last year
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆27Updated this week
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆16Updated 4 years ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆60Updated 2 weeks ago
• korpling / graphANNIS
  This is a new backend implementation of the ANNIS linguistic search and visualization system.
  ☆18Updated 2 months ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆34Updated this week
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆71Updated last year
• vandenoever / rome
  An RDF library in pure Rust
  ☆71Updated 5 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆18Updated 3 years ago
• 0b01 / tensorscript
  shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
  ☆52Updated 2 years ago
• IBM / datascienceontology
  Data Science Ontology
  ☆40Updated 2 months ago
• hfst / hfst
  Helsinki Finite-State Technology (library and application suite)
  ☆136Updated last month
• Wikidata / WikibaseImport
  Import entities from another Wikibase instance (e.g. Wikidata)
  ☆13Updated 2 years ago
• rust-spandex / spandex
  🦀 A modern alternative to LaTeX written in Rust
  ☆33Updated 4 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆24Updated 2 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆64Updated last year
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 4 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆32Updated 10 months ago
• finalfusion / finalfrontier
  Context-sensitive word embeddings with subwords. In Rust.
  ☆89Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆37Updated 7 months ago
• proycon / analiticcl
  an approximate string matching or fuzzy-matching system for spelling correction, normalisation or post-OCR correction (mirror of https://…
  ☆37Updated 2 months ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆145Updated last month
• jneem / ojo
  ☆37Updated 4 months ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago