Alternatives and similar repositories for Lean

Users that are interested in Lean are comparing it to the libraries listed below

• themiralay / tor
  unofficial git repo -- report bugs/issues/pull requests on https://trac.torproject.org/ --
  ☆10Updated 2 years ago
• esin / yandex-cloud
  ☆12Updated 2 years ago
• anathonic / Thesis
  ☆11Updated 3 years ago
• esin / jenkins-agent
  Jenkins agent with some improvements
  ☆13Updated 3 years ago
• Ananiyaadefres / how-to-code
  ☆8Updated 2 years ago
• 5c0 / awesome-linux
  A list of awesome projects and resources that make Linux even more awesome.
  ☆9Updated 3 years ago
• CodingWithEnjoy / GitHub-Account-Finder-HTML-CSS-JS
  جستجوگر گیتهاب | GitHub Account Finder
  ☆12Updated 2 years ago
• 5c0 / the-book-of-secret-knowledge
  A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.
  ☆10Updated 2 years ago
• CodingWithEnjoy / React-OHMOJI
  برنامه ایموجی | All Emojies 🚀🔴😊
  ☆13Updated 2 years ago
• tulna07 / farmstead
  🖼 A simple webpage layout.
  ☆12Updated 2 years ago
• esin / markThisTab
  Chrome extension, which marks tabs
  ☆30Updated 3 years ago
• tulna07 / imroz
  🖼 A simple webpage layout built with HTML5, CSS3, Sass and Bootstrap 4.
  ☆11Updated 2 years ago
• ali123321123 / vue-trivia-game
  ☆9Updated 3 years ago
• kulikov-dev / GeoPlanarNet
  A simple and small .NET library for computational planar geometry.
  ☆18Updated 2 years ago
• JubayerRiyad / JubayerRiyad.github.io
  ☆13Updated 2 years ago
• mdhachem / mdhachem
  ☆12Updated 2 years ago
• esin / sibeeshvenu
  I am showing the image of the titles of my recent 5 blog posts on my GitHub home page automatically. I did it using the Azure Function, A…
  ☆13Updated 4 years ago
• isyuricunha / NecesseMod-CarpentersSalvation
  The early stages of a mod for the game Necesse that strives to add various building objects and cosmetic options to in game structures.
  ☆10Updated 7 months ago
• esin / unetbootin
  UNetbootin installs Linux/BSD distributions to a partition or USB drive
  ☆15Updated 3 years ago
• isyuricunha / yuricunha
  ☆10Updated last year
• CodingWithEnjoy / React-Tenzi-Game
  Tenzi Game | بازی تاس ها 😊😉
  ☆17Updated 2 years ago
• themiralay / ICEx-CaptchaGenerator
  It enables you to download the captcha that comes up while creating your hotmail, outlook and windows live accounts. This Project is desi…
  ☆14Updated 4 years ago
• lkotlarenko / Project-Solar-System
  A simple React application that simulates a visualization of the solar system, as well as information on several spaces missions that occ…
  ☆13Updated 3 years ago
• esin / acode-plugin-prettier
  Code formatter plugin for Acode editor for Android
  ☆10Updated 3 years ago
• EleoXDA / EleoXDA
  Basic info about me
  ☆14Updated 6 months ago
• naruhitokaide / naruhitokaide
  Config files for my GitHub profile.
  ☆27Updated last month
• ali123321123 / KafkaTutorial
  This KafkaTutorial to learn about using Kafka with Java
  ☆11Updated 3 years ago
• anathonic / Modeling-and-Design-WebServices
  API in Node.js, creating endpoints and testing
  ☆12Updated 4 years ago
• isyuricunha / study
  Only for study.
  ☆8Updated 2 years ago
• gamemann / GLib-Tests
  A repository I'm using to learn hashing with GLib.
  ☆17Updated 2 years ago