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
• anathonic / Thesis
  ☆11Updated 3 years ago
• 5c0 / awesome-linux
  A list of awesome projects and resources that make Linux even more awesome.
  ☆9Updated 3 years ago
• esin / yandex-cloud
  ☆12Updated 2 years ago
• esin / markThisTab
  Chrome extension, which marks tabs
  ☆30Updated 3 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
• esin / acode-plugin-prettier
  Code formatter plugin for Acode editor for Android
  ☆10Updated 3 years ago
• esin / jenkins-agent
  Jenkins agent with some improvements
  ☆13Updated 3 years ago
• kulikov-dev / GeoPlanarNet
  A simple and small .NET library for computational planar geometry.
  ☆18Updated 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 5 years ago
• anathonic / AudioPlugin
  EQ Plugin created with C++17 and JUCE framework
  ☆11Updated 3 years ago
• 5c0 / 5c0
  5⃟¢⊘
  ☆12Updated this week
• tulna07 / imroz
  🖼 A simple webpage layout built with HTML5, CSS3, Sass and Bootstrap 4.
  ☆11Updated 2 years ago
• Sen-Takatsuki / hugo-notepadium
  a fast gohugo theme, 100% JavaScript-free.
  ☆19Updated 3 years ago
• themiralay / pandas-ta
  Technical Analysis Indicators - Pandas TA is an easy to use Python 3 Pandas Extension with 130+ Indicators
  ☆32Updated 2 years ago
• naruhitokaide / core-wallet
  ☆11Updated 2 years ago
• naruhitokaide / Awsome-Nest-Boilerplates
  ☆10Updated 2 years ago
• naruhitokaide / battery-level-indicator
  ☆9Updated 2 years ago
• naruhitokaide / bsc-alpaca-contract
  ☆10Updated 2 years ago
• Sen-Takatsuki / Hacktoberfest2022
  Make your first Pull Request on Hacktoberfest 2022. Don't forget to spread love and if you like give us a ⭐️
  ☆22Updated 2 years ago
• CodingWithEnjoy / GitHub-Account-Finder-HTML-CSS-JS
  جستجوگر گیتهاب | GitHub Account Finder
  ☆12Updated 2 years ago
• naruhitokaide / scramble-words
  ☆11Updated 2 years ago
• naruhitokaide / JPMC_Virtual-Internship_Task
  ☆17Updated 2 years ago
• tulna07 / farmstead
  🖼 A simple webpage layout.
  ☆12Updated 2 years ago
• kulikov-dev / TimeSheet
  A small console util to create time sheet reports for a department.
  ☆10Updated 2 years ago
• naruhitokaide / naruhitokaide
  Config files for my GitHub profile.
  ☆27Updated last month
• naruhitokaide / text-to-audio
  ☆12Updated 2 years ago
• naruhitokaide / Calulator-Django
  ☆10Updated 2 years ago
• naruhitokaide / async-lock
  ☆10Updated 2 years ago
• naruhitokaide / euphorus_back
  ☆10Updated 2 years ago