bogdanb / hpmorLinks
Latex version of “Harry Potter and the Methods of Rationality”
☆12Updated 2 years ago
Alternatives and similar repositories for hpmor
Users that are interested in hpmor are comparing it to the libraries listed below
Sorting:
- Compiler for MFM programming language☆22Updated 4 months ago
- A comprehensive graph of mathematical domains and topics☆22Updated 3 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 7 months ago
- LODA Programs for Integer Sequences☆35Updated this week
- Notes, Questions, Ideas☆23Updated 7 years ago
- ☆13Updated last year
- sorear's Metamath system engine☆13Updated 9 years ago
- 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…☆16Updated 3 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 2 months ago
- Quipu Programming Language☆20Updated 12 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆57Updated 16 years ago
- Runtime and miner for the LODA language written in C++☆25Updated this week
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆22Updated 2 years ago
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- Visualiser for basic geometric primitives and fractals in arbitrary-dimensional spaces☆42Updated 8 years ago
- things that don't deserve their own repo☆64Updated last week
- 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
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated last month
- Metamath verifier in Python☆40Updated 3 weeks ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Pijul <-> Git proxy☆21Updated 6 years ago
- Binary lambda calculus☆10Updated 7 years ago
- An automated approach to the Collatz conjecture☆13Updated last year
- A general purpose relational language☆19Updated 5 years ago
- Making Mes.c M2-Planet friendly☆30Updated 3 years ago
- My unofficial picat http://picat-lang.org/ repository☆29Updated last year
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated 8 months ago
- modal logic library for LEAN theorem prover☆11Updated 7 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Updated 7 years ago