machine-intelligence / arbital-open-sourceLinks
Open source code for Arbital
☆14Updated 6 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:
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 6 months ago
- An alternative frontend for LessWrong 2.0☆70Updated last week
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆43Updated last year
- ☆10Updated 7 years ago
- A curated list of resources on how to do the most good☆17Updated 2 years ago
- EA Forum Reader: a fast and JavaScript-free way to browse the Effective Altruism Forum (and LessWrong 2.0)☆12Updated 3 years ago
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated 7 months ago
- Find out just how sure you should be, and get better at being only as sure as the facts justify.☆74Updated last year
- Leibniz - a Digital Scientific Notation☆34Updated last month
- Accompanying codebase for neuroscope.io, a website for displaying max activating dataset examples for language model neurons☆12Updated 2 years ago
- a writeup on some experiments on a sequence model for chess games☆30Updated 3 years ago
- A self-contained repository for my various Anki decks for Mathematics☆22Updated last year
- A web app for recursive question-answering with pointers☆39Updated 2 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 2 years ago
- ☆38Updated 2 years ago
- Linear algebra visualizations☆12Updated 3 years ago
- An Ink library for automatic text summarization☆15Updated 3 years ago
- Anki deck: Some key numbers that every effective altruist should know.☆24Updated last year
- Command-line recursive question-answering with immutable contexts and explicit data store☆26Updated 6 years ago
- Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…☆30Updated 4 months ago
- A Discord bot for the Robert Miles AI server☆38Updated 3 months ago
- Douglas Hofstadter's "Typographical Number Theory"☆16Updated last year
- JavaScript expression parsing, MathML rendering and CAS.☆16Updated 3 weeks ago
- How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)☆11Updated 2 years ago
- ☆9Updated 10 months ago
- Learn Lean and topology☆21Updated 2 years ago
- 🦠 AD in less than 20 lines☆54Updated 3 years ago
- Catalog of visual lambda calculi☆140Updated last month