Alternatives and similar repositories for arbital-open-source

Users that are interested in arbital-open-source are comparing it to the libraries listed below

• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆75Updated 2 weeks ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated last year
• AABoyles / LessWrong-Portable
  Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community
  ☆44Updated last year
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 8 months ago
• gwern / archiver-bot
  Background daemon which archives a list of URLs to the Internet Archive, archive.is, and other services
  ☆59Updated last year
• otherjoel / tabloid
  📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
  ☆94Updated 4 years ago
• zulip / zulip-archive
  Generate a static HTML archive of messages in any combination of streams in a Zulip organization.
  ☆82Updated 5 months ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• opencog / atomspace-rocks
  AtomSpace Graph Database RocksDB backend
  ☆17Updated 4 months ago
• thesephist / klisp
  A Lisp written in about 200 lines of Ink, featuring an interactive literate programming notebook
  ☆41Updated 4 years ago
• oughtinc / mosaic
  A web app for recursive question-answering with pointers
  ☆39Updated 2 years ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• metamath / metamath-book
  Source of metamath book
  ☆49Updated last year
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated 3 weeks ago
• aindilis / free-life-planner
  Free Life Planner: An AI tool for helping with planning for day-to-day life.
  ☆69Updated 11 months ago
• ianarawjo / notate-jupyter
  Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.
  ☆37Updated 2 years ago
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆45Updated last year
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• jethrokuan / srsly
  Spaced-repetition using Hypothes.is
  ☆29Updated 4 years ago
• fargonauts / copycat
  Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
  ☆121Updated 3 months ago
• bellroy / predictionbook
  Find out just how sure you should be, and get better at being only as sure as the facts justify.
  ☆75Updated last year
• bvschwartz / nock-step
  Watch an Urbit nock expression get processed step by step in a browser
  ☆11Updated 3 years ago
• turbomaze / 28-hour-day
  Quick calculator to experiment with a 28 hour day.
  ☆16Updated 6 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 4 months ago
• uprun / lisperanto
  Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;
  ☆44Updated 3 months ago
• riceissa / ea-forum-reader
  EA Forum Reader: a fast and JavaScript-free way to browse the Effective Altruism Forum (and LessWrong 2.0)
  ☆12Updated last month
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 years ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• supposedly / nutshell
  [alpha!] [dormant!] An advanced cellular-automaton-specification language that transpiles to Golly's.
  ☆17Updated 10 months ago