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
  ☆65Updated last month
• AABoyles / LessWrong-Portable
  Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community
  ☆42Updated 10 months ago
• neelnanda-io / Neuroscope
  Accompanying codebase for neuroscope.io, a website for displaying max activating dataset examples for language model neurons
  ☆11Updated last year
• benthamite / EA-numbers
  Anki deck: Some key numbers that every effective altruist should know.
  ☆24Updated last year
• oughtinc / mosaic
  A web app for recursive question-answering with pointers
  ☆38Updated 2 years ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆22Updated last year
• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆34Updated 3 months ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 4 years ago
• NicoleJaneway / ea-software-engineers
  list of projects related to EA Software Engineers
  ☆28Updated last year
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆42Updated 8 months ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• coq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆12Updated last year
• rethinkpriorities / squigglepy
  Squiggle programming language for intuitive probabilistic estimation features in Python
  ☆65Updated this 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 2 years ago
• guaka / deletionpedia
  Rescuing Wikipedia articles from deletion
  ☆31Updated 4 years ago
• redwoodresearch / mlab
  Machine Learning for Alignment Bootcamp
  ☆70Updated 2 years ago
• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆64Updated this week
• nickkeesG / Pantheon
  Experimental LLM interface exploring new ways to use AI to improve human thinking
  ☆15Updated 2 months ago
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆10Updated 7 years ago
• oughtinc / hch
  Humans consulting HCH
  ☆10Updated 7 years ago
• ricsonc / transformers-play-chess
  a writeup on some experiments on a sequence model for chess games
  ☆28Updated 3 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 2 months ago
• flancian / flancia
  A blog, a book, a plan.
  ☆10Updated 6 months ago
• StampyAI / stampy
  A Discord bot for the Robert Miles AI server
  ☆38Updated 2 weeks ago
• quantified-uncertainty / squiggle
  An estimation language
  ☆163Updated last week
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 2 months ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆11Updated 7 years ago
• NunoSempere / longnow-for-markdown
  Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))
  ☆20Updated 7 months ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• mwcvitkovic / neuromodulation_modalities
  Every way to change your mind
  ☆41Updated last month