Alternatives and similar repositories for hpmor:

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

• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆19Updated 12 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 2 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆29Updated this week
• lokedhs / android-gnu-apl
  GNU APL port to Android
  ☆16Updated 10 years ago
• vmchale / phash
  Perceptual hashing command-line tool
  ☆18Updated last week
• jvns / masters-thesis
  My master's thesis, on the algebra of topological quantum computing
  ☆19Updated 10 years ago
• PlanetAPL / openAPL
  ☆21Updated 7 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆21Updated 3 months ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆23Updated last year
• coq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆12Updated last year
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• melvinzhang / binary-lambda-calculus
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆32Updated 7 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated last week
• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆65Updated last month
• ljedrz / blc
  Binary lambda calculus
  ☆9Updated 7 years ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 3 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆10Updated 7 years ago
• wolfgangj / okami
  okami is an application development platform
  ☆34Updated 5 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆41Updated 2 years ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 5 months ago
• advancedresearch / lojban
  A Lojban parser in Piston-Meta
  ☆23Updated 3 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆23Updated last year
• 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…
  ☆14Updated 3 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆56Updated 16 years ago
• npe9 / aop
  Art of Prolog Code
  ☆35Updated 5 years ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆27Updated 4 years ago
• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆30Updated 3 years ago