Alternatives and similar repositories for theoremkb:

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

• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆14Updated 3 months ago
• ontolex / ontolex
  Ontolex modules
  ☆33Updated 3 weeks ago
• mseri / doi2bib
  Small CLI to get a bibtex entry from a DOI, an arXiv ID or a PubMed ID
  ☆59Updated last week
• softcite / software-mentions
  Softcite software mention recognizer, finding mentions and citations to software from within the academic literature
  ☆75Updated 4 months ago
• kermitt2 / biblio-glutton
  A high performance bibliographic information service: https://biblio-glutton.readthedocs.io
  ☆136Updated 6 months ago
• anHALytics / anhalytics-core
  Analytic platform for the HAL research archive (in development)
  ☆13Updated 4 years ago
• dginev / CorTeX
  A general purpose processing framework for corpora of scientific documents
  ☆60Updated 10 months ago
• kermitt2 / datastet
  Finding mentions and citations to named and implicit research datasets from within the academic literature
  ☆24Updated 5 months ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆56Updated 3 years ago
• a-nikolaev / visualsc
  A simplicial complex and hypergraph visualization tool similar to Graphviz.
  ☆38Updated 6 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 9 months ago
• TriplyDB / YALC
  🕸 YALC: Yet Another LOD Cloud (registry of Linked Open Datasets).
  ☆16Updated last year
• recap-utr / arguebuf-python
  Create and analyze argument graphs and serialize them via Protobuf
  ☆8Updated this week
• kermitt2 / Pub2TEI
  Service for converting and enhancing heterogeneous publisher XML formats into TEI
  ☆53Updated 6 months ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆25Updated this week
• allenai / ForeCite
  ☆34Updated 2 years ago
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆27Updated last month
• internetarchive / fatcat-scholar
  search interface for scholarly works
  ☆84Updated 7 months ago
• jekbradbury / SpaCy.jl
  Julia interface for SpaCy NLP library
  ☆14Updated 6 years ago
• jmccrae / lemon-model.net
  Source for lemon-model.net
  ☆11Updated 3 years ago
• kermitt2 / biblio_glutton_harvester
  Open Access PDF harvester
  ☆39Updated 10 months ago
• softcite / softcite_kb
  A Knowledge Base for research software relying on large-scale text mining and curated knowledge sources
  ☆16Updated last year
• annotation / stam
  Stand-off Text Annotation Model (STAM) is a data model for stand-off-text annotation where any information on a text is represented as an…
  ☆18Updated 4 months ago
• SeerLabs / pdfmef
  Multi-Entity Extraction Framework for Academic Documents (with default extraction tools)
  ☆31Updated last year
• kermitt2 / entity-fishing
  A machine learning tool for fishing entities
  ☆262Updated this week
• EngineeringSoftware / roosterize
  Tool for suggesting lemma names in Coq verification projects
  ☆19Updated 2 years ago
• KWARC / llamapun
  common language and mathematics processing algorithms, in Rust
  ☆25Updated 11 months ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆53Updated last year
• dhlab-epfl / LinkedBooksDeepReferenceParsing
  A deep learning architecture for reference mining from literature in the arts and humanities.
  ☆15Updated 5 years ago