+2

.gitignore

View file Reviewed

··· 127 127 128 128 # Pyre type checker 129 129 .pyre/ 130 130 + 131 131 + **/.DS_Store

+1 -1

README.md

View file Reviewed

··· 37 37 <a href="https://leanprover.github.io/"><img src="https://leanprover.github.io/images/lean_logo.svg" alt="lean" width="80" height="80"/></a> 38 38 <a href="https://github.com/utensil?direction=desc&language=rust&sort=stars&tab=stars"><img src="https://cdn.jsdelivr.net/gh/devicons/devicon/icons/rust/rust-plain.svg" alt="rust" width="80" height="80"/></a> 39 39 <a href="https://dl.acm.org/doi/abs/10.1145/3386320"><img src="https://cdn.jsdelivr.net/gh/devicons/devicon/icons/cplusplus/cplusplus-original.svg" alt="cplusplus" width="80" height="80"/></a> 40 40 - <!-- <a href=""><img src="https://devicons.github.io/devicon/devicon.git/icons/java/java-original-wordmark.svg" alt="java" width="80" height="80"/></a> --> 41 40 <a href="https://github.com/utensil?direction=desc&language=javascript&sort=stars&tab=stars"><img src="https://cdn.jsdelivr.net/gh/devicons/devicon/icons/javascript/javascript-original.svg" alt="javascript" width="80" height="80"/></a> 42 41 <a href="https://github.com/utensil?direction=desc&language=julia&sort=stars&tab=stars"><img src="https://julialang.org/assets/infra/logo.svg" alt="julia" width="80" height="80"/></a> 43 42 <a href="https://github.com/utensil?direction=desc&language=python&sort=stars&tab=stars"><img src="https://cdn.jsdelivr.net/gh/devicons/devicon/icons/python/python-original-wordmark.svg" alt="python" width="80" height="80"/></a> 44 43 <a href="http://railscasts.com/"><img src="https://cdn.jsdelivr.net/gh/devicons/devicon/icons/ruby/ruby-original-wordmark.svg" alt="ruby" width="80" height="80"/></a> 44 44 + <!-- <a href=""><img src="https://cdn.jsdelivr.net/gh/devicons/devicon/icons/java/java-original-wordmark.svg" alt="java" width="80" height="80"/></a> --> 45 45 </p> 46 46 47 47 <!-- **Tech Stack:** -->

+8

images/README.md

View file Reviewed

··· 1 1 + # Images 2 2 + 3 3 + This directory contains a series of images from various sources. 4 4 + 5 5 + ## Programming Languages 6 6 + 7 7 + Most of the images are icons from [devicon](https://github.com/devicons/devicon), and some are logos from the official website. 8 8 +

+1

images/cplusplus-original.svg

View file Reviewed

··· 1 1 + <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 128 128"><path fill="#D26383" d="M115.4 30.7L67.1 2.9c-.8-.5-1.9-.7-3.1-.7-1.2 0-2.3.3-3.1.7l-48 27.9c-1.7 1-2.9 3.5-2.9 5.4v55.7c0 1.1.2 2.4 1 3.5l106.8-62c-.6-1.2-1.5-2.1-2.4-2.7z"/><path fill="#9C033A" d="M10.7 95.3c.5.8 1.2 1.5 1.9 1.9l48.2 27.9c.8.5 1.9.7 3.1.7 1.2 0 2.3-.3 3.1-.7l48-27.9c1.7-1 2.9-3.5 2.9-5.4V36.1c0-.9-.1-1.9-.6-2.8l-106.6 62z"/><path fill="#fff" d="M85.3 76.1C81.1 83.5 73.1 88.5 64 88.5c-13.5 0-24.5-11-24.5-24.5s11-24.5 24.5-24.5c9.1 0 17.1 5 21.3 12.5l13-7.5c-6.8-11.9-19.6-20-34.3-20-21.8 0-39.5 17.7-39.5 39.5s17.7 39.5 39.5 39.5c14.6 0 27.4-8 34.2-19.8l-12.9-7.6z"/><path d="M82.1 61.8h5.2v-5.3h4.4v5.3H97v4.4h-5.3v5.2h-4.4v-5.2h-5.2v-4.4zm18.5 0h5.2v-5.3h4.4v5.3h5.3v4.4h-5.3v5.2h-4.4v-5.2h-5.2v-4.4z" fill="#fff"/></svg>

+1

images/java-original-wordmark.svg

View file Reviewed

··· 1 1 + <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 128 128"><path fill="#0074BD" d="M52.581 67.817s-3.284 1.911 2.341 2.557c6.814.778 10.297.666 17.805-.753 0 0 1.979 1.237 4.735 2.309-16.836 7.213-38.104-.418-24.881-4.113zm-2.059-9.415s-3.684 2.729 1.945 3.311c7.28.751 13.027.813 22.979-1.103 0 0 1.373 1.396 3.536 2.157-20.352 5.954-43.021.469-28.46-4.365z"/><path fill="#EA2D2E" d="M67.865 42.431c4.151 4.778-1.088 9.074-1.088 9.074s10.533-5.437 5.696-12.248c-4.519-6.349-7.982-9.502 10.771-20.378.001 0-29.438 7.35-15.379 23.552z"/><path fill="#0074BD" d="M90.132 74.781s2.432 2.005-2.678 3.555c-9.716 2.943-40.444 3.831-48.979.117-3.066-1.335 2.687-3.187 4.496-3.576 1.887-.409 2.965-.334 2.965-.334-3.412-2.403-22.055 4.719-9.469 6.762 34.324 5.563 62.567-2.506 53.665-6.524zm-35.97-26.134s-15.629 3.713-5.534 5.063c4.264.57 12.758.439 20.676-.225 6.469-.543 12.961-1.704 12.961-1.704s-2.279.978-3.93 2.104c-15.874 4.175-46.533 2.23-37.706-2.038 7.463-3.611 13.533-3.2 13.533-3.2zM82.2 64.317c16.135-8.382 8.674-16.438 3.467-15.353-1.273.266-1.845.496-1.845.496s.475-.744 1.378-1.063c10.302-3.62 18.223 10.681-3.322 16.345 0 0 .247-.224.322-.425z"/><path fill="#EA2D2E" d="M72.474 1.313s8.935 8.939-8.476 22.682c-13.962 11.027-3.184 17.313-.006 24.498-8.15-7.354-14.128-13.828-10.118-19.852 5.889-8.842 22.204-13.131 18.6-27.328z"/><path fill="#0074BD" d="M55.749 87.039c15.484.99 39.269-.551 39.832-7.878 0 0-1.082 2.777-12.799 4.981-13.218 2.488-29.523 2.199-39.191.603 0 0 1.98 1.64 12.158 2.294z"/><path fill="#EA2D2E" d="M94.866 100.181h-.472v-.264h1.27v.264h-.47v1.317h-.329l.001-1.317zm2.535.066h-.006l-.468 1.251h-.216l-.465-1.251h-.005v1.251h-.312v-1.581h.457l.431 1.119.432-1.119h.454v1.581h-.302v-1.251zm-44.19 14.79c-1.46 1.266-3.004 1.978-4.391 1.978-1.974 0-3.045-1.186-3.045-3.085 0-2.055 1.146-3.56 5.738-3.56h1.697v4.667h.001zm4.031 4.548v-14.077c0-3.599-2.053-5.973-6.997-5.973-2.886 0-5.416.714-7.473 1.622l.592 2.493c1.62-.595 3.715-1.147 5.771-1.147 2.85 0 4.075 1.147 4.075 3.521v1.779h-1.424c-6.921 0-10.044 2.685-10.044 6.723 0 3.479 2.058 5.456 5.933 5.456 2.49 0 4.351-1.028 6.088-2.533l.316 2.137h3.163v-.001zm13.452 0h-5.027l-6.051-19.689h4.391l3.756 12.099.835 3.635c1.896-5.258 3.24-10.596 3.912-15.733h4.271c-1.143 6.481-3.203 13.598-6.087 19.688zm19.288-4.548c-1.465 1.266-3.01 1.978-4.392 1.978-1.976 0-3.046-1.186-3.046-3.085 0-2.055 1.149-3.56 5.736-3.56h1.701v4.667h.001zm4.033 4.548v-14.077c0-3.599-2.059-5.973-6.999-5.973-2.889 0-5.418.714-7.475 1.622l.593 2.493c1.62-.595 3.718-1.147 5.774-1.147 2.846 0 4.074 1.147 4.074 3.521v1.779h-1.424c-6.923 0-10.045 2.685-10.045 6.723 0 3.479 2.056 5.456 5.93 5.456 2.491 0 4.349-1.028 6.091-2.533l.318 2.137h3.163v-.001zm-56.693 3.346c-1.147 1.679-3.005 3.008-5.037 3.757l-1.989-2.345c1.547-.794 2.872-2.075 3.489-3.269.532-1.063.753-2.43.753-5.701V92.891h4.284v22.173c0 4.375-.348 6.144-1.5 7.867z"/></svg>

+1

images/javascript-original.svg

View file Reviewed

