Alternatives and similar repositories for hpmor

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

• Xe / xultybau
  Metalanguage analysis
  ☆11Updated 6 years ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 5 years ago
• mdsteele / syzygy
  A narrative meta-puzzle game
  ☆48Updated 3 years ago
• PolySync / libsel4-sys
  Building seL4 and generating Rust bindings based on feL4 configuration
  ☆21Updated 7 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆23Updated last month
• advancedresearch / lojban
  A Lojban parser in Piston-Meta
  ☆24Updated 4 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆57Updated 16 years ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated last year
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• mekarpeles / math.mx
  A comprehensive graph of mathematical domains and topics
  ☆22Updated 3 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• xldenis / besm
  Resurrecting PP-BESM
  ☆26Updated 2 years ago
• graydon / monotone
  distributed revision control system -- historical snapshot
  ☆78Updated 11 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• mhagiwara / zmifanva
  zmifanva - Lojban ↔ English Machine Translation Engine
  ☆39Updated 2 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆22Updated 6 years ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆26Updated last year
• genodelabs / goa
  Tool for streamlining the development of Genode applications
  ☆24Updated 2 months ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 5 years ago
• briangu / chearch
  Chearch is a simple search engine written in Cray's Chapel language.
  ☆34Updated 3 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• ocapn / syrup
  Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.
  ☆26Updated last year
• oriansj / mes-m2
  Making Mes.c M2-Planet friendly
  ☆30Updated 3 years ago
• stassa / Gleemin
  A Magic: the Gathering™ expert system
  ☆95Updated 13 years ago
• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆30Updated 4 years ago
• cslarsen / busy-beaver
  Calculates the uncomputable Busy Beaver Σ-function
  ☆11Updated 9 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 2 years ago
• lojban / jbofihe
  Parser & analyser for Lojban
  ☆36Updated 4 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• gwern / archiver-bot
  Background daemon which archives a list of URLs to the Internet Archive, archive.is, and other services
  ☆60Updated last year