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
  ☆15Updated 4 months ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆25Updated this week
• kornai / 4lang
  Concept dictionary
  ☆37Updated last year
• mseri / doi2bib
  Small CLI to get a bibtex entry from a DOI, an arXiv ID or a PubMed ID
  ☆58Updated last month
• kermitt2 / biblio-glutton
  A high performance bibliographic information service: https://biblio-glutton.readthedocs.io
  ☆137Updated 7 months ago
• softcite / softcite_kb
  A Knowledge Base for research software relying on large-scale text mining and curated knowledge sources
  ☆16Updated last year
• ontolex / ontolex
  Ontolex modules
  ☆33Updated last month
• softcite / software-mentions
  Softcite software mention recognizer, finding mentions and citations to software from within the academic literature
  ☆77Updated 2 weeks ago
• anHALytics / anhalytics-core
  Analytic platform for the HAL research archive (in development)
  ☆13Updated 4 years ago
• gchrupala / morfette
  Supervised learning of morphology
  ☆28Updated 8 years ago
• EngineeringSoftware / roosterize
  Tool for suggesting lemma names in Coq verification projects
  ☆19Updated 2 years ago
• a-nikolaev / visualsc
  A simplicial complex and hypergraph visualization tool similar to Graphviz.
  ☆38Updated 6 years ago
• zenon-prover / zenon
  The Zenon theorem prover
  ☆15Updated last year
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 5 years ago
• michmech / chitchat
  A Grammatical Framework application grammar for casual coffee-break conversations
  ☆9Updated 6 years ago
• allenai / ForeCite
  ☆34Updated 2 years ago
• kermitt2 / datastet
  Finding mentions and citations to named and implicit research datasets from within the academic literature
  ☆24Updated 6 months ago
• kermitt2 / Pub2TEI
  Service for converting and enhancing heterogeneous publisher XML formats into TEI
  ☆54Updated 7 months ago
• stevenliuyi / wikidata-prop-explorer
  Wikidata property explorer
  ☆17Updated last year
• metaphacts / semopenalex
  ☆48Updated 2 months ago
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last year
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• RichardMoot / LinearOne
  LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
  ☆18Updated 4 years ago
• korpling / salt
  A powerful, tagset-independent and theory-neutral meta model and API for storing, manipulating, and representing nearly all types of ling…
  ☆15Updated 2 years ago
• thibautbenjamin / catt
  Coherence typechecker for infinity categories
  ☆19Updated 2 months ago
• rocq-community / apery
  A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
  ☆23Updated 3 weeks ago
• kermitt2 / biblio_glutton_harvester
  Open Access PDF harvester
  ☆39Updated 11 months ago
• MedKhem / grobid-dictionaries
  ☆32Updated 2 years ago
• CLLKazan / OntoMathPro
  This ontology is a Linked Data Hub for mathematics
  ☆58Updated last year
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆45Updated 2 weeks ago