Alternatives and similar repositories for theoremkb

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

• UniFormal / MMT
  The MMT Language and System
  ☆79Updated 5 months ago
• mseri / doi2bib
  Smalls CLIs to get a bibtex entries from a DOI, an arXiv ID or a PubMed ID and to pretty print bibtex entries (or files)
  ☆64Updated last month
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆13Updated 3 months ago
• kayceesrk / cs6225_s21_iitm
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆13Updated 4 years ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆150Updated 2 months ago
• jamii / texsearch
  A search index specialised for LaTeX equations. Developed for latexsearch.com.
  ☆17Updated 14 years ago
• a-nikolaev / visualsc
  A simplicial complex and hypergraph visualization tool similar to Graphviz.
  ☆39Updated 7 years ago
• ocaml-bench / notes
  Notes and findings from our OCaml benchmarking adventures
  ☆49Updated 3 years ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆49Updated last year
• regex-generate / regenerate
  Tool to generate test-cases for regular expression engines
  ☆38Updated 2 years ago
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆18Updated last month
• smimram / strid
  A string diagram generator for LaTeX.
  ☆31Updated 2 years ago
• nobrakal / asak
  Identifying similar OCaml codes
  ☆30Updated last year
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆16Updated 3 months ago
• smimram / ocaml-pandoc
  An OCaml library for creating pandoc filters.
  ☆32Updated last year
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆63Updated last month
• mirage / spamtacus
  Ocaml modular spam filter
  ☆16Updated last year
• stevenliuyi / wikidata-prop-explorer
  Wikidata property explorer
  ☆17Updated last year
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆63Updated 2 weeks ago
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆76Updated 4 months ago
• yallop / metaocaml-syb
  Scrap Your Boilerplate for MetaOCaml with modular implicits
  ☆17Updated 10 years ago
• Octachron / tensority
  Strongly typed multidimensional array library for OCaml
  ☆53Updated last year
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆64Updated last year
• umazalakain / session-types-coq
  Formalising session types in Coq
  ☆17Updated 6 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated 2 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆60Updated 4 years ago
• freuk / obandit
  ocaml multi-armed bandit module
  ☆18Updated 5 years ago
• ComputerAidedLL / click-and-collect
  A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
  ☆24Updated 10 months ago
• gilith / opentheory
  The opentheory tool processes higher order logic theory packages
  ☆16Updated 2 years ago
• mmottl / aifad
  AIFAD - Automated Induction of Functions over Algebraic Data Types
  ☆30Updated last month