āĻ‡āĻ‚āĻ°ā§‡āĻœāĻŋāĻĢāĻ°āĻžāĻ¸āĻŋāĻ¸ā§āĻĒā§āĻ¯āĻžāĻ¨āĻŋāĻļ

āĻ…āĻ¨āĻ“āĻ¯āĻŧāĻžāĻ°ā§āĻ•āĻ¸ āĻĢā§‡āĻ­āĻŋāĻ•āĻ¨

coqtop.byte - āĻ•ā§āĻ˛āĻžāĻ‰āĻĄā§‡ āĻ…āĻ¨āĻ˛āĻžāĻ‡āĻ¨

āĻ‰āĻŦā§āĻ¨ā§āĻŸā§ āĻ…āĻ¨āĻ˛āĻžāĻ‡āĻ¨, āĻĢā§‡āĻĄā§‹āĻ°āĻž āĻ…āĻ¨āĻ˛āĻžāĻ‡āĻ¨, āĻ‰āĻ‡āĻ¨ā§āĻĄā§‹āĻœ āĻ…āĻ¨āĻ˛āĻžāĻ‡āĻ¨ āĻāĻŽā§āĻ˛ā§‡āĻŸāĻ° āĻŦāĻž MAC OS āĻ…āĻ¨āĻ˛āĻžāĻ‡āĻ¨ āĻāĻŽā§āĻ˛ā§‡āĻŸāĻ°ā§‡āĻ° āĻŽāĻžāĻ§ā§āĻ¯āĻŽā§‡ OnWorks āĻŦāĻŋāĻ¨āĻžāĻŽā§‚āĻ˛ā§āĻ¯ā§‡ āĻšā§‹āĻ¸ā§āĻŸāĻŋāĻ‚ āĻĒā§āĻ°āĻĻāĻžāĻ¨āĻ•āĻžāĻ°ā§€āĻ¤ā§‡ coqtop.byte āĻšāĻžāĻ˛āĻžāĻ¨

āĻāĻŸāĻŋ coqtop.byte āĻ•āĻŽāĻžāĻ¨ā§āĻĄ āĻ¯āĻž āĻ†āĻŽāĻžāĻĻā§‡āĻ° āĻāĻ•āĻžāĻ§āĻŋāĻ• āĻŦāĻŋāĻ¨āĻžāĻŽā§‚āĻ˛ā§āĻ¯ā§‡āĻ° āĻ…āĻ¨āĻ˛āĻžāĻ‡āĻ¨ āĻ“āĻ¯āĻŧāĻžāĻ°ā§āĻ•āĻ¸ā§āĻŸā§‡āĻļāĻ¨ āĻ¯ā§‡āĻŽāĻ¨ āĻ‰āĻŦā§āĻ¨ā§āĻŸā§ āĻ…āĻ¨āĻ˛āĻžāĻ‡āĻ¨, āĻĢā§‡āĻĄā§‹āĻ°āĻž āĻ…āĻ¨āĻ˛āĻžāĻ‡āĻ¨, āĻ‰āĻ‡āĻ¨ā§āĻĄā§‹āĻœ āĻ…āĻ¨āĻ˛āĻžāĻ‡āĻ¨ āĻāĻŽā§āĻ˛ā§‡āĻŸāĻ° āĻŦāĻž MAC OS āĻ…āĻ¨āĻ˛āĻžāĻ‡āĻ¨ āĻāĻŽā§āĻ˛ā§‡āĻŸāĻ° āĻŦā§āĻ¯āĻŦāĻšāĻžāĻ° āĻ•āĻ°ā§‡ OnWorks āĻĢā§āĻ°āĻŋ āĻšā§‹āĻ¸ā§āĻŸāĻŋāĻ‚ āĻĒā§āĻ°āĻĻāĻžāĻ¨āĻ•āĻžāĻ°ā§€āĻ¤ā§‡ āĻšāĻžāĻ˛āĻžāĻ¨ā§‹ āĻ¯ā§‡āĻ¤ā§‡ āĻĒāĻžāĻ°ā§‡āĨ¤

āĻ•āĻžāĻ°ā§āĻ¯āĻ•ā§āĻ°āĻŽ:

NAME āĻāĻ°


coqtop.byte - āĻŦāĻžāĻ‡āĻŸāĻ•ā§‹āĻĄ Coq āĻŸāĻĒāĻ˛ā§‡āĻ­ā§‡āĻ˛