··· 1 1 + <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 128 128"><path fill="#F0DB4F" d="M1.408 1.408h125.184v125.185H1.408z"/><path fill="#323330" d="M116.347 96.736c-.917-5.711-4.641-10.508-15.672-14.981-3.832-1.761-8.104-3.022-9.377-5.926-.452-1.69-.512-2.642-.226-3.665.821-3.32 4.784-4.355 7.925-3.403 2.023.678 3.938 2.237 5.093 4.724 5.402-3.498 5.391-3.475 9.163-5.879-1.381-2.141-2.118-3.129-3.022-4.045-3.249-3.629-7.676-5.498-14.756-5.355l-3.688.477c-3.534.893-6.902 2.748-8.877 5.235-5.926 6.724-4.236 18.492 2.975 23.335 7.104 5.332 17.54 6.545 18.873 11.531 1.297 6.104-4.486 8.08-10.234 7.378-4.236-.881-6.592-3.034-9.139-6.949-4.688 2.713-4.688 2.713-9.508 5.485 1.143 2.499 2.344 3.63 4.26 5.795 9.068 9.198 31.76 8.746 35.83-5.176.165-.478 1.261-3.666.38-8.581zM69.462 58.943H57.753l-.048 30.272c0 6.438.333 12.34-.714 14.149-1.713 3.558-6.152 3.117-8.175 2.427-2.059-1.012-3.106-2.451-4.319-4.485-.333-.584-.583-1.036-.667-1.071l-9.52 5.83c1.583 3.249 3.915 6.069 6.902 7.901 4.462 2.678 10.459 3.499 16.731 2.059 4.082-1.189 7.604-3.652 9.448-7.401 2.666-4.915 2.094-10.864 2.07-17.444.06-10.735.001-21.468.001-32.237z"/></svg>

+1

images/julia-logo.svg

View file Reviewed

··· 1 1 + <svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="320pt" height="200pt" version="1.1" viewBox="0 0 320 200"><g id="surface61"><path fill="#000" fill-opacity="1" fill-rule="nonzero" stroke="#eee" stroke-width="2" d="M 67.871094 164.3125 C 67.871094 171.847656 67.023438 177.933594 65.328125 182.566406 C 63.632812 187.203125 61.222656 190.800781 58.09375 193.363281 C 54.96875 195.925781 51.21875 197.640625 46.847656 198.507812 C 42.476562 199.371094 37.613281 199.804688 32.265625 199.804688 C 25.027344 199.804688 19.488281 198.675781 15.648438 196.414062 C 11.804688 194.152344 9.882812 191.441406 9.882812 188.273438 C 9.882812 185.636719 10.953125 183.414062 13.101562 181.605469 C 15.25 179.796875 18.132812 178.894531 21.75 178.894531 C 24.464844 178.894531 26.632812 179.628906 28.25 181.097656 C 29.871094 182.566406 31.210938 184.019531 32.265625 185.449219 C 33.46875 187.03125 34.488281 188.085938 35.316406 188.613281 C 36.144531 189.140625 36.898438 189.40625 37.578125 189.40625 C 39.007812 189.40625 40.101562 188.558594 40.855469 186.863281 C 41.609375 185.167969 41.984375 181.871094 41.984375 176.972656 L 41.984375 84.050781 L 67.871094 76.929688 L 67.871094 164.3125 M 104.738281 79.414062 L 104.738281 139.214844 C 104.738281 140.875 105.058594 142.4375 105.699219 143.90625 C 106.339844 145.375 107.226562 146.640625 108.355469 147.695312 C 109.488281 148.75 110.804688 149.597656 112.3125 150.238281 C 113.820312 150.878906 115.441406 151.199219 117.175781 151.199219 C 119.132812 151.199219 121.359375 150.101562 124.070312 148.203125 C 128.363281 145.195312 130.964844 143.128906 130.964844 140.683594 C 130.964844 140.097656 130.964844 79.414062 130.964844 79.414062 L 156.738281 79.414062 L 156.738281 164.3125 L 130.964844 164.3125 L 130.964844 156.398438 C 127.574219 159.261719 123.957031 161.558594 120.113281 163.292969 C 116.269531 165.027344 112.539062 165.894531 108.921875 165.894531 C 104.703125 165.894531 100.78125 165.195312 97.164062 163.800781 C 93.546875 162.40625 90.382812 160.503906 87.671875 158.09375 C 84.957031 155.683594 82.828125 152.855469 81.28125 149.613281 C 79.738281 146.375 78.964844 142.90625 78.964844 139.214844 L 78.964844 79.414062 L 104.738281 79.414062 M 192.882812 164.3125 L 167.222656 164.3125 L 167.222656 45.277344 L 192.882812 38.15625 L 192.882812 164.3125 M 203.601562 84.050781 L 229.375 76.929688 L 229.375 164.3125 L 203.601562 164.3125 L 203.601562 84.050781 M 283.226562 120.449219 C 280.738281 121.507812 278.230469 122.730469 275.707031 124.125 C 273.183594 125.519531 270.882812 127.046875 268.8125 128.703125 C 266.738281 130.359375 265.0625 132.132812 263.78125 134.015625 C 262.5 135.898438 261.859375 137.859375 261.859375 139.894531 C 261.859375 141.476562 262.066406 143.003906 262.480469 144.472656 C 262.894531 145.941406 263.480469 147.203125 264.234375 148.257812 C 264.988281 149.3125 265.816406 150.160156 266.722656 150.800781 C 267.625 151.441406 268.605469 151.761719 269.660156 151.761719 C 271.769531 151.761719 273.898438 151.121094 276.046875 149.839844 C 278.195312 148.558594 280.585938 146.941406 283.226562 144.980469 L 283.226562 120.449219 M 309.109375 164.3125 L 283.226562 164.3125 L 283.226562 157.527344 C 281.792969 158.734375 280.398438 159.847656 279.042969 160.863281 C 277.6875 161.878906 276.160156 162.765625 274.464844 163.519531 C 272.769531 164.273438 270.867188 164.855469 268.753906 165.273438 C 266.644531 165.6875 264.15625 165.894531 261.296875 165.894531 C 257.375 165.894531 253.851562 165.328125 250.726562 164.199219 C 247.597656 163.066406 244.941406 161.523438 242.757812 159.5625 C 240.570312 157.605469 238.894531 155.285156 237.726562 152.609375 C 236.558594 149.9375 235.972656 147.015625 235.972656 143.851562 C 235.972656 140.609375 236.59375 137.671875 237.839844 135.03125 C 239.082031 132.394531 240.777344 130.023438 242.925781 127.910156 C 245.074219 125.800781 247.578125 123.917969 250.441406 122.257812 C 253.304688 120.601562 256.378906 119.074219 259.65625 117.679688 C 262.933594 116.285156 266.34375 115.007812 269.886719 113.839844 C 273.425781 112.671875 276.933594 111.558594 280.398438 110.503906 L 283.226562 109.824219 L 283.226562 101.460938 C 283.226562 96.035156 282.1875 92.191406 280.117188 89.929688 C 278.042969 87.667969 275.273438 86.539062 271.808594 86.539062 C 267.738281 86.539062 264.910156 87.519531 263.328125 89.476562 C 261.746094 91.4375 260.953125 93.808594 260.953125 96.597656 C 260.953125 98.179688 260.785156 99.726562 260.445312 101.234375 C 260.109375 102.742188 259.523438 104.058594 258.695312 105.191406 C 257.867188 106.320312 256.679688 107.226562 255.132812 107.902344 C 253.589844 108.582031 251.648438 108.921875 249.3125 108.921875 C 245.695312 108.921875 242.757812 107.882812 240.496094 105.8125 C 238.234375 103.738281 237.105469 101.121094 237.105469 97.953125 C 237.105469 95.015625 238.101562 92.285156 240.097656 89.761719 C 242.097656 87.234375 244.789062 85.066406 248.183594 83.261719 C 251.574219 81.449219 255.492188 80.019531 259.9375 78.964844 C 264.382812 77.910156 269.09375 77.382812 274.066406 77.382812 C 280.171875 77.382812 285.429688 77.929688 289.839844 79.019531 C 294.246094 80.113281 297.882812 81.675781 300.746094 83.710938 C 303.609375 85.746094 305.71875 88.195312 307.074219 91.058594 C 308.433594 93.921875 309.109375 97.128906 309.109375 100.667969 L 309.109375 164.3125"/><path fill="#CB3C33" fill-opacity="1" fill-rule="nonzero" stroke="#eee" stroke-width="2" d="M 235.273438 55.089844 C 235.273438 64.757812 227.4375 72.589844 217.773438 72.589844 C 208.105469 72.589844 200.273438 64.757812 200.273438 55.089844 C 200.273438 45.425781 208.105469 37.589844 217.773438 37.589844 C 227.4375 37.589844 235.273438 45.425781 235.273438 55.089844"/><path fill="#4063D8" fill-opacity="1" fill-rule="nonzero" stroke="#eee" stroke-width="2" d="M 72.953125 55.089844 C 72.953125 64.757812 65.117188 72.589844 55.453125 72.589844 C 45.789062 72.589844 37.953125 64.757812 37.953125 55.089844 C 37.953125 45.425781 45.789062 37.589844 55.453125 37.589844 C 65.117188 37.589844 72.953125 45.425781 72.953125 55.089844"/><path fill="#9558B2" fill-opacity="1" fill-rule="nonzero" stroke="#eee" stroke-width="2" d="M 277.320312 55.089844 C 277.320312 64.757812 269.484375 72.589844 259.820312 72.589844 C 250.15625 72.589844 242.320312 64.757812 242.320312 55.089844 C 242.320312 45.425781 250.15625 37.589844 259.820312 37.589844 C 269.484375 37.589844 277.320312 45.425781 277.320312 55.089844"/><path fill="#389826" fill-opacity="1" fill-rule="nonzero" stroke="#eee" stroke-width="2" d="M 256.300781 18.671875 C 256.300781 28.335938 248.464844 36.171875 238.800781 36.171875 C 229.132812 36.171875 221.300781 28.335938 221.300781 18.671875 C 221.300781 9.007812 229.132812 1.171875 238.800781 1.171875 C 248.464844 1.171875 256.300781 9.007812 256.300781 18.671875"/></g></svg>

