Similar to Lean_(証明アシスタント)

• 

  Lean (証明アシスタント)

  Lean (proof assistant)
  
• 

  F Sharp

  F Sharp (programming language)
  
• 

  Windows UI Library

  Windows UI Library
  
• 

  CatBoost

  CatBoost
  
• 

  Gleam (プログラミング言語)

  Gleam (programming language)
  
• 

  Mathematica

  Wolfram Mathematica
  
• 

  PowerShell

  PowerShell
  
• 

  Q Sharp

  Q Sharp
  
• 

  TypeScript

  TypeScript
  
• 

  ASP.NET

  ASP.NET
  
• 

  ASP.NET MVC Framework

  ASP.NET MVC
  
• 

  Azure Linux

  Azure Linux
  
• 

  Entity Framework

  Entity Framework
  
• 

  LightGBM

  LightGBM
  
• 

  Microsoft PowerToys

  Microsoft PowerToys
  
• 

  SONiC (オペレーティングシステム)

  SONiC (operating system)
  
• 

  Windows Terminal

  Windows Terminal
  
• 

  WiX

  WiX
  
• 

  Mimalloc

  Mimalloc
  
• 

  OBS Studio

  OBS Studio
  
• 

  Leela Chess Zero

  Leela Chess Zero
  
• 

  LibreOffice

  LibreOffice
  ▲1 trends

  
• 

  XGBoost

  XGBoost
  
• 

  XLA (コンパイラ)

  Accelerated Linear Algebra
  
• 

  Apache OpenOffice

  Apache OpenOffice
  
• 

  Tesseract (ソフトウェア)

  Tesseract (software)
  
• 

  Clean

  Clean (programming language)
  
• 

  Clojure

  Clojure