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
  ☆69Updated last week
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆64Updated 2 months ago
• 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 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 5 months ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• bollu / lean-to
  Jupyter notebook for the Lean4 programming language
  ☆24Updated 3 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 5 months ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• djvelleman / HTPILeanPackage
  ☆29Updated 3 months ago
• fargonauts / copycat
  Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
  ☆121Updated 5 years ago
• ricsonc / transformers-play-chess
  a writeup on some experiments on a sequence model for chess games
  ☆30Updated 3 years ago
• leanprover-community / leanprover-community.github.io
  Hosts the website for mathlib and other Lean community infrastructure.
  ☆62Updated this week
• leanprover / lean-client-js
  ☆38Updated last year
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆11Updated 7 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• oughtinc / hch
  Humans consulting HCH
  ☆10Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• zhangir-azerbayev / lean-chat-vscode
  ☆25Updated 2 years ago
• StampyAI / stampy
  A Discord bot for the Robert Miles AI server
  ☆38Updated 2 months ago
• Quuxplusone / TNT
  Douglas Hofstadter's "Typographical Number Theory"
  ☆16Updated last year
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 3 years ago
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆29Updated 2 years ago
• FabienRoger / WInfoForTwitter
  WInfoForTwitter is a Chrome extension that enables users to see the most relevant Wikipedia sentences related to any given tweet. This re…
  ☆9Updated 3 years ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆22Updated last year
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆42Updated 11 months ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• ianarawjo / notate-jupyter
  Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.
  ☆36Updated 2 years ago