+21

images/langs.svg

View file Reviewed

··· 1 1 + <svg fill="none" xmlns="http://www.w3.org/2000/svg"> 2 2 + <foreignObject width="100%" height="100%"> 3 3 + <div xmlns="http://www.w3.org/1999/xhtml"> 4 4 + <style> 5 5 + img { 6 6 + background-color: white; 7 7 + } 8 8 + </style> 9 9 + <p> 10 10 + <a href="https://leanprover.github.io/"><img src="./lean-logo.svg" alt="lean" width="80" height="80"/></a> 11 11 + <a href="https://github.com/utensil?direction=desc&amp;language=rust&amp;sort=stars&amp;tab=stars"><img src="./rust-plain.svg" alt="rust" width="80" height="80"/></a> 12 12 + <a href="https://dl.acm.org/doi/abs/10.1145/3386320"><img src="./cplusplus-original.svg" alt="cplusplus" width="80" height="80"/></a> 13 13 + <a href="https://github.com/utensil?direction=desc&amp;language=javascript&amp;sort=stars&amp;tab=stars"><img src="./javascript-original.svg" alt="javascript" width="80" height="80"/></a> 14 14 + <a href="https://github.com/utensil?direction=desc&amp;language=julia&amp;sort=stars&amp;tab=stars"><img src="./julia-logo.svg" alt="julia" width="80" height="80"/></a> 15 15 + <a href="https://github.com/utensil?direction=desc&amp;language=python&amp;sort=stars&amp;tab=stars"><img src="./python-original-wordmark.svg" alt="python" width="80" height="80"/></a> 16 16 + <a href="http://railscasts.com/"><img src="./ruby-original-wordmark.svg" alt="ruby" width="80" height="80"/></a> 17 17 + <!-- <a href=""><img src="./java-original-wordmark.svg" alt="java" width="80" height="80"/></a> --> 18 18 + </p> 19 19 + </div> 20 20 + </foreignObject> 21 21 + </svg>

+314

images/lean-logo.svg

View file Reviewed

