Similar to Lean_(証明アシスタント)
Lean (証明アシスタント)
Lean (proof assistant)
Windows UI Library
Windows UI Library
F Sharp
F Sharp (programming language)
CatBoost
CatBoost
Gleam (プログラミング言語)
Gleam (programming language)
Mathematica
Wolfram Mathematica
Falkon
Falkon
PowerShell
PowerShell
Q Sharp
Q Sharp
TypeScript
TypeScript
ASP.NET MVC Framework
ASP.NET MVC
Azure Linux
Azure Linux
Entity Framework
Entity Framework
LightGBM
LightGBM
SONiC (オペレーティングシステム)
SONiC (operating system)
Windows Terminal
Windows Terminal
WiX
WiXMimalloc
Mimalloc
OBS Studio
OBS StudioLeela Chess Zero
Leela Chess Zero
LibreOffice
LibreOffice
XGBoost
XGBoost
XLA (コンパイラ)
Accelerated Linear Algebra
Apache OpenOffice
Apache OpenOffice
Tesseract (ソフトウェア)
Tesseract (software)
1093
1093 (number)Clean
Clean (programming language)
Clojure
Clojure