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
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆28Updated this week
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆60Updated 4 years ago
• model-checking / kani-vscode-extension
  Kani VSCode Extension
  ☆19Updated this week
• mqudsi / srtresync
  srt subtitle synchronization utility
  ☆12Updated 9 years ago
• IBM / datascienceontology
  Data Science Ontology
  ☆40Updated 4 months ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆63Updated last month
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆13Updated 3 weeks ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆16Updated 5 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆71Updated last year
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆35Updated this week
• CLLKazan / OntoMathPro
  This ontology is a Linked Data Hub for mathematics
  ☆67Updated 2 years ago
• rust-spandex / spandex
  🦀 A modern alternative to LaTeX written in Rust
  ☆34Updated 4 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆12Updated 5 months ago
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆42Updated last year
• zotero / citeproc-rs
  CSL processor in Rust.
  ☆80Updated last year
• korpling / graphANNIS
  This is a new backend implementation of the ANNIS linguistic search and visualization system.
  ☆18Updated 3 weeks ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆21Updated 6 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 4 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆64Updated last year
• adaptive-democracy / hopeful-path
  An open source book discussing Adaptive Democracy.
  ☆17Updated last month
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆32Updated last year
• ArnaudBelcour / asp-syntax-highlight
  Visual Studio Code syntax highlighting for Answer Set Programming
  ☆13Updated last year
• terminusdb / terminusdb-tutorials
  Tutorials for using TerminusDB
  ☆58Updated 2 years ago
• WolframResearch / wstp-rs
  Rust bindings to the Wolfram Symbolic Transport Protocol (WSTP)
  ☆23Updated 2 years ago
• homotopy-io / homotopy-rs
  A Rust/WASM implementation of homotopy.io
  ☆113Updated this week
• mAarnos / Serkr
  An automated theorem prover for first order logic.
  ☆30Updated 8 years ago
• proycon / analiticcl
  an approximate string matching or fuzzy-matching system for spelling correction, normalisation or post-OCR correction (mirror of https://…
  ☆37Updated last month
• ixjf / logic-rs
  A parser of relational predicate logic & truth tree solver, written in Rust.
  ☆20Updated 6 years ago