Alternatives and similar repositories for hpmor

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

• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 13 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
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆49Updated this week
• sanity / LastCalc
  More than just a web-based calculator, a powerful programming language with unique features
  ☆92Updated 9 years ago
• Xe / xultybau
  Metalanguage analysis
  ☆10Updated 7 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆77Updated last year
• Ngnghm / ngnghm.github.io
  Houyhnhnm Computing
  ☆23Updated last year
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• meithecatte / rustc-sat
  Makes rustc's exhaustiveness checker solve SAT problems
  ☆16Updated 4 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆26Updated 7 months ago
• stassa / Gleemin
  A Magic: the Gathering™ expert system
  ☆95Updated 14 years ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 6 years ago
• aindilis / frdcsa-panoply-git-20200329
  How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)
  ☆12Updated 3 years ago
• pcorey / julia-templeos
  Julia set generator written for TempleOS
  ☆24Updated 10 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆116Updated 7 years ago
• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆32Updated 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago
• ericastor / rmzoo
  ☆14Updated last year
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆37Updated 7 years ago
• cslarsen / busy-beaver
  Calculates the uncomputable Busy Beaver Σ-function
  ☆11Updated 9 years ago
• briangu / chearch
  Chearch is a simple search engine written in Cray's Chapel language.
  ☆34Updated 4 years ago
• oriansj / mes-m2
  Making Mes.c M2-Planet friendly
  ☆30Updated 3 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆57Updated 9 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆29Updated 2 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• xldenis / besm
  Resurrecting PP-BESM
  ☆27Updated 2 months ago