Alternatives and similar repositories for hpmor

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

• Xe / xultybau
  Metalanguage analysis
  ☆10Updated 7 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆58Updated 17 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆49Updated this week
• ericastor / rmzoo
  ☆14Updated last year
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆26Updated 7 months ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆29Updated 2 years ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 13 years ago
• xldenis / besm
  Resurrecting PP-BESM
  ☆27Updated last month
• rdebath / LostKingdom
  Jon Ripley's Brainfuck Lost Kingdom running in your browser.
  ☆45Updated 9 months ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆57Updated 9 years ago
• mekarpeles / math.mx
  A comprehensive graph of mathematical domains and topics
  ☆23Updated 4 years ago
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 7 months ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 years ago
• oriansj / mes-m2
  Making Mes.c M2-Planet friendly
  ☆30Updated 3 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• lojban / jbofihe
  Parser & analyser for Lojban
  ☆39Updated 2 months ago
• graydon / monotone
  distributed revision control system -- historical snapshot
  ☆79Updated 12 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆77Updated last year
• metamath / metamath-book
  Source of metamath book
  ☆55Updated 2 years ago
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆37Updated last week
• melvinzhang / binary-lambda-calculus
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆35Updated 8 years ago
• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆31Updated 4 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆197Updated 2 weeks ago
• stassa / metasplain
  Explainable machine learning
  ☆17Updated 6 years ago