Alternatives and similar repositories for hpmor:

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

• ljedrz / blc
  Binary lambda calculus
  ☆10Updated 7 years ago
• advancedresearch / lojban
  A Lojban parser in Piston-Meta
  ☆24Updated 3 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• theoremprover-museum / HOL88
  The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degre…
  ☆10Updated 8 years ago
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆30Updated 2 weeks ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated 5 months ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 7 months ago
• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆30Updated 3 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆48Updated last month
• sorear / smm
  sorear's Metamath system engine
  ☆13Updated 8 years ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆19Updated 12 years ago
• speedata / examples
  speedata Publisher examples
  ☆30Updated 6 months ago
• alexchandel / ld9
  The outline of a cross-linker from OS X to Plan 9.
  ☆8Updated 10 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
• ericastor / rmzoo
  ☆14Updated last year
• leahneukirchen / te
  tiny emacs
  ☆26Updated 3 years ago
• Xe / xultybau
  Metalanguage analysis
  ☆11Updated 6 years ago
• oriansj / mes-m2
  Making Mes.c M2-Planet friendly
  ☆30Updated 2 years ago
• michaelmelanson / riscy
  A software implementation of a RISC-V computer
  ☆20Updated 3 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• eholk / rust-stl
  Stereo lithography file support for Rust.
  ☆11Updated last year
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆30Updated 3 years ago
• briangu / chearch
  Chearch is a simple search engine written in Cray's Chapel language.
  ☆33Updated 3 years ago
• skeeto / british-square
  British Square Engine (Analysis and Perfect AI Player)
  ☆16Updated 4 years ago
• sipb / homeworld
  Cluster management system for the SIPB Hyades project
  ☆22Updated 2 years ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 3 years ago
• betrusted-io / xous-book
  Documentation on the Xous operating system
  ☆31Updated 9 months ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆25Updated last year
• chalcolith / rslogic
  A logic programming library (inspired by uKanren) in Rust.
  ☆19Updated 9 years ago