Similar repositories to KWARC/bibs:

• KWARC/bibs github similar
• gibiansky/IHaskell github similar
• DiscreteZOO/DiscreteZOO-sage github similar
• jaanos/sage-drg github similar
• sagemath/git-trac-command github similar
• slatex/sTeX github similar
• bloomberg/jupyterhub-kdcauthenticator github similar
• UniFormal/MMT github similar
• EugeneLoy/coq_jupyter github similar
• OpenDreamKit/OpenDreamKit github similar
• mmatera/iwolfram github similar
• Calysto/calysto_scheme github similar
• Calysto/metakernel github similar
• sagemath/sage-windows github similar
• vega/ipyvega github similar
• FStarLang/kremlin github similar
• Calysto/matlab_kernel github similar
• UniMath/UniMath github similar
• rasbt/matplotlib-gallery github similar
• sagemath/sage github similar
• leanprover-community/mathlib github similar
• mathjax/MathJax-src github similar
• leanprover/lean github similar
• mathquill/mathquill github similar
• FStarLang/FStar github similar
• jupyter-widgets/ipywidgets github similar
• asmjit/asmjit github similar
• damianavila/RISE github similar
• bqplot/bqplot github similar
• coq/coq github similar
• jupyterhub/jupyterhub github similar
• cython/cython github similar
• zeromq/libzmq github similar
• mathjax/MathJax github similar
• jupyter/notebook github similar
• compiler-explorer/compiler-explorer github similar
• jupyterlab/jupyterlab github similar
• microsoft/WSL github similar
• jupyter/jupyter github similar
• KaTeX/KaTeX github similar