machine-intelligence / arbital-open-sourceLinks
Open source code for Arbital
☆14Updated 7 years ago
Alternatives and similar repositories for arbital-open-source
Users that are interested in arbital-open-source are comparing it to the libraries listed below
Sorting:
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆44Updated last month
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- An alternative frontend for LessWrong 2.0☆78Updated last month
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated last year
- A web app for recursive question-answering with pointers☆39Updated 3 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- Free Life Planner: An AI tool for helping with planning for day-to-day life.☆70Updated last year
- AI course project template, inspired by Terry Winograd's classic Shrdlu system☆40Updated 8 years ago
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 3 years ago
- Intuitionistic Programming Language☆12Updated 12 years ago
- A Lisp written in about 200 lines of Ink, featuring an interactive literate programming notebook☆44Updated 4 years ago
- A comprehensive graph of mathematical domains and topics☆23Updated 4 years ago
- A math language for dimensional analysis☆23Updated 2 years ago
- A blog, a book, a plan.☆11Updated 8 months ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 17 years ago
- IPython-based debugging and exploring - a collection of auxiliary functions☆16Updated 4 months ago
- Find out just how sure you should be, and get better at being only as sure as the facts justify.☆74Updated 2 years ago
- Generate a static HTML archive of messages in any combination of streams in a Zulip organization.☆82Updated last month
- Metamath verifier in Python☆41Updated 8 months ago
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆95Updated 5 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆49Updated this week
- A place to put our 2018 Xena project UROP thoughts and programs.☆26Updated 5 years ago
- Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat☆122Updated 9 months ago
- Lyspen (previously Lisperanto) is an AST structured editor.☆44Updated 2 weeks ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆71Updated 11 months ago
- Source of metamath book☆55Updated 2 years ago
- Background daemon which archives a list of URLs to the Internet Archive, archive.is, and other services☆61Updated 2 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Updated 2 years ago
- Anki deck: Some key numbers that every effective altruist should know.☆26Updated 2 years ago