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
- An alternative frontend for LessWrong 2.0☆68Updated last month
- Jupyter notebooks for Dyalog APL☆42Updated 10 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 4 months ago
- Dyalog APL ←→ Python interface☆79Updated 2 months ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- modal logic library for LEAN theorem prover☆11Updated 7 years ago
- Command-line recursive question-answering with immutable contexts and explicit data store☆25Updated 6 years ago
- A curated list of resources on how to do the most good☆17Updated 2 years ago
- Squiggle programming language for intuitive probabilistic estimation features in Python☆65Updated last month
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆43Updated last year
- Dyalog APL Extended☆28Updated 10 months ago
- ☆28Updated 2 months ago
- Effective Altruism data visualiser. Deployed at https://effectivealtruismdata.com☆14Updated 2 years ago
- A math language for dimensional analysis☆22Updated last year
- Anki deck: Some key numbers that every effective altruist should know.☆24Updated last year
- A Jupyter kernel for Dyalog APL☆70Updated 2 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
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆169Updated this week
- 🦠 AD in less than 20 lines☆54Updated 3 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 5 months ago
- A Cellular Automaton Simulator written in Kotlin / Java☆8Updated 6 months ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 10 months ago
- Straightforward unification in Python that's extensible via generic functions.☆48Updated 6 months ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- Python tools for working with Manifold Markets☆34Updated 5 months ago
- ☆9Updated 7 months ago
- Metamath verifier in Python☆38Updated 11 months ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated 9 months ago