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
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• riceissa / ea-forum-reader
  EA Forum Reader: a fast and JavaScript-free way to browse the Effective Altruism Forum (and LessWrong 2.0)
  ☆12Updated 3 months ago
• 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
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• 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.
  ☆81Updated 6 months 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
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 11 years ago
• aindilis / free-life-planner
  Free Life Planner: An AI tool for helping with planning for day-to-day life.
  ☆70Updated last year
• 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
• srikumarks / jexpr
  JSON expressions as abstract syntax notation (think "s-expressions")
  ☆18Updated last year
• bvschwartz / nock-step
  Watch an Urbit nock expression get processed step by step in a browser
  ☆11Updated 3 years ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated last year
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 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
• Circadiaware / VLiDACMel-entrainment-therapy-non24
  Entrainment protocol for the sighted Non-24 circadian rhythm disorder.
  ☆29Updated 7 months ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 10 months ago
• gtw123 / OpusSolver
  Autosolver for Opus Magnum puzzles
  ☆64Updated 10 months ago
• jonathanpaulson / grabby_aliens
  ☆87Updated 3 years ago
• thesephist / klisp
  A Lisp written in about 200 lines of Ink, featuring an interactive literate programming notebook
  ☆41Updated 4 years ago
• aindilis / frdcsa-panoply-git-20200329
  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
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 3 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated 2 months ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆58Updated 16 years ago
• quantified-uncertainty / squiggle
  This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
  ☆193Updated last week
• ianarawjo / notate-jupyter
  Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.
  ☆37Updated 2 years ago