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:
- An alternative frontend for LessWrong 2.0☆77Updated 2 weeks ago
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆44Updated last year
- Background daemon which archives a list of URLs to the Internet Archive, archive.is, and other services☆59Updated 2 years ago
- P.D. Magnus' forallx logic textbook☆68Updated 8 months ago
- Jupyter notebooks for Dyalog APL☆45Updated last year
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆94Updated 4 years ago
- Find out just how sure you should be, and get better at being only as sure as the facts justify.☆73Updated last year
- Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat☆121Updated 7 months ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- A Lisp written in about 200 lines of Ink, featuring an interactive literate programming notebook☆44Updated 4 years ago
- Free Life Planner: An AI tool for helping with planning for day-to-day life.☆71Updated last year
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated last year
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 3 years ago
- A web app for recursive question-answering with pointers☆39Updated 2 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆44Updated 7 months ago
- Spaced-repetition using Hypothes.is☆29Updated 4 years ago
- Dyalog APL ←→ Python interface☆82Updated last month
- Dyalog APL Extended☆28Updated last year
- A place to put our 2018 Xena project UROP thoughts and programs.☆26Updated 5 years ago
- AI course project template, inspired by Terry Winograd's classic Shrdlu system☆40Updated 7 years ago
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…☆29Updated 6 months ago
- ☆87Updated 3 years ago
- Source of metamath book☆51Updated last year
- Metamath verifier in Python☆40Updated 6 months ago
- Solves Mazes taking an image input, along with the starting and ending points. There are two Algorithms here which solve mazes. One of th…☆18Updated 2 years ago
- How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)☆12Updated 2 years ago
- A Jupyter kernel for Dyalog APL☆75Updated last month
- EA Forum Reader: a fast and JavaScript-free way to browse the Effective Altruism Forum (and LessWrong 2.0)☆12Updated 5 months ago