Maarufu: Data ilisasishwa 14 Novemba 2026

Kategoria

Intaneti1,413
Mawasiliano327
Sauti na video935
Michoro na usanifu562
Ofisi na tija1,175
Zana za wasanidi3,276
Zana za AI605
Usalama na faragha407
Zana za mfumo3,182
Michezo544
Elimu na sayansi241
Mtandao na TEHAMA293

Pakua Lean 4.19.0

Programming Language and Theorem Prover

Maarufu zaidi katika IDE na vihariri vya msimbo

Ona zote
  1. RStudioIDE na vihariri vya msimbo · Posit Software
  2. Node.js (LTS)IDE na vihariri vya msimbo · Node.js Foundation
  3. Apache NetBeansIDE na vihariri vya msimbo · Apache NetBeans
  4. VSCodiumIDE na vihariri vya msimbo · VSCodium
  5. HaxeIDE na vihariri vya msimbo · Haxe Foundation
  6. ThonnyIDE na vihariri vya msimbo · Aivar Annamaa
  7. GDevelopIDE na vihariri vya msimbo · GDevelop Team
  8. mkcertIDE na vihariri vya msimbo · FiloSottile
  9. ProcessingIDE na vihariri vya msimbo · Processing Foundation
  10. Android StudioIDE na vihariri vya msimbo · Google LLC

Zaidi kutoka Lean FRO

Ona zote

Lebo

Shiriki