··· 1 1 + <?xml version="1.0" encoding="UTF-8" standalone="no"?> 2 2 + <svg 3 3 + xmlns:dc="http://purl.org/dc/elements/1.1/" 4 4 + xmlns:cc="http://creativecommons.org/ns#" 5 5 + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" 6 6 + xmlns:svg="http://www.w3.org/2000/svg" 7 7 + xmlns="http://www.w3.org/2000/svg" 8 8 + xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" 9 9 + xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" 10 10 + width="300" 11 11 + height="150" 12 12 + viewBox="0 0 240 120" 13 13 + version="1.1" 14 14 + id="svg2" 15 15 + inkscape:version="1.0.2 (e86c870879, 2021-01-15)" 16 16 + sodipodi:docname="lean_logo.svg"> 17 17 + <metadata 18 18 + id="metadata113"> 19 19 + <rdf:RDF> 20 20 + <cc:Work 21 21 + rdf:about=""> 22 22 + <dc:format>image/svg+xml</dc:format> 23 23 + <dc:type 24 24 + rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> 25 25 + </cc:Work> 26 26 + </rdf:RDF> 27 27 + </metadata> 28 28 + <sodipodi:namedview 29 29 + pagecolor="#ffffff" 30 30 + bordercolor="#666666" 31 31 + borderopacity="1" 32 32 + objecttolerance="10" 33 33 + gridtolerance="10" 34 34 + guidetolerance="10" 35 35 + inkscape:pageopacity="0" 36 36 + inkscape:pageshadow="2" 37 37 + inkscape:window-width="2560" 38 38 + inkscape:window-height="1418" 39 39 + id="namedview111" 40 40 + showgrid="false" 41 41 + inkscape:zoom="4" 42 42 + inkscape:cx="223.20569" 43 43 + inkscape:cy="58.300704" 44 44 + inkscape:window-x="0" 45 45 + inkscape:window-y="0" 46 46 + inkscape:window-maximized="1" 47 47 + inkscape:current-layer="surface1" 48 48 + inkscape:document-rotation="0" 49 49 + showguides="true" 50 50 + inkscape:guide-bbox="true"> 51 51 + <sodipodi:guide 52 52 + position="70.622896,28.982703" 53 53 + orientation="0,-1" 54 54 + id="guide193" /> 55 55 + <sodipodi:guide 56 56 + position="55.91963,99.309873" 57 57 + orientation="0,-1" 58 58 + id="guide205" /> 59 59 + <sodipodi:guide 60 60 + position="63.7,64.3" 61 61 + orientation="0,-1" 62 62 + id="guide207" /> 63 63 + <sodipodi:guide 64 64 + position="57.515625,28.982703" 65 65 + orientation="0,-1" 66 66 + id="guide209" /> 67 67 + <sodipodi:guide 68 68 + position="57.403125,27.453125" 69 69 + orientation="0,-1" 70 70 + id="guide211" /> 71 71 + <sodipodi:guide 72 72 + position="9.834375,27.071875" 73 73 + orientation="1,0" 74 74 + id="guide213" /> 75 75 + <sodipodi:guide 76 76 + position="11.771875,28.396875" 77 77 + orientation="1,0" 78 78 + id="guide215" /> 79 79 + </sodipodi:namedview> 80 80 + <defs 81 81 + id="defs4"> 82 82 + <g 83 83 + id="g6"> 84 84 + <symbol 85 85 + overflow="visible" 86 86 + id="glyph0-0" 87 87 + style="overflow:visible"> 88 88 + <path 89 89 + style="stroke:none" 90 90 + d="m -5.140625,0 -180.499995,0 0,-262.4375 180.499995,0 z M -178.125,-250.15625 l 0,237.09375 79.171875,-118.75 z m 5.14063,243.03125 154.781245,0 -77.1875,-117.5625 z m 77.593745,-131.8125 77.1875,-116.375 -154.781245,0 z m 3.5625,7.125 79.15625,118.75 0,-237.09375 z" 91 91 + id="path9" 92 92 + inkscape:connector-curvature="0" /> 93 93 + </symbol> 94 94 + <symbol 95 95 + overflow="visible" 96 96 + id="glyph0-1" 97 97 + style="overflow:visible"> 98 98 + <path 99 99 + style="stroke:none" 100 100 + d="m -24.9375,-135.375 -143.29687,0 0,-6.32812 143.29687,0 0,-129.04688 -146.45312,0 0,-5.9375 152.781245,0 0,276.6875 -153.578125,0 0,-5.9375 147.25,0 z" 101 101 + id="path12" 102 102 + inkscape:connector-curvature="0" /> 103 103 + </symbol> 104 104 + <symbol 105 105 + overflow="visible" 106 106 + id="glyph1-0" 107 107 + style="overflow:visible"> 108 108 + <path 109 109 + style="stroke:none" 110 110 + d="m 5.140625,0 180.499995,0 0,-262.4375 -180.499995,0 z M 178.125,-250.15625 l 0,237.09375 -79.171875,-118.75 z m -5.14063,243.03125 -154.781245,0 77.1875,-117.5625 z m -77.593745,-131.8125 -77.1875,-116.375 154.781245,0 z m -3.5625,7.125 -79.15625,118.75 0,-237.09375 z" 111 111 + id="path15" 112 112 + inkscape:connector-curvature="0" /> 113 113 + </symbol> 114 114 + <symbol 115 115 + overflow="visible" 116 116 + id="glyph1-1" 117 117 + style="overflow:visible"> 118 118 + <path 119 119 + style="stroke:none" 120 120 + d="m 24.9375,0 0,-264.40625 L 207.8125,0 l 6.32812,0 0,-277.07812 -5.9375,0 0,265.999995 -184.062495,-265.999995 -5.53125,-0.39063 0,277.46875 z" 121 121 + id="path18" 122 122 + inkscape:connector-curvature="0" /> 123 123 + </symbol> 124 124 + <symbol 125 125 + overflow="visible" 126 126 + id="glyph1-2" 127 127 + style="overflow:visible"> 128 128 + <path 129 129 + style="stroke:none" 130 130 + d="m 24.9375,-276.6875 -6.328125,0 0,276.6875 C 70.453125,0 121.92188,0 173.76562,0 l 0,-6.328125 -148.82812,0 z" 131 131 + id="path21" 132 132 + inkscape:connector-curvature="0" /> 133 133 + </symbol> 134 134 + <symbol 135 135 + overflow="visible" 136 136 + id="glyph2-0" 137 137 + style="overflow:visible"> 138 138 + <path 139 139 + style="stroke:none" 140 140 + d="m 1.21875,0 42.5,0 0,-61.796875 -42.5,0 z m 40.734375,-58.921875 0,55.84375 -18.640625,-27.96875 z m -1.21875,57.25 -36.453125,0 18.1875,-27.6875 z M 22.46875,-32.71875 4.28125,-60.125 l 36.453125,0 z m -0.84375,1.671875 -18.640625,27.96875 0,-55.84375 z" 141 141 + id="path24" 142 142 + inkscape:connector-curvature="0" /> 143 143 + </symbol> 144 144 + <symbol 145 145 + overflow="visible" 146 146 + id="glyph2-1" 147 147 + style="overflow:visible"> 148 148 + <path 149 149 + style="stroke:none" 150 150 + d="m 24.796875,0.28125 0,-64.046875 22.5625,0 0,-1.484375 -46.515625,0 0,1.484375 22.546875,0 0,64.046875 z" 151 151 + id="path27" 152 152 + inkscape:connector-curvature="0" /> 153 153 + </symbol> 154 154 + <symbol 155 155 + overflow="visible" 156 156 + id="glyph2-2" 157 157 + style="overflow:visible"> 158 158 + <path 159 159 + style="stroke:none" 160 160 + d="m 5.78125,-65.15625 -1.40625,0 0,65.15625 1.40625,0 0,-32.34375 40.921875,0 0,32.34375 1.484375,0 0,-65.15625 -1.484375,0 0,31.40625 -40.921875,0 z" 161 161 + id="path30" 162 162 + inkscape:connector-curvature="0" /> 163 163 + </symbol> 164 164 + <symbol 165 165 + overflow="visible" 166 166 + id="glyph2-3" 167 167 + style="overflow:visible"> 168 168 + <path 169 169 + style="stroke:none" 170 170 + d="m 5.875,-31.875 33.75,0 0,-1.5 -33.75,0 0,-30.390625 34.484375,0 0,-1.390625 -35.984375,0 0,65.15625 36.171875,0 0,-1.390625 -34.671875,0 z" 171 171 + id="path33" 172 172 + inkscape:connector-curvature="0" /> 173 173 + </symbol> 174 174 + <symbol 175 175 + overflow="visible" 176 176 + id="glyph2-4" 177 177 + style="overflow:visible"> 178 178 + <path 179 179 + style="stroke:none" 180 180 + d="m 67.765625,-32.625 c 0,8.859375 -3.53125,16.78125 -9.21875,22.5625 -5.78125,5.875 -13.796875,9.5 -22.5625,9.5 -8.765625,0 -16.6875,-3.625 -22.46875,-9.5 C 7.828125,-15.84375 4.1875,-23.765625 4.1875,-32.625 c 0,-8.859375 3.640625,-16.78125 9.328125,-22.5625 5.78125,-5.875 13.703125,-9.5 22.46875,-9.5 8.765625,0 16.78125,3.625 22.5625,9.5 5.6875,5.78125 9.21875,13.703125 9.21875,22.5625 z m -65.0625,0 c 0,9.234375 3.828125,17.609375 9.78125,23.671875 5.96875,6.15625 14.359375,9.890625 23.5,9.890625 9.234375,0 17.515625,-3.734375 23.578125,-9.890625 5.96875,-6.0625 9.796875,-14.4375 9.796875,-23.671875 0,-9.234375 -3.828125,-17.625 -9.796875,-23.671875 C 53.5,-62.453125 45.21875,-66.1875 35.984375,-66.1875 c -9.140625,0 -17.53125,3.734375 -23.5,9.890625 C 6.53125,-50.25 2.703125,-41.859375 2.703125,-32.625 z" 181 181 + id="path36" 182 182 + inkscape:connector-curvature="0" /> 183 183 + </symbol> 184 184 + <symbol 185 185 + overflow="visible" 186 186 + id="glyph2-5" 187 187 + style="overflow:visible"> 188 188 + <path 189 189 + style="stroke:none" 190 190 + d="m 5.78125,-63.765625 21.15625,0 c 24.234375,0 24.234375,35.234375 0,35.234375 l -12.671875,0 0,1.40625 L 44.28125,0 46.421875,0 16.40625,-27.125 l 10.53125,0 c 26.109375,0 26.109375,-38.125 0,-38.125 l -22.5625,0 0,65.25 1.40625,0 z" 191 191 + id="path39" 192 192 + inkscape:connector-curvature="0" /> 193 193 + </symbol> 194 194 + <symbol 195 195 + overflow="visible" 196 196 + id="glyph2-6" 197 197 + style="overflow:visible"> 198 198 + <path 199 199 + style="stroke:none" 200 200 + d="m 5.78125,-63.109375 26.5625,39.53125 1.21875,0 26.5625,-39.53125 0,63.109375 1.40625,0 0,-65.25 -1.5,0 -27.125,39.984375 L 5.875,-65.25 l -1.5,0 0,65.25 1.40625,0 z" 201 201 + id="path42" 202 202 + inkscape:connector-curvature="0" /> 203 203 + </symbol> 204 204 + <symbol 205 205 + overflow="visible" 206 206 + id="glyph2-7" 207 207 + style="overflow:visible"> 208 208 + <path 209 209 + style="stroke:none" 210 210 + d="" 211 211 + id="path45" 212 212 + inkscape:connector-curvature="0" /> 213 213 + </symbol> 214 214 + <symbol 215 215 + overflow="visible" 216 216 + id="glyph2-8" 217 217 + style="overflow:visible"> 218 218 + <path 219 219 + style="stroke:none" 220 220 + d="m 4.375,-64.5 c 0,21.53125 0,42.96875 0,64.5 l 1.5,0 0,-24.796875 21.0625,0 c 26.109375,0 26.109375,-40.453125 0,-40.453125 l -22.5625,0 z m 1.5,38.3125 0,-37.578125 21.0625,0 c 24.234375,0 24.234375,37.578125 0,37.578125 z" 221 221 + id="path48" 222 222 + inkscape:connector-curvature="0" /> 223 223 + </symbol> 224 224 + <symbol 225 225 + overflow="visible" 226 226 + id="glyph2-9" 227 227 + style="overflow:visible"> 228 228 + <path 229 229 + style="stroke:none" 230 230 + d="m 5.78125,-63.765625 21.15625,0 c 24.234375,0 24.234375,35.234375 0,35.234375 l -12.671875,0 0,1.40625 L 44.28125,0 46.421875,0 16.40625,-27.125 l 10.53125,0 c 26.109375,0 26.109375,-38.125 0,-38.125 l -22.5625,0 0,65.25 1.40625,0 z" 231 231 + id="path51" 232 232 + inkscape:connector-curvature="0" /> 233 233 + </symbol> 234 234 + <symbol 235 235 + overflow="visible" 236 236 + id="glyph2-10" 237 237 + style="overflow:visible"> 238 238 + <path 239 239 + style="stroke:none" 240 240 + d="m 67.03125,-32.625 c 0,8.859375 -3.546875,16.78125 -9.234375,22.5625 -5.78125,5.875 -13.796875,9.5 -22.5625,9.5 -8.765625,0 -16.6875,-3.625 -22.46875,-9.5 -5.6875,-5.78125 -9.3125,-13.703125 -9.3125,-22.5625 0,-8.859375 3.625,-16.78125 9.3125,-22.5625 5.78125,-5.875 13.703125,-9.5 22.46875,-9.5 8.765625,0 16.78125,3.625 22.5625,9.5 5.6875,5.78125 9.234375,13.703125 9.234375,22.5625 z m -65.078125,0 c 0,9.234375 3.828125,17.609375 9.796875,23.671875 5.96875,6.15625 14.34375,9.890625 23.484375,9.890625 9.234375,0 17.53125,-3.734375 23.59375,-9.890625 5.953125,-6.0625 9.78125,-14.4375 9.78125,-23.671875 0,-9.234375 -3.828125,-17.625 -9.78125,-23.671875 -6.0625,-6.15625 -14.359375,-9.890625 -23.59375,-9.890625 -9.140625,0 -17.515625,3.734375 -23.484375,9.890625 C 5.78125,-50.25 1.953125,-41.859375 1.953125,-32.625 z" 241 241 + id="path54" 242 242 + inkscape:connector-curvature="0" /> 243 243 + </symbol> 244 244 + <symbol 245 245 + overflow="visible" 246 246 + id="glyph2-11" 247 247 + style="overflow:visible"> 248 248 + <path 249 249 + style="stroke:none" 250 250 + d="m 27.5,-0.84375 -25.359375,-64.3125 -1.578125,0 26.1875,66.1875 1.59375,0 26.1875,-66.1875 -1.578125,0 z" 251 251 + id="path57" 252 252 + inkscape:connector-curvature="0" /> 253 253 + </symbol> 254 254 + <symbol 255 255 + overflow="visible" 256 256 + id="glyph2-12" 257 257 + style="overflow:visible"> 258 258 + <path 259 259 + style="stroke:none" 260 260 + d="m 5.875,-31.875 33.75,0 0,-1.5 -33.75,0 0,-30.390625 34.484375,0 0,-1.390625 -35.984375,0 0,65.15625 36.171875,0 0,-1.390625 -34.671875,0 z" 261 261 + id="path60" 262 262 + inkscape:connector-curvature="0" /> 263 263 + </symbol> 264 264 + </g> 265 265 + <clipPath 266 266 + clipPathUnits="userSpaceOnUse" 267 267 + id="clipPath3094"> 268 268 + <rect 269 269 + style="fill:#0000ff;fill-rule:evenodd;stroke:#000000;stroke-width:0.80000001px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" 270 270 + id="rect3096" 271 271 + width="754.1781" 272 272 + height="300.61642" 273 273 + x="13.184932" 274 274 + y="8.90411" /> 275 275 + </clipPath> 276 276 + </defs> 277 277 + <g 278 278 + id="surface1" 279 279 + clip-path="url(#clipPath3094)" 280 280 + transform="matrix(0.30563256,0,0,0.25971391,2.2768141,14.142563)"> 281 281 + <g 282 282 + style="fill:#000000;fill-opacity:1" 283 283 + id="g71" /> 284 284 + <g 285 285 + id="g1226"> 286 286 + <path 287 287 + style="fill:#000000;fill-opacity:1;stroke:none" 288 288 + d="M 323.2793,166.51926 H 179.98243 v -6.32812 H 323.2793 V 31.14426 H 176.82618 v -5.9375 h 152.78124 v 276.6875 h -304.879816 V 25.210709 h 6.339311 v 270.787071 h 292.212385 z" 289 289 + id="path188" 290 290 + inkscape:connector-curvature="0" 291 291 + sodipodi:nodetypes="ccccccccccccccc" /> 292 292 + <path 293 293 + style="fill:#000000;fill-opacity:1;stroke:none" 294 294 + d="M 554.58618,301.89426 V 37.48801 l 182.875,264.40625 h 6.32812 V 25.303323 h -5.9375 V 290.81613 L 553.78931,25.303323 h -5.53125 V 301.89426 Z" 295 295 + id="path196" 296 296 + inkscape:connector-curvature="0" 297 297 + sodipodi:nodetypes="ccccccccccc" /> 298 298 + <path 299 299 + style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1" 300 300 + d="m 493.91087,342.7146 35.08932,83.78546 35.25165,-83.75238" 301 301 + transform="matrix(3.192199,0,0,3.192199,-1250.002,-1067.559)" 302 302 + id="path75" 303 303 + inkscape:connector-curvature="0" 304 304 + sodipodi:nodetypes="ccc" /> 305 305 + <path 306 306 + style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1" 307 307 + d="m 511.6195,385.54515 34.93019,0.0" 308 308 + transform="matrix(3.192199,0,0,3.192199,-1250.002,-1067.559)" 309 309 + id="path77" 310 310 + inkscape:connector-curvature="0" 311 311 + sodipodi:nodetypes="cc" /> 312 312 + </g> 313 313 + </g> 314 314 + </svg>

