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 / GeoPlanarNet
  A simple and small .NET library for computational planar geometry.
  ☆18Updated 2 years ago
• esin / yandex-cloud
  ☆12Updated 2 years ago
• kulikov-dev / Binance.Net
  Some improvements on a Binance.net main repo for specific tasks. Merged to the main brunch
  ☆11Updated 4 months ago
• tulna07 / thesis
  ☆8Updated 2 years ago
• kulikov-dev / CryptoExchange.Net
  Some improvements on the main repo for specific tasks. Merged to the main brunch
  ☆15Updated last year
• 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 last month
• kulikov-dev / Bybit.Net
  Some improvements on a Bybit.net main repo for specific tasks. Merged to the main brunch
  ☆12Updated 2 years ago
• JubayerRiyad / JubayerRiyad.github.io
  ☆13Updated last year
• kulikov-dev / TimeSheet
  A small console util to create time sheet reports for a department.
  ☆10Updated 2 years ago
• Noumanabegum / Quote-Generator
  Random Quote Generator Website
  ☆12Updated last year
• Aziz-AXG / drink-menu-frontend
  react app to display my backend app
  ☆14Updated 2 years ago
• vjanz / questionnaire-laravel
  ☆20Updated last year
• isyuricunha / massage-alternativa
  Website for Massage Alternativa.
  ☆0Updated 2 weeks ago
• themiralay / pandas-ta
  Technical Analysis Indicators - Pandas TA is an easy to use Python 3 Pandas Extension with 130+ Indicators
  ☆31Updated 2 years ago
• anathonic / Thesis
  ☆11Updated 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 last year