Alternatives and similar repositories for theoremkb

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

• mseri / doi2bib
  Small CLI to get a bibtex entry from a DOI, an arXiv ID or a PubMed ID
  ☆59Updated 2 months ago
• kornai / 4lang
  Concept dictionary
  ☆38Updated last year
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 5 years ago
• anHALytics / anhalytics-core
  Analytic platform for the HAL research archive (in development)
  ☆13Updated 4 years ago
• IBM / datascienceontology
  Data Science Ontology
  ☆38Updated 3 weeks ago
• dginev / CorTeX
  A general purpose processing framework for corpora of scientific documents
  ☆63Updated 3 weeks ago
• softcite / softcite_kb
  A Knowledge Base for research software relying on large-scale text mining and curated knowledge sources
  ☆16Updated 2 years ago
• gchrupala / morfette
  Supervised learning of morphology
  ☆28Updated 8 years ago
• kermitt2 / arxiv_harvester
  Poor man's simple harvester for arXiv resources
  ☆12Updated last year
• proycon / foliapy
  An extensive Python library for dealing with FoLiA (Format for Linguistic Annotation) documents, a rich XML-based format for linguistic a…
  ☆18Updated 6 months ago
• kermitt2 / Pub2TEI
  Service for converting and enhancing heterogeneous publisher XML formats into TEI
  ☆54Updated 8 months ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆26Updated this week
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆27Updated last month
• jmccrae / lemon-model.net
  Source for lemon-model.net
  ☆11Updated 3 years ago
• nate-russell / Scholar2Go
  Make MP3 albums out of Academic PDFs. Works by gluing together Grobid and TTS offerings.
  ☆12Updated last year
• ontolex / ontolex
  Ontolex modules
  ☆33Updated 3 months ago
• kermitt2 / datastet
  Finding mentions and citations to named and implicit research datasets from within the academic literature
  ☆25Updated 7 months ago
• TriplyDB / YALC
  🕸 YALC: Yet Another LOD Cloud (registry of Linked Open Datasets).
  ☆16Updated last year
• softcite / software-mentions
  Softcite software mention recognizer, finding mentions and citations to software from within the academic literature
  ☆77Updated last month
• kermitt2 / biblio_glutton_harvester
  Open Access PDF harvester
  ☆40Updated last year
• SeerLabs / pdfmef
  Multi-Entity Extraction Framework for Academic Documents (with default extraction tools)
  ☆31Updated last year
• kermitt2 / biblio-glutton
  A high performance bibliographic information service: https://biblio-glutton.readthedocs.io
  ☆139Updated 8 months ago
• bio-ontology-research-group / Onto2Graph
  Generating graph structures from OWL ontologies
  ☆12Updated 7 years ago
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last year
• michmech / chitchat
  A Grammatical Framework application grammar for casual coffee-break conversations
  ☆9Updated 6 years ago
• kowey / GenI
  Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar
  ☆21Updated 10 years ago
• owlbarn / owl_mask_rcnn
  Implementation of the Mask R-CNN model using OCaml's numerical library Owl.
  ☆19Updated 5 years ago
• CLARIAH / clariah-plus
  This is the project planning repository for the CLARIAH-PLUS project. It groups all technical documents and discussions pertaining to CLA…
  ☆10Updated 2 months ago
• lfoppiano / PhD-Thesis
  PhD Dissertation "Automated Extraction and Curation of Materials Information from Scientific Literature"
  ☆10Updated last year
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆57Updated 2 weeks ago