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

• 

  Leela Chess Zero

  Leela Chess Zero
  
• 

  7-Zip

  7-Zip
  ▼-1 trends

  
• 

  Ghidra

  Ghidra
  
• 

  K Desktop Environment 2

  K Desktop Environment 2
  
• 

  Mednafen

  Mednafen
  
• 

  OpenFOAM

  OpenFOAM
  
• 

  PPSSPP

  PPSSPP
  
• 

  Qt Creator

  Qt Creator
  
• 

  RPCS3

  RPCS3
  
• 

  Snappy (データ圧縮)

  Snappy (compression)
  
• 

  Vita3K

  
• 

  WebKit

  WebKit
  
• 

  WinMerge

  WinMerge
  
• 

  Apache OpenOffice

  Apache OpenOffice
  
• 

  KiCad

  KiCad
  
• 

  Chromium

  Chromium (web browser)
  ▼-1 trends

  
• 

  Chromium Embedded Framework

  Chromium Embedded Framework
  
• 

  Gecko

  Gecko (software)
  
• 

  Mozilla Firefox

  Firefox
  
• 

  Apache License

  Apache License
  
• 

  Buck (ソフトウェア)

  Buck (software)
  
• 

  Ceylon

  Ceylon (programming language)
  
• 

  GrapheneOS

  GrapheneOS
  
• 

  Sigar

  Sigar (software)
  ▼-2 trends

  
• 

  Zulip

  Zulip
  
• 

  Google パーソンファインダー

  Google Person Finder
  
• 

  フライデーナイトファンキン

  Friday Night Funkin'
  
• 

  Prometheus (ソフトウェア)

  Prometheus (software)