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
• kulikov-dev / TimeSheet
  A small console util to create time sheet reports for a department.
  ☆10Updated 2 years ago
• anteroselin / shifumi
  shifumi (rock-paper-scissors) game in react.js
  ☆10Updated 2 years ago
• bh717 / defi_App
  ☆10Updated 2 years ago
• Solomonkassa / alx-system_engineering-devops
  ☆10Updated last year
• Solomonkassa / zero_day
  This is my first repository as a full-stack engineer
  ☆11Updated 2 years ago
• naruhitokaide / naruhitokaide
  Config files for my GitHub profile.
  ☆27Updated 2 weeks ago
• anteroselin / gatsby-theme
  Get high-quality and customizable Gatsby themes to quickly bootstrap your website! Choose from many professionally created and impressive…
  ☆10Updated 2 years ago
• Spartanlasergun / calendar_widget
  Calendar widget for use with python tkinter
  ☆11Updated 2 months 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…
  ☆13Updated 4 years ago
• anathonic / Thesis
  ☆11Updated 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
• gerMdz / IncaLINKS
  Enlaces dinámicos fáciles de recordar
  ☆15Updated last month
• ali123321123 / KafkaTutorial
  This KafkaTutorial to learn about using Kafka with Java
  ☆11Updated 3 years ago
• mdhachem / mdhachem
  ☆12Updated 2 years ago
• kulikov-dev / GeoPlanarNet
  A simple and small .NET library for computational planar geometry.
  ☆18Updated 2 years ago
• Solomonkassa / printf
  Printf group project
  ☆11Updated last year
• kulikov-dev / CryptoExchange.Net
  Some improvements on the main repo for specific tasks. Merged to the main brunch
  ☆16Updated 2 years ago
• esin / yandex-cloud
  ☆12Updated 2 years ago
• Solomonkassa / alx-zero_day
  I'm now a ALX Student, this is my first repository as a full-stack engineer
  ☆12Updated 2 years ago
• anteroselin / vue-element-admin
  A magical vue admin
  ☆12Updated 2 years ago
• naruhitokaide / scramble-words
  ☆11Updated 2 years ago
• Ananiyaadefres / how-to-code
  ☆8Updated 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
• anathonic / AudioPlugin
  EQ Plugin created with C++17 and JUCE framework
  ☆11Updated 2 years ago
• naruhitokaide / core-wallet
  ☆11Updated 2 years ago
• esin / jenkins-agent
  Jenkins agent with some improvements
  ☆13Updated 2 years ago
• anteroselin / nft-viewer-solana
  Displays a list of Solana NFTs ( Non-Fungible Tokens) of a given address.
  ☆10Updated 2 years ago
• gerMdz / jsmaster
  ☆10Updated 9 months ago
• JubayerRiyad / JubayerRiyad.github.io
  ☆13Updated 2 years ago