+1

images/python-original-wordmark.svg

View file Reviewed

··· 1 1 + <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 128 128"><g fill-rule="evenodd" clip-rule="evenodd"><path fill="#386f9f" d="M51.834 23.017c3.756 0 7.512.058 11.263-.04.995-.026 2.78.797 2.7-1.271-.061-1.683-1.622-1.074-2.568-1.089-4.237-.067-8.488-.228-12.708.037-3.003.187-3.888-.953-3.511-3.707.13-.95.005-1.934.025-2.902.132-6.446 1.69-8.64 7.942-10.23 6.888-1.75 13.937-1.692 20.806-.184 6.175 1.356 8.74 6.16 8.428 10.604-.38 5.423-.086 10.893-.091 16.343-.009 6.853-3.55 10.49-10.459 10.585-5.69.078-11.387.14-17.074-.018-6.778-.19-11.75 5.44-11.784 11.82 0 .484.083.984-.013 1.451-.488 2.343 1.462 6.13-1.022 6.826-3.78 1.062-8.206 1.062-11.54-2.311-1.13-1.14-2.082-2.417-2.584-3.893-2.679-7.865-3.102-15.83-.58-23.818 1.572-4.986 5.848-8.087 11.145-8.176 3.874-.065 7.749-.013 11.623-.013l.002-.014zm6.902-11.12c-.162-1.903-1.185-3.292-3.296-3.35-2.309-.06-3.502 1.336-3.505 3.608-.002 2.106 1.145 3.455 3.241 3.516 2.303.067 3.418-1.36 3.56-3.774z"/><path fill="#ffcf46" d="M80.824 61.572c-4.24 0-8.482-.037-12.722.03-.955.012-2.557-.592-2.607 1.041-.056 1.852 1.663 1.37 2.755 1.381 4.24.053 8.484.098 12.723-.02 2.178-.06 3.067.357 3.23 2.925.737 11.625-4.308 12.63-13.613 14.745-5.338 1.213-11.061.57-16.325-1.788-4.353-1.947-7.024-4.753-6.687-10.007.334-5.186.39-10.439-.009-15.62-.48-6.253 3.41-10.852 10.975-10.854 5.09-.001 10.214-.389 15.26.075 7.215.662 12.872-5.592 13.12-12.864.01-.241-.052-.5.01-.724.636-2.235-1.626-5.557 1.4-6.686 4.573-1.705 9.73.087 12.066 3.557 2.945 4.369 3.343 9.51 3.819 14.53.515 5.411-1.003 10.505-3.276 15.386-1.544 3.31-4.14 4.91-7.757 4.915-4.12.003-8.239 0-12.36 0-.002-.008-.002-.015-.002-.022zm-1.104 10.8c-.453-2.066-1.385-3.476-3.785-3.535-2.496-.06-3.14 1.807-3.127 3.474.014 1.772.508 3.952 3.21 3.748 2.246-.172 3.341-1.563 3.702-3.687z"/><path fill="#386f9f" d="M14.129 114.849c0 2.582.117 5-.055 7.397-.074 1.034 1.066 2.98-1.103 2.978-1.912 0-2.403-1.522-2.342-3.361.117-3.51.034-7.027.034-10.54v-7.998c0-4.82 1.293-6.452 5.903-7.45 4.286-.932 7.654.511 9.386 4.263 1.732 3.753 1.866 7.62.133 11.438-1.708 3.762-4.854 5.166-8.884 4.051-.918-.25-1.845-.467-3.072-.778zm0-9.448c0 1.33.18 2.686-.037 3.98-.502 2.991 1.408 3.728 3.66 4.26 2.227.526 3.754-.421 4.647-2.383 1.501-3.29 1.753-6.683.613-10.162-1.012-3.092-3.349-3.454-6.077-3.07-2.694.383-3.059 2.215-2.824 4.48.1.955.018 1.93.018 2.895zM43.116 114.689c-1.845.48-3.447.992-5.087 1.3-3.59.671-6.248-1.3-7.183-4.894-1.16-4.448-.178-8.879-.148-13.317.013-2.023 1.885-1.234 3.18-2.318 0 4.75.018 8.85-.006 12.947-.013 2.058.519 3.75 2.465 4.835 2.148 1.198 3.91.057 5.78-.712 1.34-.551 1.173-1.676 1.175-2.746.01-3.872-.001-7.74.012-11.612.002-.955-.097-2.122 1.313-2.075 1.257.041 1.804.788 1.783 2.158-.091 6.407.09 12.823-.17 19.221-.197 4.838-3.61 7.793-8.52 8.01-.735.031-1.505.099-1.78-.813-.419-1.404.718-1.139 1.465-1.378 5.401-1.718 6.107-2.744 5.721-8.606zM65.94 98.064c1.429-.675 2.25-1.293 3.153-1.46 5.067-.937 8.95-.58 8.94 6.245-.007 3.515.002 7.031-.007 10.545-.002.984.061 1.942-1.406 2.027-1.547.092-1.887-.793-1.88-2.006.018-3.387.11-6.774.107-10.16-.002-2.63-.539-4.958-3.884-4.95-2.934.005-5.012 2.195-5.027 5.217a899.58 899.58 0 00.003 9.814c.003 1.162.028 2.181-1.652 2.085-1.513-.09-1.327-1.11-1.327-2.049-.01-8.6.032-17.209-.041-25.815-.013-1.508.582-2.444 1.92-2.508 1.888-.087 1.023 1.564 1.051 2.392.123 3.371.05 6.75.05 10.623zM81.93 105.775c-.191-6.715 2.994-10.3 8.76-10.092 2.894.106 5.065 1.39 6.466 3.89 2.475 4.422 2.14 8.846-.538 12.987-1.84 2.844-4.67 4.185-8.12 3.453-3.402-.72-6.066-3.783-6.548-7.353-.128-.945-.02-1.924-.02-2.885zm13.32.157c-.152-1.172-.125-2.806-.613-4.264-.667-2-1.883-3.61-4.364-3.72-2.503-.108-3.752 1.355-4.587 3.38-1.311 3.179-1.226 6.371.194 9.493.912 2.011 2.32 3.483 4.76 3.075 2.403-.401 3.821-1.976 4.312-4.313.223-1.059.187-2.168.298-3.65zM102.257 106.827c0-1.212-.023-2.422.004-3.628.056-2.325-.685-4.901 2.45-6.089 3.59-1.356 7.148-2.372 10.762-.273 1.352.786 1.85 2.214 1.864 3.73.037 4.231-.019 8.464.038 12.695.02 1.476-.368 2.214-2.027 2.174-1.818-.043-1.435-1.283-1.423-2.273.043-3.38.278-6.757.214-10.132-.084-4.25-2.416-5.983-6.389-4.94-1.648.434-2.678 1.234-2.597 3.274.161 3.982.037 7.978.052 11.967.004 1.156.021 2.18-1.647 2.083-1.528-.088-1.278-1.145-1.29-2.062-.028-2.176-.008-4.353-.011-6.526zM58.689 97.403c-.25.296-.46.76-.68.764-3.964.055-2.864 3.014-2.966 5.209-.097 2.045 0 4.1-.029 6.151-.03 2.038.147 3.932 2.627 4.473.711.154 1.035.564.887 1.274-.163.784-.788.753-1.407.745-2.85-.05-4.963-2.065-5.047-5.015-.086-3.014.031-6.035-.04-9.046-.037-1.43.706-3.255-1.6-3.822-.253-.061-.343-.778-.508-1.187 3.076-.965 1.8-3.618 2.222-5.631.2-.953 1.105-1.214 1.96-1.295.865-.082.872.618.9 1.203.114 2.32-1.087 5.425 3.184 5.256.143-.005.31.562.497.92z"/></g></svg>

