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
  ☆74Updated last week
• 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 10 months ago
• gwern / archiver-bot
  Background daemon which archives a list of URLs to the Internet Archive, archive.is, and other services
  ☆59Updated 2 years ago
• otherjoel / tabloid
  📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
  ☆94Updated 4 years ago
• flancian / flancia
  A blog, a book, a plan.
  ☆11Updated 4 months ago
• guaka / deletionpedia
  Rescuing Wikipedia articles from deletion
  ☆34Updated last week
• riceissa / ea-forum-reader
  EA Forum Reader: a fast and JavaScript-free way to browse the Effective Altruism Forum (and LessWrong 2.0)
  ☆12Updated 4 months ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆45Updated last year
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆68Updated 6 months ago
• jethrokuan / srsly
  Spaced-repetition using Hypothes.is
  ☆29Updated 4 years ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆12Updated 7 years ago
• flancian / agora-server
  Agora Server implementation for the Agora (flancia.org/go/agora).
  ☆62Updated this week
• oughtinc / mosaic
  A web app for recursive question-answering with pointers
  ☆39Updated 2 years ago
• benthamite / EA-numbers
  Anki deck: Some key numbers that every effective altruist should know.
  ☆25Updated 2 years ago
• uprun / lisperanto
  Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;
  ☆45Updated 5 months ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• aindilis / free-life-planner
  Free Life Planner: An AI tool for helping with planning for day-to-day life.
  ☆69Updated last year
• srikumarks / jexpr
  JSON expressions as abstract syntax notation (think "s-expressions")
  ☆18Updated last year
• henryaj / awesome-effective-altruism
  A curated list of resources on how to do the most good
  ☆17Updated 2 months ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆70Updated 7 months ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆15Updated last year
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 11 years ago
• Dyalog / HttpCommand
  A utility to manage HTTP requests from APL
  ☆11Updated 2 months ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆20Updated 6 years ago
• Dyalog / pynapl
  Dyalog APL ←→ Python interface
  ☆79Updated this week
• tromp / tromp.github.io
  John Tromp homepage
  ☆25Updated this week