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
• JubayerRiyad / JubayerRiyad.github.io
  ☆13Updated 2 years ago
• kulikov-dev / GeoPlanarNet
  A simple and small .NET library for computational planar geometry.
  ☆18Updated 2 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
• tulna07 / farmstead
  🖼 A simple webpage layout.
  ☆12Updated 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…
  ☆13Updated 4 years ago
• esin / yandex-cloud
  ☆12Updated 2 years ago
• tulna07 / imroz
  🖼 A simple webpage layout built with HTML5, CSS3, Sass and Bootstrap 4.
  ☆11Updated 2 years ago
• mdhachem / mdhachem
  ☆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
• kulikov-dev / Binance.Net
  Some improvements on a Binance.net main repo for specific tasks. Merged to the main brunch
  ☆12Updated 6 months ago
• esin / acode-plugin-prettier
  Code formatter plugin for Acode editor for Android
  ☆10Updated 2 years ago
• anteroselin / shifumi
  shifumi (rock-paper-scissors) game in react.js
  ☆10Updated 2 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 3 months ago
• kulikov-dev / CryptoExchange.Net
  Some improvements on the main repo for specific tasks. Merged to the main brunch
  ☆16Updated 2 years ago
• Spartanlasergun / calendar_widget
  Calendar widget for use with python tkinter
  ☆11Updated this week
• kulikov-dev / Bybit.Net
  Some improvements on a Bybit.net main repo for specific tasks. Merged to the main brunch
  ☆14Updated 2 years ago
• JubayerRiyad / jub_badge
  I'm Jubayer Riyad Web Design and Developer. I am very passionate and dedicated to my work. I have acquired the skill and knowledge necess…
  ☆11Updated 2 years ago
• Aziz-AXG / drink-menu-frontend
  react app to display my backend app
  ☆16Updated 2 years ago
• Omar95-A / firat-Hastanesi-Otomasyonu
  Firat Hospital Automation System (Fırat Hastanesi Otomasyonu). Software Project Management (YMÜ 416 Yazılım Proje Yönetimi) course projec…
  ☆18Updated last year
• 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
• vjanz / questionnaire-laravel
  ☆20Updated last year
• Omar95-A / AirelineManagamentSystem
  Airline Management System (Havayolu Yönetim Sistemi). Software Validation and Testing (YMÜ 415 Yazılım Geçerleme ve Sınama) course projec…
  ☆10Updated last year
• anathonic / Mobile-applications
  Xamarin Mobile App Development
  ☆14Updated 3 years 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
• 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
• cosmohacker / cosmohacker
  About me
  ☆17Updated last year
• anteroselin / vue-element-admin
  A magical vue admin
  ☆12Updated 2 years ago