+1

images/ruby-original-wordmark.svg

View file Reviewed

··· 1 1 + <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 128 128"><path d="M30.217 109.422v8.547h-4.724V95.692h6.491c3.026 0 5.266.551 6.719 1.653 1.453 1.103 2.179 2.776 2.179 5.02 0 1.311-.361 2.477-1.083 3.497-.721 1.021-1.742 1.822-3.063 2.401l6.552 9.705h-5.242l-5.317-8.547h-2.512zm0-3.84h1.524c1.492 0 2.595-.25 3.306-.747.71-.498 1.066-1.28 1.066-2.346 0-1.057-.363-1.808-1.089-2.255-.726-.447-1.851-.671-3.375-.671h-1.432v6.019zm27.578 12.387l-.625-2.179h-.244c-.498.793-1.205 1.404-2.118 1.836-.915.432-1.957.647-3.124.647-2.002 0-3.509-.535-4.526-1.607-1.016-1.072-1.524-2.613-1.524-4.624v-11.108h4.648v9.95c0 1.229.218 2.151.656 2.766.436.615 1.131.921 2.086.921 1.301 0 2.24-.435 2.819-1.302.579-.869.869-2.308.869-4.319v-8.015h4.647v17.035h-3.564zm17.918-17.356c2.011 0 3.586.786 4.725 2.355 1.137 1.569 1.706 3.72 1.706 6.453 0 2.813-.587 4.992-1.759 6.535-1.173 1.545-2.771 2.316-4.793 2.316-2 0-3.57-.727-4.708-2.18h-.32l-.776 1.875h-3.551V94.26h4.647v5.516c0 .701-.062 1.823-.184 3.368h.184c1.086-1.686 2.697-2.531 4.829-2.531zm-1.493 3.719c-1.147 0-1.985.353-2.513 1.059-.528.707-.803 1.872-.823 3.498v.502c0 1.829.271 3.139.814 3.932.544.792 1.405 1.188 2.583 1.188.955 0 1.713-.44 2.278-1.318.564-.878.846-2.156.846-3.832 0-1.676-.286-2.934-.854-3.772-.568-.838-1.345-1.257-2.331-1.257zm9.021-3.398h5.088l3.215 9.584c.275.833.463 1.818.564 2.956h.092c.111-1.046.329-2.032.654-2.956l3.154-9.584h4.983l-7.207 19.214c-.661 1.777-1.602 3.108-2.826 3.992-1.225.884-2.654 1.325-4.29 1.325-.803 0-1.59-.086-2.361-.259v-3.687a7.992 7.992 0 001.828.197c.822 0 1.541-.251 2.156-.754.615-.502 1.095-1.261 1.44-2.277l.274-.839-6.764-16.912z"/><linearGradient id="ruby-original-wordmark-a" gradientUnits="userSpaceOnUse" x1="143.917" y1="2125.439" x2="125.854" y2="2157.331" gradientTransform="matrix(1 0 0 -1 -47.5 2221)"><stop offset="0" stop-color="#FB7655"/><stop offset="0" stop-color="#FB7655"/><stop offset=".41" stop-color="#E42B1E"/><stop offset=".99" stop-color="#900"/><stop offset="1" stop-color="#900"/></linearGradient><path fill="url(#ruby-original-wordmark-a)" d="M87.524 58.767L38.638 87.795l63.3-4.294 4.875-63.828z"/><linearGradient id="ruby-original-wordmark-b" gradientUnits="userSpaceOnUse" x1="152.913" y1="2152.229" x2="129.634" y2="2167.85" gradientTransform="matrix(1 0 0 -1 -47.5 2221)"><stop offset="0" stop-color="#871101"/><stop offset="0" stop-color="#871101"/><stop offset=".99" stop-color="#911209"/><stop offset="1" stop-color="#911209"/></linearGradient><path fill="url(#ruby-original-wordmark-b)" d="M102.041 83.457L96.6 45.905l-14.818 19.57z"/><linearGradient id="ruby-original-wordmark-c" gradientUnits="userSpaceOnUse" x1="134.287" y1="2124.472" x2="111.008" y2="2140.093" gradientTransform="matrix(1 0 0 -1 -47.5 2221)"><stop offset="0" stop-color="#871101"/><stop offset="0" stop-color="#871101"/><stop offset=".99" stop-color="#911209"/><stop offset="1" stop-color="#911209"/></linearGradient><path fill="url(#ruby-original-wordmark-c)" d="M102.114 83.457l-39.858-3.129-23.405 7.385z"/><linearGradient id="ruby-original-wordmark-d" gradientUnits="userSpaceOnUse" x1="85.411" y1="2163.54" x2="89.02" y2="2140.086" gradientTransform="matrix(1 0 0 -1 -47.5 2221)"><stop offset="0" stop-color="#fff"/><stop offset="0" stop-color="#fff"/><stop offset=".23" stop-color="#E57252"/><stop offset=".46" stop-color="#DE3B20"/><stop offset=".99" stop-color="#A60003"/><stop offset="1" stop-color="#A60003"/></linearGradient><path fill="url(#ruby-original-wordmark-d)" d="M38.906 87.722l9.957-32.62-21.91 4.686z"/><linearGradient id="ruby-original-wordmark-e" gradientUnits="userSpaceOnUse" x1="110.233" y1="2185.439" x2="111.563" y2="2161.502" gradientTransform="matrix(1 0 0 -1 -47.5 2221)"><stop offset="0" stop-color="#fff"/><stop offset="0" stop-color="#fff"/><stop offset=".23" stop-color="#E4714E"/><stop offset=".56" stop-color="#BE1A0D"/><stop offset=".99" stop-color="#A80D00"/><stop offset="1" stop-color="#A80D00"/></linearGradient><path fill="url(#ruby-original-wordmark-e)" d="M81.777 65.582l-9.162-35.887-26.219 24.577z"/><linearGradient id="ruby-original-wordmark-f" gradientUnits="userSpaceOnUse" x1="132.261" y1="2207.563" x2="136.242" y2="2190.407" gradientTransform="matrix(1 0 0 -1 -47.5 2221)"><stop offset="0" stop-color="#fff"/><stop offset="0" stop-color="#fff"/><stop offset=".18" stop-color="#E46342"/><stop offset=".4" stop-color="#C82410"/><stop offset=".99" stop-color="#A80D00"/><stop offset="1" stop-color="#A80D00"/></linearGradient><path fill="url(#ruby-original-wordmark-f)" d="M104.734 30.201L79.949 9.958l-6.901 22.313z"/><linearGradient id="ruby-original-wordmark-g" gradientUnits="userSpaceOnUse" x1="120.105" y1="2213.604" x2="137.258" y2="2222.18" gradientTransform="matrix(1 0 0 -1 -47.5 2221)"><stop offset="0" stop-color="#fff"/><stop offset="0" stop-color="#fff"/><stop offset=".54" stop-color="#C81F11"/><stop offset=".99" stop-color="#BF0905"/><stop offset="1" stop-color="#BF0905"/></linearGradient><path fill="url(#ruby-original-wordmark-g)" d="M93.142 2.741l-14.576 8.056-9.197-8.164z"/><linearGradient id="ruby-original-wordmark-h" gradientUnits="userSpaceOnUse" x1="70.375" y1="2169.518" x2="71.787" y2="2155.382" gradientTransform="matrix(1 0 0 -1 -47.5 2221)"><stop offset="0" stop-color="#fff"/><stop offset="0" stop-color="#fff"/><stop offset=".31" stop-color="#DE4024"/><stop offset=".99" stop-color="#BF190B"/><stop offset="1" stop-color="#BF190B"/></linearGradient><path fill="url(#ruby-original-wordmark-h)" d="M21.188 70.73l6.107-11.137-4.941-13.267z"/><path fill="#fff" d="M22.026 45.905l4.97 14.098 21.595-4.845 24.655-22.913 6.958-22.1-10.955-7.737-18.627 6.971c-5.868 5.458-17.256 16.258-17.667 16.461-.406.208-7.519 13.653-10.929 20.065z"/><linearGradient id="ruby-original-wordmark-i" gradientUnits="userSpaceOnUse" x1="60.669" y1="2151.563" x2="127.036" y2="2219.806" gradientTransform="matrix(1 0 0 -1 -47.5 2221)"><stop offset="0" stop-color="#BD0012"/><stop offset="0" stop-color="#BD0012"/><stop offset=".07" stop-color="#fff"/><stop offset=".17" stop-color="#fff"/><stop offset=".27" stop-color="#C82F1C"/><stop offset=".33" stop-color="#820C01"/><stop offset=".46" stop-color="#A31601"/><stop offset=".72" stop-color="#B31301"/><stop offset=".99" stop-color="#E82609"/><stop offset="1" stop-color="#E82609"/></linearGradient><path fill="url(#ruby-original-wordmark-i)" d="M39.477 20.581C52.196 7.97 68.592.52 74.884 6.869c6.289 6.348-.38 21.776-13.099 34.382C49.067 53.858 32.873 61.719 26.586 55.37c-6.294-6.344.173-22.183 12.891-34.789z"/><linearGradient id="ruby-original-wordmark-j" gradientUnits="userSpaceOnUse" x1="111.505" y1="2144.677" x2="91.514" y2="2149.611" gradientTransform="matrix(1 0 0 -1 -47.5 2221)"><stop offset="0" stop-color="#8C0C01"/><stop offset="0" stop-color="#8C0C01"/><stop offset=".54" stop-color="#990C00"/><stop offset=".99" stop-color="#A80D0E"/><stop offset="1" stop-color="#A80D0E"/></linearGradient><path fill="url(#ruby-original-wordmark-j)" d="M38.906 87.709l9.879-32.724 32.811 10.541c-11.864 11.125-25.058 20.528-42.69 22.183z"/><linearGradient id="ruby-original-wordmark-k" gradientUnits="userSpaceOnUse" x1="145.839" y1="2168.67" x2="128.08" y2="2184.586" gradientTransform="matrix(1 0 0 -1 -47.5 2221)"><stop offset="0" stop-color="#7E110B"/><stop offset="0" stop-color="#7E110B"/><stop offset=".99" stop-color="#9E0C00"/><stop offset="1" stop-color="#9E0C00"/></linearGradient><path fill="url(#ruby-original-wordmark-k)" d="M73.289 32.181l8.423 33.363c9.91-10.419 18.804-21.621 23.159-35.476l-31.582 2.113z"/><linearGradient id="ruby-original-wordmark-l" gradientUnits="userSpaceOnUse" x1="152.364" y1="2197.874" x2="143.518" y2="2207.331" gradientTransform="matrix(1 0 0 -1 -47.5 2221)"><stop offset="0" stop-color="#79130D"/><stop offset="0" stop-color="#79130D"/><stop offset=".99" stop-color="#9E120B"/><stop offset="1" stop-color="#9E120B"/></linearGradient><path fill="url(#ruby-original-wordmark-l)" d="M104.785 30.236c3.371-10.174 4.148-24.768-11.746-27.477L79.996 9.963l24.789 20.273z"/><path fill="#9E1209" d="M21.188 70.583c.467 16.789 12.581 17.04 17.741 17.188l-11.92-27.837-5.821 10.649z"/><radialGradient id="ruby-original-wordmark-m" cx="130.847" cy="2184.281" r="21.762" gradientTransform="matrix(1 0 0 -1 -47.5 2221)" gradientUnits="userSpaceOnUse"><stop offset="0" stop-color="#A80D00"/><stop offset="0" stop-color="#A80D00"/><stop offset=".99" stop-color="#7E0E08"/><stop offset="1" stop-color="#7E0E08"/></radialGradient><path fill="url(#ruby-original-wordmark-m)" d="M73.337 32.232c7.615 4.68 22.96 14.08 23.271 14.253.484.272 6.617-10.342 8.008-16.34l-31.279 2.087z"/><radialGradient id="ruby-original-wordmark-n" cx="100.707" cy="2155.602" r="28.932" gradientTransform="matrix(1 0 0 -1 -47.5 2221)" gradientUnits="userSpaceOnUse"><stop offset="0" stop-color="#A30C00"/><stop offset="0" stop-color="#A30C00"/><stop offset=".99" stop-color="#800E08"/><stop offset="1" stop-color="#800E08"/></radialGradient><path fill="url(#ruby-original-wordmark-n)" d="M48.772 54.986l13.207 25.48c7.81-4.235 13.924-9.395 19.526-14.922L48.772 54.986z"/><linearGradient id="ruby-original-wordmark-o" gradientUnits="userSpaceOnUse" x1="80.214" y1="2133.309" x2="73.005" y2="2157.766" gradientTransform="matrix(1 0 0 -1 -47.5 2221)"><stop offset="0" stop-color="#8B2114"/><stop offset="0" stop-color="#8B2114"/><stop offset=".43" stop-color="#9E100A"/><stop offset=".99" stop-color="#B3100C"/><stop offset="1" stop-color="#B3100C"/></linearGradient><path fill="url(#ruby-original-wordmark-o)" d="M26.957 59.969l-1.872 22.282c3.532 4.823 8.389 5.241 13.485 4.866-3.687-9.175-11.051-27.521-11.613-27.148z"/><linearGradient id="ruby-original-wordmark-p" gradientUnits="userSpaceOnUse" x1="135.518" y1="2214.356" x2="151.68" y2="2207.222" gradientTransform="matrix(1 0 0 -1 -47.5 2221)"><stop offset="0" stop-color="#B31000"/><stop offset="0" stop-color="#B31000"/><stop offset=".44" stop-color="#910F08"/><stop offset=".99" stop-color="#791C12"/><stop offset="1" stop-color="#791C12"/></linearGradient><path fill="url(#ruby-original-wordmark-p)" d="M79.919 10.02l26.237 3.683c-1.401-5.935-5.701-9.763-13.03-10.961L79.919 10.02z"/></svg>

