Alternatives and similar repositories for theoremkb

Users that are interested in theoremkb are comparing it to the libraries listed below

• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆26Updated this week
• stevenliuyi / wikidata-prop-explorer
  Wikidata property explorer
  ☆17Updated last year
• kermitt2 / Pub2TEI
  Service for converting and enhancing heterogeneous publisher XML formats into TEI
  ☆54Updated 8 months ago
• mseri / doi2bib
  Small CLI to get a bibtex entry from a DOI, an arXiv ID or a PubMed ID
  ☆58Updated 2 months ago
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆15Updated 5 months ago
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 5 years ago
• kermitt2 / arxiv_harvester
  Poor man's simple harvester for arXiv resources
  ☆12Updated last year
• kermitt2 / datastet
  Finding mentions and citations to named and implicit research datasets from within the academic literature
  ☆24Updated 7 months ago
• IBM / datascienceontology
  Data Science Ontology
  ☆37Updated last week
• jamii / texsearch
  A search index specialised for LaTeX equations. Developed for latexsearch.com.
  ☆17Updated 13 years ago
• kermitt2 / biblio-glutton
  A high performance bibliographic information service: https://biblio-glutton.readthedocs.io
  ☆137Updated 8 months ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆57Updated this week
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated 3 weeks ago
• softcite / software-mentions
  Softcite software mention recognizer, finding mentions and citations to software from within the academic literature
  ☆77Updated last month
• gchrupala / morfette
  Supervised learning of morphology
  ☆28Updated 8 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• jekbradbury / SpaCy.jl
  Julia interface for SpaCy NLP library
  ☆14Updated 7 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 3 months ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆58Updated 3 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 11 months ago
• dginev / CorTeX
  A general purpose processing framework for corpora of scientific documents
  ☆63Updated this week
• internetarchive / fatcat-scholar
  search interface for scholarly works
  ☆85Updated 9 months ago
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 9 years ago
• softcite / softcite_kb
  A Knowledge Base for research software relying on large-scale text mining and curated knowledge sources
  ☆16Updated 2 years ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 6 months ago
• kayceesrk / cs6225_s21_iitm
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆11Updated 4 years ago
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last year
• revuel / PatternOmatic
  Finds linguistic patterns effortlessly
  ☆36Updated last year
• rocq-community / atbr
  Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
  ☆23Updated 6 months ago
• wikicite / wcite
  Pandoc filter to use Wikidata as reference manager
  ☆17Updated 4 years ago