Alternatives and similar repositories for hpmor

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

• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated last month
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 5 months ago
• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆30Updated 3 years ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• jameysharp / pikevm
  An implementation of "Regular Expression Matching: the Virtual Machine Approach"
  ☆20Updated 9 months ago
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• lee-naish / Pawns
  Pawns functional/imperative programming language compiler etc
  ☆9Updated last month
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• PolySync / libsel4-sys
  Building seL4 and generating Rust bindings based on feL4 configuration
  ☆21Updated 6 years ago
• advancedresearch / lojban
  A Lojban parser in Piston-Meta
  ☆24Updated 4 years ago
• meithecatte / rustc-sat
  Makes rustc's exhaustiveness checker solve SAT problems
  ☆16Updated 3 years ago
• justinpombrio / jj-notes
  Notes on and a reference guide for the Jujutsu version control system, typeset with Typst.
  ☆29Updated 3 months 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
• genodelabs / goa
  Tool for streamlining the development of Genode applications
  ☆23Updated this week
• eudoxia0 / eudoxia0.github.io
  Personal website
  ☆18Updated last month
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• PlanetAPL / openAPL
  ☆21Updated 8 years ago
• darius / idel
  A low-level virtual machine for mobile code
  ☆12Updated 7 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 5 years ago
• jan-Lope / Toki_Pona-Parser
  Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…
  ☆51Updated 6 months ago
• paranim / libvim
  libvim: The core Vim editing engine as a minimal C library
  ☆8Updated 4 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated 11 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated last week
• mhagiwara / zmifanva
  zmifanva - Lojban ↔ English Machine Translation Engine
  ☆38Updated 2 years ago
• otherjoel / bookcover
  📘⌨️ A Racket #lang and module for making cover PDFs for printed things.
  ☆22Updated 2 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆34Updated this week