Alternatives and similar repositories for lesswrong_ebook_library

Users that are interested in lesswrong_ebook_library 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
  ☆43Updated last year
• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆70Updated last week
• quantified-uncertainty / squiggle
  This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
  ☆185Updated 2 weeks ago
• NunoSempere / longnow-for-markdown
  Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))
  ☆20Updated 2 months ago
• Sage-Future / fatebook
  The fastest way to make and track predictions
  ☆47Updated last month
• alexander-turner / TurnTrout.com
  A blog on AI, personal development, and living a good life.
  ☆15Updated this week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• djvelleman / HTPILeanPackage
  ☆29Updated 4 months ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆57Updated 7 months ago
• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆63Updated 3 months ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆25Updated last year
• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆34Updated 7 months ago
• srid / neuron-template
  A template to get started with neuron
  ☆86Updated 3 years ago
• thosgood / sga
  An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
  ☆33Updated 3 months ago
• sivenchinniah / Pokemanki
  ☆59Updated 2 years ago
• ActivityWatch / aw-watcher-input
  Track your keypresses and mouse movements with ActivityWatch
  ☆119Updated 7 months ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆68Updated last year
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆101Updated last year
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆82Updated last week
• jqhoogland / rationalia-starter
  An Obsidian starter kit for LessWrong, Effective Altruism, AI Alignment, etc.
  ☆13Updated 2 years ago
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆38Updated 2 weeks ago
• prathyvsh / nature-of-thought
  Catalogue on the nature and bounds of thought
  ☆27Updated 2 years ago
• varkor / tangle
  A modern string diagram editor for the web.
  ☆25Updated 3 weeks ago
• ToposInstitute / poly
  ☆114Updated 10 months ago
• xiety / AnkiPoetry
  Generates an Anki deck from poetry
  ☆22Updated last month
• nathanieljohnston / game-of-life-book
  A textbook for Conway's Game of Life.
  ☆35Updated 3 years ago
• The-Clowder-Project / the-clowder-project
  This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general
  ☆29Updated this week
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆42Updated last year
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆22Updated last year
• corollari / ankiTab
  Browser extension that replaces the new tab page with Anki flashcards
  ☆194Updated 3 years ago