machine-intelligence / arbital-open-source
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:
- An alternative frontend for LessWrong 2.0☆70Updated last week
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆43Updated last year
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 5 months ago
- AtomSpace Graph Database RocksDB backend☆16Updated last month
- A web app for recursive question-answering with pointers☆38Updated 2 years ago
- Anki deck: Some key numbers that every effective altruist should know.☆24Updated last year
- Next-action: determine the next action to work on from a list of actions in a todo.txt file☆16Updated 5 months ago
- A math language for dimensional analysis☆22Updated last year
- Command-line recursive question-answering with immutable contexts and explicit data store☆25Updated 6 years ago
- 🦠 AD in less than 20 lines☆54Updated 3 years ago
- Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat☆121Updated 3 weeks ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 3 years ago
- Humans consulting HCH☆10Updated 7 years ago
- a writeup on some experiments on a sequence model for chess games☆30Updated 3 years ago
- A Discord bot for the Robert Miles AI server☆38Updated 2 months ago
- Intuitionistic Programming Language☆11Updated 11 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 2 years ago
- Spaced-repetition using Hypothes.is☆29Updated 4 years ago
- modal logic library for LEAN theorem prover☆11Updated 7 years ago
- Extending conceptual thinking with semantic embeddings.☆36Updated 3 years ago
- Entrainment protocol for the sighted Non-24 circadian rhythm disorder.☆29Updated 3 months ago
- ☆29Updated 4 months ago
- ☆23Updated 11 months ago
- A command line interface to run scripts on Anki☆21Updated 4 years ago
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆185Updated 2 weeks ago
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated 6 months ago