+1

images/rust-plain.svg

View file Reviewed

··· 1 1 + <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 128 128"><path d="M62.271 10.88c-.189.11-.982 1.248-1.763 2.529-1.96 3.217-1.982 3.219-4.615.448-1.713-1.802-2.127-2.132-2.679-2.128-.359.002-.812.124-1.008.271-.195.147-.748 1.317-1.228 2.6-1.099 2.939-1.152 3.034-1.761 3.151-.375.071-1.097-.331-2.828-1.574-1.278-.919-2.532-1.67-2.786-1.67-1.054 0-1.351.576-1.853 3.593-.638 3.836-.616 3.823-4.074 2.252-1.396-.633-2.72-1.152-2.943-1.152-.223 0-.646.24-.939.533-.532.533-.533.535-.388 3.468l.146 2.936-.555.297c-.492.263-.831.231-3.009-.284-2.843-.671-3.443-.653-4.019.122l-.421.566.565 2.421c.31 1.331.609 2.613.665 2.848.055.234-.04.609-.212.832-.284.367-.586.4-3.217.36-4.453-.07-4.706.312-2.866 4.328.585 1.275 1.064 2.433 1.064 2.572 0 .734-.585 1.001-3.098 1.411-1.406.229-2.628.417-2.716.417-.088 0-.352.192-.586.426-.765.765-.548 1.483 1.187 3.932 2.161 3.05 2.157 3.061-1.413 4.427-4.06 1.553-4.142 1.936-1.051 4.868 2.879 2.73 2.882 2.69-.377 4.739-2.469 1.551-2.507 1.588-2.57 2.429-.076 1.023-.058 1.041 2.89 2.842 2.915 1.78 2.915 1.834.054 4.541-3.077 2.91-2.982 3.335 1.081 4.868 3.55 1.339 3.555 1.355 1.39 4.405-1.227 1.729-1.618 2.449-1.618 2.983 0 .999.52 1.254 3.627 1.776 2.617.441 3.2.7 3.2 1.422 0 .148-.48 1.316-1.067 2.594-1.826 3.977-1.618 4.308 2.704 4.308 4.025 0 3.918-.123 3.051 3.507-.654 2.736-.664 3.26-.072 3.851.453.454 1.307.403 3.978-.236 2.04-.487 2.398-.521 2.871-.268l.54.289-.146 2.935c-.145 2.934-.144 2.936.388 3.469.293.293.722.533.952.533.23 0 1.554-.516 2.943-1.147 3.447-1.565 3.425-1.578 4.061 2.246.504 3.031.798 3.594 1.874 3.594.267 0 1.494-.72 2.728-1.6 2.167-1.546 2.729-1.788 3.306-1.421.149.094.727 1.364 1.284 2.822.819 2.144 1.119 2.702 1.575 2.92.868.416 1.405.082 3.445-2.14 2.463-2.683 2.564-2.67 4.575.589 2.221 3.598 2.796 3.59 5.073-.073 1.962-3.156 1.939-3.154 4.591-.384 1.761 1.838 2.136 2.131 2.73 2.131.379 0 .832-.142 1.005-.316.174-.174.75-1.459 1.28-2.855.53-1.397 1.079-2.613 1.221-2.703.561-.357 1.142-.106 3.306 1.43 1.274.905 2.473 1.6 2.758 1.6 1.058 0 1.44-.751 1.88-3.703.376-2.517.452-2.758.947-3.009.487-.247.779-.164 3.063.873 1.389.63 2.713 1.146 2.943 1.146.23 0 .666-.247.967-.549l.549-.548-.151-2.815c-.144-2.688-.131-2.832.298-3.22.441-.399.486-.397 2.952.166 2.986.682 3.543.7 4.104.139.548-.548.542-.668-.208-3.831-.841-3.548-.954-3.422 3.088-3.422 2.755 0 3.062-.039 3.413-.426.586-.648.447-1.39-.732-3.903-.595-1.266-1.078-2.418-1.074-2.56.02-.747.607-1.002 3.32-1.443 1.66-.269 2.902-.581 3.127-.784.754-.681.477-1.567-1.244-3.98-2.157-3.024-2.148-3.053 1.306-4.326 4.136-1.524 4.254-2.032 1.159-4.973-2.867-2.724-2.868-2.709.272-4.637 3.796-2.33 3.802-2.855.067-5.173-3.212-1.993-3.21-1.965-.331-4.699 3.088-2.934 3.004-3.318-1.057-4.871-3.584-1.371-3.595-1.405-1.417-4.394 1.297-1.78 1.618-2.371 1.618-2.981 0-1.066-.478-1.305-3.622-1.813-2.627-.424-3.205-.682-3.205-1.429 0-.142.48-1.285 1.067-2.542 1.149-2.461 1.31-3.446.66-4.035-.349-.316-.817-.361-3.321-.32-2.62.044-2.955.007-3.318-.358-.397-.399-.393-.455.227-3.042.76-3.17.763-3.247.138-3.834-.634-.596-1.03-.586-3.941.099-2.121.5-2.472.533-2.954.275l-.547-.293.151-2.926.152-2.925-.547-.547c-.301-.301-.728-.547-.95-.547-.221 0-1.538.523-2.926 1.161-2.318 1.067-2.567 1.138-3.068.876-.5-.262-.583-.52-1.01-3.127-.493-3.016-.798-3.603-1.869-3.603-.254 0-1.513.755-2.798 1.678-2.11 1.516-2.393 1.659-2.919 1.476-.435-.152-.688-.483-.997-1.306-.229-.606-.667-1.774-.975-2.595-.622-1.656-.969-2.027-1.901-2.027-.52 0-.991.374-2.679 2.127-2.653 2.756-2.663 2.755-4.614-.445-.78-1.279-1.595-2.421-1.812-2.537-.488-.262-1.062-.261-1.511.002m2.418 9.635c2.311 1.645 1.082 5.512-1.752 5.512-2.75 0-4.135-3.313-2.171-5.194 1.108-1.062 2.697-1.191 3.923-.318m-2.906 10.214c1.515.576 2.137.23 5.596-3.104l2.599-2.506 1.1.146c3.45.458 10.312 3.472 14.255 6.261 3.623 2.564 8.438 7.786 10.49 11.377l.439.769-1.944 4.38c-1.07 2.409-1.945 4.633-1.945 4.944 0 .717.47 1.851.923 2.226.191.159 2.006 1.033 4.033 1.942l3.684 1.654.145.937c.187 1.221.212 4.22.042 5.072l-.133.666h-2.103c-2.439 0-2.251-.218-2.383 2.774-.096 2.169-.62 3.368-1.812 4.144-1.942 1.267-5.149 1.037-6.509-.466-.209-.231-.615-1.392-.903-2.581-.841-3.473-1.971-5.423-4.241-7.32-.717-.599-1.303-1.158-1.303-1.243 0-.084.788-.748 1.752-1.473 3.51-2.646 5.528-5.726 5.75-8.777.423-5.819-4.213-11.243-11.109-13.001-1.635-.417-2.333-.43-22.56-.43-11.48 0-20.873-.075-20.873-.166 0-.215 2.551-2.691 4.054-3.933 4.127-3.412 9.488-6.097 15.04-7.531l1.92-.497 2.728 2.766c1.501 1.521 2.972 2.857 3.268 2.97M27.432 48.526c1.257.823 1.772 2.891 1.03 4.134-1.148 1.924-4.056 2.005-5.205.145-1.671-2.702 1.547-6.001 4.175-4.279m74.05.105c3.288 2.005.74 6.937-2.78 5.38-2.35-1.04-2.425-4.252-.127-5.424.959-.489 2.061-.472 2.907.044M37.12 60.907v12.266H26.276l-.43-1.866c-.846-3.675-1.202-7.477-.989-10.591l.149-2.188 3.728-1.672c2.339-1.048 3.843-1.847 4.037-2.144.848-1.293.767-2.217-.423-4.845l-.556-1.227h5.328v12.267m31.22-11.733c2.322.604 3.549 1.833 3.552 3.556.002 1.265-.625 2.059-2.18 2.761-1.101.498-1.276.51-8.219.578l-7.093.068v-7.284h6.355c4.964 0 6.625.07 7.585.321m-2.396 17.602c1.151.32 2.512 1.32 3.21 2.359.733 1.092 1.162 2.512 2.178 7.216.858 3.976 1.41 5.276 2.956 6.968 1.915 2.095 1.471 2.014 11.037 2.014 4.581 0 8.328.073 8.328.163 0 .161-3.155 3.891-3.291 3.891-.039 0-1.687-.345-3.662-.767-5.577-1.191-5.778-1.051-7.058 4.926l-.823 3.84-.743.366c-1.24.612-5.27 1.872-7.359 2.302-3.452.71-7.209.95-10.511.671-5.629-.477-13.083-2.661-13.374-3.92-.062-.267-.437-1.995-.832-3.841-.396-1.846-.877-3.597-1.069-3.891-.923-1.408-1.894-1.495-6.164-.55-1.617.358-3.028.65-3.136.65-.203 0-3.204-3.47-3.204-3.704 0-.073 7.128-.158 15.84-.188l15.84-.054.057-5.627c.04-3.973-.015-5.714-.187-5.92-.192-.232-1.214-.293-4.91-.293H54.4V66.56l5.387.001c2.962.001 5.733.098 6.157.215M41.536 92.365c2.519 1.535 1.311 5.557-1.668 5.554-3.055-.002-4.187-3.987-1.584-5.575.861-.525 2.374-.515 3.252.021m46.126.168c1.235.905 1.646 2.788.881 4.042-2.009 3.295-7.033.676-5.355-2.791.825-1.703 3.018-2.317 4.474-1.251" fill-rule="evenodd"/></svg>

