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
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆57Updated last month
• 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
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆27Updated 2 months ago
• stevenliuyi / wikidata-prop-explorer
  Wikidata property explorer
  ☆17Updated last year
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆140Updated 3 weeks ago
• kkalouli / GKR_semantic_parser
  The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph
  ☆13Updated 3 years ago
• TriplyDB / YALC
  🕸 YALC: Yet Another LOD Cloud (registry of Linked Open Datasets).
  ☆16Updated last year
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆15Updated 7 months ago
• mseri / doi2bib
  Small CLI to get a bibtex entry from a DOI, an arXiv ID or a PubMed ID
  ☆59Updated this week
• jmccrae / lemon-model.net
  Source for lemon-model.net
  ☆11Updated 3 years ago
• ontolex / ontolex
  Ontolex modules
  ☆33Updated 4 months ago
• kornai / 4lang
  Concept dictionary
  ☆38Updated last year
• EngineeringSoftware / roosterize
  Tool for suggesting lemma names in Coq verification projects
  ☆20Updated 2 years ago
• gchrupala / morfette
  Supervised learning of morphology
  ☆28Updated 8 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆20Updated 2 years ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated last week
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last year
• joshsh / jig
  A JavaScript-based interface for graph traversal
  ☆18Updated 2 years ago
• CLLKazan / OntoMathPro
  This ontology is a Linked Data Hub for mathematics
  ☆58Updated last year
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆60Updated 11 months ago
• ISA-tools / stato
  This is the development repository for the STATistics Ontology (STATO). For more information and demonstration on the ontology content, p…
  ☆33Updated 4 months ago
• dwarfmaster / commutative-diagrams
  A coq plugin to deal with commutative diagrams
  ☆22Updated this week
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆48Updated last week
• kermitt2 / biblio_glutton_harvester
  Open Access PDF harvester
  ☆40Updated last year
• IBM / datascienceontology
  Data Science Ontology
  ☆38Updated last month
• softcite / softcite_kb
  A Knowledge Base for research software relying on large-scale text mining and curated knowledge sources
  ☆16Updated 2 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago
• delph-in / docs
  DELPH-IN Documentation
  ☆29Updated this week