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
• 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 3 years ago
• esin / jenkins-agent
  Jenkins agent with some improvements
  ☆13Updated 2 years ago
• esin / unetbootin
  UNetbootin installs Linux/BSD distributions to a partition or USB drive
  ☆15Updated 3 years ago
• esin / acode-plugin-prettier
  Code formatter plugin for Acode editor for Android
  ☆10Updated 2 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
• 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 4 months ago
• kulikov-dev / Binance.Net
  Some improvements on a Binance.net main repo for specific tasks. Merged to the main brunch
  ☆12Updated 7 months 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
• gerMdz / jsmaster
  ☆10Updated 7 months 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
• EyuCoder / EyuCoder
  ☆9Updated last year
• esin / markThisTab
  Chrome extension, which marks tabs
  ☆30Updated 3 years ago
• JubayerRiyad / JubayerRiyad.github.io
  ☆13Updated 2 years ago
• gerMdz / AkonFORMS
  Forms for you ministry
  ☆14Updated 4 months ago
• gerMdz / lear-vue
  My learning vue class
  ☆10Updated 2 weeks ago
• gerMdz / IncaLINKS
  Enlaces dinámicos fáciles de recordar
  ☆16Updated 2 months ago
• Omar95-A / Omar95-A
  Config files for my GitHub profile.
  ☆20Updated 10 months ago
• kulikov-dev / CryptoExchange.Net
  Some improvements on the main repo for specific tasks. Merged to the main brunch
  ☆16Updated 2 years ago
• kulikov-dev / Bybit.Net
  Some improvements on a Bybit.net main repo for specific tasks. Merged to the main brunch
  ☆14Updated 2 years ago
• 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
• 5c0 / awesome-linux
  A list of awesome projects and resources that make Linux even more awesome.
  ☆9Updated 3 years ago
• esin / zabitok-front
  ☆16Updated 5 years ago
• kulikov-dev / TimeSheet
  A small console util to create time sheet reports for a department.
  ☆10Updated 2 years ago
• Omar95-A / My-Portfolio-Website
  My portfolio website to showcases and highlights my projects, achievements, skills, and experiences.
  ☆16Updated last year
• 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
• Omar95-A / Website-Project-1
  A Website Called 'Don't Give Up' Is a Online Social Counseling Platform. Provide Online Counseling Services. For Get Support and Guidance…
  ☆12Updated last year
• Solomonkassa / alx-system_engineering-devops
  ☆10Updated last year