machine-intelligence / arbital-open-source
Open source code for Arbital
☆14Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for arbital-open-source
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 3 months ago
- An alternative frontend for LessWrong 2.0☆64Updated last week
- Jupyter notebooks for Dyalog APL☆41Updated 5 months ago
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆41Updated 7 months ago
- VSCode extension for Metamath☆10Updated last month
- OpenCog Attention Allocation Subsystem☆12Updated last year
- A math language for dimensional analysis☆22Updated last year
- A web app for recursive question-answering with pointers☆37Updated last year
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 4 years ago
- Command-line recursive question-answering with immutable contexts and explicit data store☆24Updated 6 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- Next-action: determine the next action to work on from a list of actions in a todo.txt file☆16Updated this week
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 4 years ago
- Logic-based meal optimizer☆15Updated 3 years ago
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated last month
- A place to put our 2018 Xena project UROP thoughts and programs.☆24Updated 4 years ago
- Agora Server implementation for the Agora (flancia.org/go/agora).☆55Updated this week
- Binary rational numbers in Coq [maintainer=@herbelin]☆12Updated 10 months ago
- gpt completions in vscode☆30Updated last year
- A collection of libraries in Scheme☆12Updated 3 years ago
- An Ink library for automatic text summarization☆14Updated 3 years ago
- Embed and execute SQL in Markdown☆13Updated 8 months ago
- Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))☆20Updated 5 months ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated 5 months ago
- An instrument for quantifying, understanding, and optimizing your thinking.☆23Updated 2 years ago
- Spaced-repetition using Hypothes.is☆29Updated 3 years ago
- Extending conceptual thinking with semantic embeddings.☆36Updated 3 years ago
- Generate a static HTML archive of messages in any combination of streams in a Zulip organization.☆74Updated last year
- Humans consulting HCH☆10Updated 7 years ago
- A command line interface to run scripts on Anki☆20Updated 3 years ago