-21

langs.svg

Reviewed

··· 1 1 - <svg fill="none" xmlns="http://www.w3.org/2000/svg"> 2 2 - <foreignObject width="100%" height="100%"> 3 3 - <div xmlns="http://www.w3.org/1999/xhtml"> 4 4 - <style> 5 5 - img { 6 6 - background-color: white; 7 7 - } 8 8 - </style> 9 9 - <p> 10 10 - <a href="https://leanprover.github.io/"><img src="https://leanprover.github.io/images/lean_logo.svg" alt="lean" width="80" height="80"/></a> 11 11 - <a href="https://github.com/utensil?direction=desc&amp;language=rust&amp;sort=stars&amp;tab=stars"><img src="https://cdn.jsdelivr.net/gh/devicons/devicon/icons/rust/rust-plain.svg" alt="rust" width="80" height="80"/></a> 12 12 - <a href="https://dl.acm.org/doi/abs/10.1145/3386320"><img src="https://cdn.jsdelivr.net/gh/devicons/devicon/icons/cplusplus/cplusplus-original.svg" alt="cplusplus" width="80" height="80"/></a> 13 13 - <!-- <a href=""><img src="https://devicons.github.io/devicon/devicon.git/icons/java/java-original-wordmark.svg" alt="java" width="80" height="80"/></a> --> 14 14 - <a href="https://github.com/utensil?direction=desc&amp;language=javascript&amp;sort=stars&amp;tab=stars"><img src="https://cdn.jsdelivr.net/gh/devicons/devicon/icons/javascript/javascript-original.svg" alt="javascript" width="80" height="80"/></a> 15 15 - <a href="https://github.com/utensil?direction=desc&amp;language=julia&amp;sort=stars&amp;tab=stars"><img src="https://julialang.org/assets/infra/logo.svg" alt="julia" width="80" height="80"/></a> 16 16 - <a href="https://github.com/utensil?direction=desc&amp;language=python&amp;sort=stars&amp;tab=stars"><img src="https://cdn.jsdelivr.net/gh/devicons/devicon/icons/python/python-original-wordmark.svg" alt="python" width="80" height="80"/></a> 17 17 - <a href="http://railscasts.com/"><img src="https://cdn.jsdelivr.net/gh/devicons/devicon/icons/ruby/ruby-original-wordmark.svg" alt="ruby" width="80" height="80"/></a> 18 18 - </p> 19 19 - </div> 20 20 - </foreignObject> 21 21 - </svg>