Alternatives and similar repositories for arbital-open-source

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

• AABoyles / LessWrong-Portable
  Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community
  ☆44Updated last year
• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆75Updated this week
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated last year
• guaka / deletionpedia
  Rescuing Wikipedia articles from deletion
  ☆33Updated 4 years ago
• bellroy / predictionbook
  Find out just how sure you should be, and get better at being only as sure as the facts justify.
  ☆73Updated last year
• otherjoel / tabloid
  📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
  ☆94Updated 4 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 9 months ago
• flancian / flancia
  A blog, a book, a plan.
  ☆11Updated 3 months ago
• aindilis / free-life-planner
  Free Life Planner: An AI tool for helping with planning for day-to-day life.
  ☆70Updated 11 months ago
• thesephist / klisp
  A Lisp written in about 200 lines of Ink, featuring an interactive literate programming notebook
  ☆41Updated 4 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 5 months ago
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆45Updated last year
• uprun / lisperanto
  Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;
  ☆44Updated 4 months ago
• metamath / metamath-book
  Source of metamath book
  ☆49Updated last year
• gwern / archiver-bot
  Background daemon which archives a list of URLs to the Internet Archive, archive.is, and other services
  ☆59Updated last year
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆65Updated 6 months ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• paulbricman / semantica
  Extending conceptual thinking with semantic embeddings.
  ☆36Updated 3 years ago
• quantified-uncertainty / squiggle
  This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
  ☆192Updated this week
• opencog / atomspace-rocks
  AtomSpace Graph Database RocksDB backend
  ☆18Updated last week
• bvschwartz / nock-step
  Watch an Urbit nock expression get processed step by step in a browser
  ☆11Updated 3 years ago
• ChalmersGU-AI-course / shrdlite-course-project
  AI course project template, inspired by Terry Winograd's classic Shrdlu system
  ☆40Updated 7 years ago
• abrudz / Kbd
  Alternative unified APL keyboard layouts (AltGr, Backtick, Compositions)
  ☆31Updated 3 months ago
• srikumarks / jexpr
  JSON expressions as abstract syntax notation (think "s-expressions")
  ☆18Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated 11 months ago
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 3 years ago
• oughtinc / mosaic
  A web app for recursive question-answering with pointers
  ☆39Updated 2 years ago
• neelnanda-io / Neuroscope
  Accompanying codebase for neuroscope.io, a website for displaying max activating dataset examples for language model neurons
  ☆13Updated 2 years ago