āĻ¸āĻžāĻ‡āĻ¨ā§‹āĻĒāĻŋāĻ¸āĻŋāĻ¸


coqtop.byte [ āĻ…āĻĒāĻļāĻ¨ ] [ āĻĢāĻžāĻ‡āĻ˛ ]

āĻŦāĻ°ā§āĻŖāĻ¨āĻžāĻƒ


coqopt.byte Coq āĻāĻ° āĻŦāĻžāĻ‡āĻŸāĻ•ā§‹āĻĄ āĻ¸āĻ‚āĻ¸ā§āĻ•āĻ°āĻŖāĨ¤ āĻāĻŸāĻž āĻ¸āĻ°āĻžāĻ¸āĻ°āĻŋ āĻŦāĻ˛āĻž āĻ‰āĻšāĻŋāĻ¤ āĻ¨āĻ¯āĻŧ, āĻ•āĻŋāĻ¨ā§āĻ¤ā§ āĻļā§āĻ§ā§āĻŽāĻžāĻ¤ā§āĻ° āĻĻā§āĻŦāĻžāĻ°āĻž
āĻ•ā§‹āĻ•āĻŸāĻĒ āĻāĻŦāĻ‚ coqc

onworks.net āĻĒāĻ°āĻŋāĻˇā§‡āĻŦāĻž āĻŦā§āĻ¯āĻŦāĻšāĻžāĻ° āĻ•āĻ°ā§‡ āĻ…āĻ¨āĻ˛āĻžāĻ‡āĻ¨ā§‡ coqtop.byte āĻŦā§āĻ¯āĻŦāĻšāĻžāĻ° āĻ•āĻ°ā§āĻ¨


āĻŦāĻŋāĻ¨āĻžāĻŽā§‚āĻ˛ā§āĻ¯ā§‡ āĻ¸āĻžāĻ°ā§āĻ­āĻžāĻ° āĻāĻŦāĻ‚ āĻ“āĻ¯āĻŧāĻžāĻ°ā§āĻ•āĻ¸ā§āĻŸā§‡āĻļāĻ¨

