Maarufu: Data ilisasishwa 15 Novemba 2026

Kategoria

Intaneti1,415
Mawasiliano328
Sauti na video936
Michoro na usanifu561
Ofisi na tija1,176
Zana za wasanidi3,279
Zana za AI605
Usalama na faragha407
Zana za mfumo3,183
Michezo544
Elimu na sayansi241
Mtandao na TEHAMA292

Pakua Lean 4.24.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