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:
- An alternative frontend for LessWrong 2.0☆70Updated this week
- 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 7 months ago
- a writeup on some experiments on a sequence model for chess games☆30Updated 3 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- Anki deck: Some key numbers that every effective altruist should know.☆24Updated last year
- A Discord bot for the Robert Miles AI server☆38Updated 4 months ago
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated 8 months ago
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆44Updated last year
- 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
- ☆21Updated 3 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated last year
- Compiler for MFM programming language☆22Updated 4 months ago
- Learn Lean and topology☆20Updated 2 years ago
- Linear algebra visualizations☆12Updated 3 years ago
- Command-line recursive question-answering with immutable contexts and explicit data store☆26Updated 6 years ago
- A number guessing game with a p-adic twist.☆9Updated last year
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- EA Forum Reader: a fast and JavaScript-free way to browse the Effective Altruism Forum (and LessWrong 2.0)☆12Updated 2 weeks ago
- Dyalog APL Extended☆28Updated last year
- Dyalog APL ←→ Python interface☆79Updated 5 months ago
- Accompanying codebase for neuroscope.io, a website for displaying max activating dataset examples for language model neurons☆12Updated 2 years ago
- modal logic library for LEAN theorem prover☆11Updated 7 years ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated 7 months ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Background daemon which archives a list of URLs to the Internet Archive, archive.is, and other services☆58Updated last year
- A math language for dimensional analysis☆23Updated 2 years ago
- ☆15Updated 2 years ago
- A web app for recursive question-answering with pointers☆39Updated 2 years ago
- ☆10Updated 7 years ago