Alternatives and similar repositories for hpmor

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

• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆25Updated 4 months ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆58Updated 16 years ago
• Xe / xultybau
  Metalanguage analysis
  ☆10Updated 6 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• stassa / Gleemin
  A Magic: the Gathering™ expert system
  ☆95Updated 13 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆172Updated 2 weeks ago
• rdebath / LostKingdom
  Jon Ripley's Brainfuck Lost Kingdom running in your browser.
  ☆46Updated 6 months ago
• mekarpeles / math.mx
  A comprehensive graph of mathematical domains and topics
  ☆22Updated 3 years ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆48Updated last month
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• ericastor / rmzoo
  ☆14Updated last year
• 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 2 years ago
• mdsteele / syzygy
  A narrative meta-puzzle game
  ☆48Updated 3 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆30Updated last year
• briangu / chearch
  Chearch is a simple search engine written in Cray's Chapel language.
  ☆34Updated 4 years ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 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
• xldenis / besm
  Resurrecting PP-BESM
  ☆26Updated last week
• Ngnghm / ngnghm.github.io
  Houyhnhnm Computing
  ☆21Updated 8 months ago
• kragen / dercuano
  a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…
  ☆15Updated 3 years ago
• melvinzhang / binary-lambda-calculus
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆35Updated 8 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆31Updated 4 years ago
• cslarsen / busy-beaver
  Calculates the uncomputable Busy Beaver Σ-function
  ☆11Updated 9 years ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆27Updated last year
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• tekknolagi / tekknolagi.github.com
  My personal website
  ☆101Updated this week
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆50Updated 8 years ago