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

Lean (proof assistant)

F Sharp (programming language)

Windows UI Library

CatBoost

Gleam (programming language)

Wolfram Mathematica

PowerShell

Q Sharp

TypeScript

ASP.NET MVC

Azure Linux

Entity Framework

LightGBM

SONiC (operating system)

Windows Terminal

WiX

Mimalloc

OBS Studio

Leela Chess Zero

LibreOffice

XGBoost

Accelerated Linear Algebra

Apache OpenOffice

Tesseract (software)

Clean (programming language)

Clojure

Common Lisp

Dylan (programming language)