āĻ‰āĻ‡āĻ¨ā§āĻĄā§‹āĻœ āĻāĻŦāĻ‚ āĻ˛āĻŋāĻ¨āĻžāĻ•ā§āĻ¸ āĻ…ā§āĻ¯āĻžāĻĒ āĻĄāĻžāĻ‰āĻ¨āĻ˛ā§‹āĻĄ āĻ•āĻ°ā§āĻ¨

  • 1
    Eclipse Checkstyle āĻĒā§āĻ˛āĻžāĻ—-āĻ‡āĻ¨
    Eclipse Checkstyle āĻĒā§āĻ˛āĻžāĻ—-āĻ‡āĻ¨
    Eclipse Checkstyle āĻĒā§āĻ˛āĻžāĻ—-āĻ‡āĻ¨
    āĻšā§‡āĻ•āĻ¸ā§āĻŸāĻžāĻ‡āĻ˛ āĻœāĻžāĻ­āĻž āĻ•ā§‹āĻĄ āĻ¸āĻ‚āĻšāĻ¤ āĻ•āĻ°ā§‡
    Eclipse IDE āĻāĻ° āĻ¨āĻŋāĻ°ā§€āĻ•ā§āĻˇāĻ•āĨ¤ āĻĻā§āĻ¯
    āĻĒā§āĻ˛āĻžāĻ—-āĻ‡āĻ¨ āĻ°āĻŋāĻ¯āĻŧā§‡āĻ˛-āĻŸāĻžāĻ‡āĻŽ āĻĢāĻŋāĻĄāĻŦā§āĻ¯āĻžāĻ• āĻĒā§āĻ°āĻĻāĻžāĻ¨ āĻ•āĻ°ā§‡
    āĻ˛āĻ™ā§āĻ˜āĻ¨ āĻ¸āĻŽā§āĻĒāĻ°ā§āĻ•ā§‡ āĻŦā§āĻ¯āĻŦāĻšāĻžāĻ°āĻ•āĻžāĻ°ā§€...
    Eclipse Checkstyle āĻĒā§āĻ˛āĻžāĻ—-āĻ‡āĻ¨ āĻĄāĻžāĻ‰āĻ¨āĻ˛ā§‹āĻĄ āĻ•āĻ°ā§āĻ¨
  • 2
    AstrOrzPlayer
    AstrOrzPlayer
    AstrOrz Player āĻāĻ•āĻŸāĻŋ āĻŦāĻŋāĻ¨āĻžāĻŽā§‚āĻ˛ā§āĻ¯ā§‡āĻ° āĻŽāĻŋāĻĄāĻŋāĻ¯āĻŧāĻž āĻĒā§āĻ˛ā§‡āĻ¯āĻŧāĻžāĻ°
    āĻ¸āĻĢā§āĻŸāĻ“āĻ¯āĻŧā§āĻ¯āĻžāĻ°, WMP āĻāĻŦāĻ‚ VLC āĻ­āĻŋāĻ¤ā§āĻ¤āĻŋāĻ• āĻ…āĻ‚āĻļāĨ¤ āĻĻā§āĻ¯
    āĻĒā§āĻ˛ā§‡āĻ¯āĻŧāĻžāĻ° āĻāĻ•āĻŸāĻŋ minimalist āĻļā§ˆāĻ˛ā§€ āĻŽāĻ§ā§āĻ¯ā§‡, āĻ¸āĻ™ā§āĻ—ā§‡
    āĻĻāĻļāĻŸāĻŋāĻ°āĻ“ āĻŦā§‡āĻļāĻŋ āĻĨāĻŋāĻŽ āĻ°āĻ‚, āĻāĻŦāĻ‚ āĻāĻ›āĻžāĻĄāĻŧāĻžāĻ“ āĻ•āĻ°āĻ¤ā§‡ āĻĒāĻžāĻ°ā§‡āĻ¨
    āĻ– ...
    AstrOrzPlayer āĻĄāĻžāĻ‰āĻ¨āĻ˛ā§‹āĻĄ āĻ•āĻ°ā§āĻ¨
  • 3
    movistartv
    movistartv
    āĻ•ā§‹āĻĄāĻŋ āĻŽā§āĻ­āĻŋāĻ¸ā§āĻŸāĻžāĻ°+ āĻŸāĻŋāĻ­āĻŋ āĻāĻ•ā§āĻ¸āĻŦāĻŋāĻāĻŽāĻ¸āĻŋ-āĻāĻ° āĻœāĻ¨ā§āĻ¯ āĻ…ā§āĻ¯āĻžāĻĄāĻ¨
    āĻ•ā§‹āĻĄāĻŋ que āĻĒāĻžāĻ°āĻŽāĻŋāĻŸ āĻĄāĻŋāĻ¸āĻĒā§‹āĻ¨āĻžāĻ° āĻĄāĻŋ āĻ†āĻ¨
    āĻ†āĻ‡āĻĒāĻŋāĻŸāĻŋāĻ­āĻŋ āĻĄāĻŋ āĻ˛āĻ¸ āĻ¸āĻžāĻ°ā§āĻ­āĻŋāĻ¸ā§‡āĻ¸ āĻĄāĻŋāĻ•ā§‹āĻĄāĻŋāĻĢāĻŋāĻ•ā§‡āĻĄāĻ°
    āĻŽā§āĻ­āĻŋāĻ¸ā§āĻŸāĻžāĻ° āĻ‡āĻ¨ā§āĻŸāĻŋāĻ—ā§āĻ°ā§‡āĻĄā§‹ āĻāĻ¨ āĻ‡āĻ‰āĻ¨ā§‹ āĻĄāĻŋ āĻ˛āĻ¸
    āĻŽāĻŋāĻĄāĻŋāĻ¯āĻŧāĻž āĻ¸ā§‡āĻ¨ā§āĻŸāĻžāĻ° āĻŽāĻž...
    movistartv āĻĄāĻžāĻ‰āĻ¨āĻ˛ā§‹āĻĄ āĻ•āĻ°ā§āĻ¨
  • 4
    āĻ•ā§‹āĻĄ :: āĻŦā§āĻ˛āĻ•
    āĻ•ā§‹āĻĄ :: āĻŦā§āĻ˛āĻ•
    āĻ•ā§‹āĻĄ::āĻŦā§āĻ˛āĻ• āĻāĻ•āĻŸāĻŋ āĻŦāĻŋāĻ¨āĻžāĻŽā§‚āĻ˛ā§āĻ¯ā§‡āĻ°, āĻ“āĻĒā§‡āĻ¨ āĻ¸ā§‹āĻ°ā§āĻ¸,
    āĻ•ā§āĻ°āĻ¸-āĻĒā§āĻ˛ā§āĻ¯āĻžāĻŸāĻĢāĻ°ā§āĻŽ C, C++ āĻāĻŦāĻ‚ Fortran IDE
    āĻ¸āĻŦāĻšā§‡āĻ¯āĻŧā§‡ āĻšāĻžāĻšāĻŋāĻĻāĻžāĻĒā§‚āĻ°ā§āĻŖ āĻšāĻžāĻšāĻŋāĻĻāĻž āĻŽā§‡āĻŸāĻžāĻ¤ā§‡ āĻ¨āĻŋāĻ°ā§āĻŽāĻŋāĻ¤
    āĻāĻ° āĻŦā§āĻ¯āĻŦāĻšāĻžāĻ°āĻ•āĻžāĻ°ā§€āĻĻā§‡āĻ°āĨ¤ āĻāĻŸāĻž āĻ–ā§āĻŦ āĻšāĻ¤ā§‡ āĻĄāĻŋāĻœāĻžāĻ‡āĻ¨ āĻ•āĻ°āĻž āĻšāĻ¯āĻŧ
    āĻĒā§āĻ°āĻ¸āĻžāĻ°āĻŋāĻ¤...
    āĻĄāĻžāĻ‰āĻ¨āĻ˛ā§‹āĻĄ āĻ•ā§‹āĻĄ::āĻŦā§āĻ˛āĻ•
  • 5
    āĻŽāĻžāĻā§‡
    āĻŽāĻžāĻā§‡
    āĻŽāĻŋāĻĄāĻ¸ā§āĻŸ āĻŦāĻž āĻ…ā§āĻ¯āĻžāĻĄāĻ­āĻžāĻ¨ā§āĻ¸āĻĄ āĻŽāĻžāĻ‡āĻ¨āĻ•ā§āĻ°āĻžāĻĢā§āĻŸ āĻ‡āĻ¨ā§āĻŸāĻžāĻ°āĻĢā§‡āĻ¸
    āĻāĻŦāĻ‚ āĻĄā§‡āĻŸāĻž/āĻ¸ā§āĻŸā§āĻ°āĻžāĻ•āĻšāĻžāĻ° āĻŸā§āĻ°ā§āĻ¯āĻžāĻ•āĻŋāĻ‚ āĻāĻ•āĻŸāĻŋ āĻŸā§āĻ˛
    āĻāĻ•āĻŸāĻŋ Minecraft āĻāĻ•āĻŸāĻŋ āĻ“āĻ­āĻžāĻ°āĻ­āĻŋāĻ‰ āĻĒā§āĻ°āĻĻāĻ°ā§āĻļāĻ¨
    āĻŦāĻŋāĻļā§āĻŦ, āĻ†āĻ¸āĻ˛ā§‡ āĻāĻŸāĻŋ āĻ¤ā§ˆāĻ°āĻŋ āĻ¨āĻž āĻ•āĻ°ā§‡āĻ‡āĨ¤ āĻāĻŸāĻž
    āĻ•āĻ°āĻ¤ā§‡ āĻĒāĻžāĻ°āĻž ...
    āĻāĻ° āĻŽāĻ§ā§āĻ¯ā§‡ āĻĄāĻžāĻ‰āĻ¨āĻ˛ā§‹āĻĄ āĻ•āĻ°ā§āĻ¨
  • 6
    MSYS2
    MSYS2
    MSYS2 āĻšāĻ˛ āĻŸā§āĻ˛ā§‡āĻ° āĻāĻ•āĻŸāĻŋ āĻ¸āĻ‚āĻ—ā§āĻ°āĻš āĻāĻŦāĻ‚
    āĻ˛āĻžāĻ‡āĻŦā§āĻ°ā§‡āĻ°āĻŋ āĻ†āĻĒāĻ¨āĻŋ āĻāĻ•āĻŸāĻŋ āĻ¸āĻ™ā§āĻ—ā§‡ āĻĒā§āĻ°āĻĻāĻžāĻ¨
    āĻ¨āĻŋāĻ°ā§āĻŽāĻžāĻŖā§‡āĻ° āĻœāĻ¨ā§āĻ¯ āĻ¸āĻšāĻœā§‡ āĻŦā§āĻ¯āĻŦāĻšāĻžāĻ°āĻ¯ā§‹āĻ—ā§āĻ¯ āĻĒāĻ°āĻŋāĻŦā§‡āĻļ,
    āĻ¨ā§‡āĻŸāĻŋāĻ­ āĻ‰āĻ‡āĻ¨ā§āĻĄā§‹āĻœ āĻ‡āĻ¨āĻ¸ā§āĻŸāĻ˛ āĻāĻŦāĻ‚ āĻšāĻžāĻ˛āĻžāĻ¨ā§‹
    āĻ¸āĻĢāĻŸāĻ“āĻ¯āĻŧā§āĻ¯āĻžāĻ°. āĻāĻŸāĻž āĻ•āĻ¨...
    MSYS2 āĻĄāĻžāĻ‰āĻ¨āĻ˛ā§‹āĻĄ āĻ•āĻ°ā§āĻ¨
  • āĻ†āĻ°āĻ“ Âģ

āĻ˛āĻŋāĻ¨āĻžāĻ•ā§āĻ¸ āĻ•āĻŽāĻžāĻ¨ā§āĻĄāĻ—ā§āĻ˛āĻŋ

  • 1
    a2x
    a2x
    a2x - AsciiDoc āĻāĻ° āĻœāĻ¨ā§āĻ¯ āĻāĻ•āĻŸāĻŋ āĻŸā§āĻ˛āĻšā§‡āĻ‡āĻ¨ āĻŽā§āĻ¯āĻžāĻ¨ā§‡āĻœāĻžāĻ°
    (Asciidoc āĻŸā§‡āĻ•ā§āĻ¸āĻŸ āĻĢāĻžāĻ‡āĻ˛āĻ•ā§‡ āĻ…āĻ¨ā§āĻ¯ āĻ¤ā§‡ āĻ°ā§‚āĻĒāĻžāĻ¨ā§āĻ¤āĻ° āĻ•āĻ°ā§‡
    āĻĢāĻžāĻ‡āĻ˛ āĻĢāĻ°āĻŽā§āĻ¯āĻžāĻŸ)...
    a2x āĻšāĻžāĻ˛āĻžāĻ¨
  • 2
    a5 āĻŦā§āĻ•āĻ˛ā§‡āĻŸ
    a5 āĻŦā§āĻ•āĻ˛ā§‡āĻŸ
    a5booklet - advi āĻĨā§‡āĻ•ā§‡ āĻĻā§āĻŸāĻŋ A5 āĻĒā§ƒāĻˇā§āĻ āĻž āĻ…āĻ¨ā§āĻ˛āĻŋāĻĒāĻŋ āĻ•āĻ°ā§āĻ¨
    āĻ…āĻ¨ā§āĻ¯ āĻāĻ•āĻŸāĻŋ A4 āĻĒā§ƒāĻˇā§āĻ āĻžāĻ¯āĻŧ āĻĢāĻžāĻ‡āĻ˛ āĻ•āĻ°ā§āĻ¨āĨ¤ ...
    a5booklet āĻšāĻžāĻ˛āĻžāĻ¨
  • 3
    cpposix
    cpposix
    cp īŋŊ āĻ•āĻĒāĻŋ āĻĢāĻžāĻ‡āĻ˛...
    cpposix āĻšāĻžāĻ˛āĻžāĻ¨
  • 4
    cpack
    cpack
    cpack - CPack āĻ•āĻŽāĻžāĻ¨ā§āĻĄ-āĻ˛āĻžāĻ‡āĻ¨ āĻ°ā§‡āĻĢāĻžāĻ°ā§‡āĻ¨ā§āĻ¸ ...
    cpack āĻšāĻžāĻ˛āĻžāĻ¨
  • 5
    g++-5
    g++-5
    gcc - GNU āĻĒā§āĻ°āĻ•āĻ˛ā§āĻĒ C āĻāĻŦāĻ‚ C++ āĻ•āĻŽā§āĻĒāĻžāĻ‡āĻ˛āĻžāĻ° ...
    g++-5 āĻšāĻžāĻ˛āĻžāĻ¨
  • 6
    g ++
    g ++
    gcc - GNU āĻĒā§āĻ°āĻ•āĻ˛ā§āĻĒ C āĻāĻŦāĻ‚ C++ āĻ•āĻŽā§āĻĒāĻžāĻ‡āĻ˛āĻžāĻ° ...
    āĻœāĻŋ++ āĻšāĻžāĻ˛āĻžāĻ¨
  • āĻ†āĻ°āĻ“ Âģ

Ad