KWARC / llamapun
common language and mathematics processing algorithms, in Rust
☆26Updated last year
Alternatives and similar repositories for llamapun:
Users that are interested in llamapun are comparing it to the libraries listed below
- A general purpose processing framework for corpora of scientific documents☆63Updated this week
- Collection of tools to extract semantic information from (mathematical) research articles☆20Updated 6 months ago
- A WordNet in GF☆26Updated this week
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆26Updated 9 months ago
- First-order automated theorem prover based on the tableau method☆15Updated 5 months ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago
- Grammatical Framework's Resource Grammar Library (RGL)☆57Updated last week
- Community contributions to the Grammatical Framework☆61Updated 9 months ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆58Updated 3 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- Template for Lean<->Rust FFI☆12Updated last year
- ☆11Updated last year
- Visual Studio Code syntax highlighting for Answer Set Programming☆14Updated 4 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 11 months ago
- The opentheory tool processes higher order logic theory packages☆16Updated 2 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Multinomials for the Mathematical Components library.☆14Updated 3 weeks ago
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- A plugin for Coq that implements the call-by-name forcing translation☆12Updated 3 years ago
- Learn Lean and topology☆21Updated 2 years ago
- an approximate string matching or fuzzy-matching system for spelling correction, normalisation or post-OCR correction☆37Updated 2 months ago
- ☆25Updated 2 years ago
- A date and time library for Lean 4☆12Updated 3 weeks ago
- ☆23Updated 2 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- Plain-text declaration export for Lean 4☆15Updated 6 months ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago