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
• EyuCoder / EyuCoder
  ☆9Updated last year
• kulikov-dev / GeoPlanarNet
  A simple and small .NET library for computational planar geometry.
  ☆18Updated 2 years ago
• 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 2 years ago
• kulikov-dev / CryptoExchange.Net
  Some improvements on the main repo for specific tasks. Merged to the main brunch
  ☆15Updated last year
• kulikov-dev / Binance.Net
  Some improvements on a Binance.net main repo for specific tasks. Merged to the main brunch
  ☆11Updated 5 months ago
• 5c0 / awesome-linux
  A list of awesome projects and resources that make Linux even more awesome.
  ☆9Updated 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
• 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
• 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
• themiralay / pandas-ta
  Technical Analysis Indicators - Pandas TA is an easy to use Python 3 Pandas Extension with 130+ Indicators
  ☆32Updated 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
  ☆16Updated 2 years ago
• 5c0 / 5c0
  5⃟¢⊘
  ☆12Updated this week
• mdhachem / mdhachem
  ☆12Updated 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
• safaeean / start
  ☆9Updated last year
• kulikov-dev / OzonTechContest
  OzonTech contest tasks solutions for .Net Route256
  ☆10Updated 2 years ago
• Omar95-A / Omar95-A
  Config files for my GitHub profile.
  ☆20Updated 8 months ago
• AlianeAmaral / JAVA_estruturas_repetitivas
  Exercícios de Estruturas Repetitivas em JAVA. Realizados com base no conteúdo do curso de JAVA Programação Orientada a Objetos, Prof. Nél…
  ☆9Updated last year
• bh717 / defi_App
  ☆10Updated 2 years ago
• Solomonkassa / printf
  Printf group project
  ☆11Updated last year
• AlianeAmaral / JAVA_estruturas_condicionais
  Exercícios de Estruturas Condicionais em JAVA. Realizados com base no conteúdo do curso de JAVA Programação Orientada a Objetos, Prof. Né…
  ☆12Updated last year
• JubayerRiyad / html_pack
  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…
  ☆19Updated 2 years ago
• kulikov-dev / TimeSheet
  A small console util to create time sheet reports for a department.
  ☆10Updated 2 years ago
• IDouble / ghidra
  Ghidra is a software reverse engineering (SRE) framework
  ☆24Updated 2 years ago
• anathonic / Thesis
  ☆11Updated 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 2 months ago