เบžเบฒเบชเบฒเบญเบฑเบ‡เบเบดเบ”เบžเบฒเบชเบฒเบเบฃเบฑเปˆเบ‡เปเบญเบชเบ›เบฒเป‚เบเบ™

Ad


OnWorks favicon

why-config - เบญเบญเบ™เบฅเบฒเบเปƒเบ™เบ„เบฅเบฒเบง

เป€เบ›เบตเบ”เปƒเบŠเป‰ why-config เปƒเบ™ OnWorks เบœเบนเป‰เปƒเบซเป‰เบšเปเบฅเบดเบเบฒเบ™เป‚เบฎเบ”เบ•เบดเป‰เบ‡เบŸเบฃเบตเบœเปˆเบฒเบ™ Ubuntu Online, Fedora Online, Windows online emulator เบซเบผเบท MAC OS online emulator

เบ™เบตเป‰เปเบกเปˆเบ™เบ„เปเบฒเบชเบฑเปˆเบ‡เบงเปˆเบฒเป€เบ›เบฑเบ™เบซเบเบฑเบ‡-config เบ—เบตเปˆเบชเบฒเบกเบฒเบ”เบ”เปเบฒเป€เบ™เบตเบ™เบเบฒเบ™เป„เบ”เป‰เปƒเบ™ OnWorks เบœเบนเป‰เปƒเบซเป‰เบšเปเบฅเบดเบเบฒเบ™เป‚เบฎเบ”เบ•เบดเป‰เบ‡เบŸเบฃเบตเป‚เบ”เบเปƒเบŠเป‰เบซเบ™เบถเปˆเบ‡เปƒเบ™เบซเบผเบฒเบเป†เบšเปˆเบญเบ™เป€เบฎเบฑเบ”เบงเบฝเบเบญเบญเบ™เป„เบฅเบ™เปŒเบ‚เบญเบ‡เบžเบงเบเป€เบฎเบปเบฒเป€เบŠเบฑเปˆเบ™ Ubuntu Online, Fedora Online, Windows online emulator เบซเบผเบท MAC OS online emulator

เป‚เบ„เบ‡เบเบฒเบ™:

NAME


เป€เบ›เบฑเบ™เบซเบเบฑเบ‡ - เป€เบ„เบทเปˆเบญเบ‡เบกเบทเบขเบฑเป‰เบ‡เบขเบทเบ™เบซเบผเบฒเบเบžเบฒเบชเบฒ

เบชเบฐเบซเบผเบธเบšเบชเบฑเบ‡เบฅเบงเบก


เป€เบ›เบฑเบ™เบซเบเบฑเบ‡ [ เบ—เบฒเบ‡เป€เบฅเบทเบญเบเปƒเบ™เบเบฒเบ™ ] เป„เบŸ

เบฅเบฒเบเบฅเบฐเบญเบฝเบ”


เป€เบ›เบฑเบ™เบซเบเบฑเบ‡ เป€เบ›เบฑเบ™โ€‹เป€เบ„เบทเปˆเบญเบ‡โ€‹เบกเบทโ€‹เบเบฒเบ™โ€‹เบเบงเบ”โ€‹เบชเบญเบšโ€‹. เบกเบฑเบ™โ€‹เปƒเบŠเป‰โ€‹เบ„เปเบฒโ€‹เบญเบฐโ€‹เบ—เบดโ€‹เบšเบฒเบโ€‹เบšเบฑเบ™โ€‹เบ”เบฒโ€‹เป‚เบ„เบ‡โ€‹เบเบฒเบ™โ€‹เป€เบ›เบฑเบ™โ€‹เบเบฒเบ™โ€‹เบ›เป‰เบญเบ™โ€‹เบ‚เปเป‰โ€‹เบกเบนเบ™ (เปƒเบ™ ML เบซเบผเบท C syntaxโ€‹) เปเบฅเบฐโ€‹
เบญเบญเบโ€‹เป€เบ‡เบทเปˆเบญเบ™โ€‹เป„เบ‚โ€‹เบเบฒเบ™โ€‹เบขเบฑเป‰เบ‡โ€‹เบขเบทเบ™โ€‹เบชเปเบฒโ€‹เบฅเบฑเบšโ€‹เบเบฒเบ™โ€‹เบŠเปˆเบงเบโ€‹เป€เบซเบผเบทเบญโ€‹เบžเบดโ€‹เบชเบนเบ”โ€‹เบซเบผเบฒเบ (Coqโ€‹, PVSโ€‹, HOL Lightโ€‹, Mizarโ€‹)
เปเบฅเบฐเบ‚เบฑเป‰เบ™เบ•เบญเบ™เบเบฒเบ™เบ•เบฑเบ”เบชเบดเบ™เปƒเบˆ (haRVey, Simplify).

OPTIONS


-h เบŠเปˆเบงเบเป€เบซเบผเบทเบญ. เบˆเบฐเปƒเบซเป‰เบ—เปˆเบฒเบ™เบšเบฑเบ™เบŠเบตเบฅเบฒเบเบŠเบทเปˆเป€เบ•เบฑเบกเบ‚เบญเบ‡เบ—เบฒเบ‡เป€เบฅเบทเบญเบเปเบ–เบงเบ„เปเบฒเบชเบฑเปˆเบ‡.

AUTHORS


Jean-Christophe Filliatre <[email protected]>

เปƒเบŠเป‰ why-config online เป‚เบ”เบเปƒเบŠเป‰เบšเปเบฅเบดเบเบฒเบ™ onworks.net


เป€เบŠเบตเบšเป€เบงเบต เปเบฅเบฐเบชเบฐเบ–เบฒเบ™เบตเป€เบฎเบฑเบ”เบงเบฝเบเบŸเบฃเบต

เบ”เบฒเบงเป‚เบซเบผเบ”เปเบญเบฑเบš Windows เปเบฅเบฐ Linux

  • 1
    AstrOrzPlayer
    AstrOrzPlayer
    AstrOrz Player เป€เบ›เบฑเบ™เบœเบนเป‰เบ™เบชเบทเปˆเบกเบงเบ™เบŠเบปเบ™เบŸเบฃเบต
    เบŠเบญเบšโ€‹เปเบงโ€‹, เบชเปˆเบงเบ™โ€‹เบซเบ™เบถเปˆเบ‡โ€‹เบญเบตเบ‡โ€‹เปƒเบชเปˆ WMP เปเบฅเบฐ VLCโ€‹. เป„เบ”เป‰
    เบœเบนเป‰เบ™เปเบกเปˆเบ™เบขเบนเปˆเปƒเบ™เบฎเบนเบšเปเบšเบš minimalist, เบกเบต
    เบซเบผเบฒเบโ€‹เบโ€‹เปˆโ€‹เบงเบฒโ€‹เบชเบดเบšโ€‹เบชเบตโ€‹เบซเบปเบงโ€‹เบ‚เปเป‰โ€‹, เปเบฅเบฐโ€‹เบเบฑเบ‡โ€‹เบชเบฒโ€‹เบกเบฒเบ”โ€‹
    b
    เบ”เบฒเบงเป‚เบซเบฅเบ” AstrOrzPlayer
  • 2
    movistartv
    movistartv
    Kodi Movistar+ TV es un ADDON para XBMC/
    Kodi que permite disponer de un
    decodificador de los servicios IPTV de
    Movistar integrado en uno de los
    เบชเบนเบ™โ€‹เบเบฒเบ‡โ€‹เบชเบทเปˆโ€‹เบกเบงเบ™โ€‹เบŠเบปเบ™โ€‹เบกเบฒ ...
    เบ”เบฒเบงเป‚เบซเบฅเบ” movistartv
  • 3
    เบฅเบฐเบซเบฑเบ” :: เบ—เปˆเบญเบ™เป„เบกเป‰
    เบฅเบฐเบซเบฑเบ” :: เบ—เปˆเบญเบ™เป„เบกเป‰
    เบฅเบฐเบซเบฑเบ”::Blocks เป€เบ›เบฑเบ™เปเบซเบผเปˆเบ‡เป€เบ›เบตเบ”เบŸเบฃเบต,
    เบ‚เป‰เบฒเบกเป€เบงเบ—เบต C, C++ เปเบฅเบฐ Fortran IDE
    เบชเป‰เบฒเบ‡เบ‚เบถเป‰เบ™เป€เบžเบทเปˆเบญเบ•เบญเบšเบชเบฐเบซเบ™เบญเบ‡เบ„เบงเบฒเบกเบ•เป‰เบญเบ‡เบเบฒเบ™เบ—เบตเปˆเบ•เป‰เบญเบ‡เบเบฒเบ™เบซเบผเบฒเบเบ—เบตเปˆเบชเบธเบ”
    เบ‚เบญเบ‡โ€‹เบœเบนเป‰โ€‹เบŠเบปเบกโ€‹เปƒเบŠเป‰โ€‹เบ‚เบญเบ‡โ€‹เบ•เบปเบ™โ€‹. เบกเบฑเบ™เป„เบ”เป‰เบ–เบทเบเบญเบญเบเปเบšเบšเปƒเบซเป‰เบซเบผเบฒเบ
    เบ‚เบฐเบซเบเบฒเบ...
    เบ”เบฒเบงเป‚เบซเบฅเบ”เบฅเบฐเบซเบฑเบ”::Blocks
  • 4
    เบ—เปˆเบฒเบกเบเบฒเบ‡
    เบ—เปˆเบฒเบกเบเบฒเบ‡
    เบ—เปˆเบฒเบกเบเบฒเบ‡ เบซเบผเบท Advanced Minecraft Interface
    เปเบฅเบฐโ€‹เบ‚เปเป‰โ€‹เบกเบนเบ™ / เบเบฒเบ™โ€‹เบ•เบดเบ”โ€‹เบ•เบฒเบกโ€‹เป‚เบ„เบ‡โ€‹เบชเป‰เบฒเบ‡โ€‹เป€เบ›เบฑเบ™โ€‹เป€เบ„เบทเปˆเบญเบ‡โ€‹เบกเบทโ€‹เป€เบžเบทเปˆเบญโ€‹
    เบชเบฐเปเบ”เบ‡เบžเบฒเบšเบฅเบงเบกเบ‚เบญเบ‡ Minecraft
    เป‚เบฅเบ, เป‚เบ”เบเบšเปเปˆเบกเบตเบเบฒเบ™เบชเป‰เบฒเบ‡เบกเบฑเบ™เบขเปˆเบฒเบ‡เปเบ—เป‰เบˆเบดเบ‡. เบกเบฑเบ™
    เบชเบฒโ€‹เบกเบฒเบ” ...
    เบ”เบฒเบงโ€‹เบ™โ€‹เปŒโ€‹เป‚เบซเบฅเบ”โ€‹เปƒเบ™โ€‹เบ—เปˆเบฒเบกโ€‹เบเบฒเบ‡โ€‹
  • 5
    MSYS2
    MSYS2
    MSYS2 เป€เบ›เบฑเบ™โ€‹เบเบฒเบ™โ€‹เป€เบเบฑเบšโ€‹เบเปเบฒโ€‹เบ‚เบญเบ‡โ€‹เป€เบ„เบทเปˆเบญเบ‡โ€‹เบกเบทโ€‹เปเบฅเบฐโ€‹
    เบซเป‰เบญเบ‡เบชเบฐเบซเบกเบธเบ”เบชเบฐเบซเบ™เบญเบ‡เบ—เปˆเบฒเบ™เบ”เป‰เบงเบ
    เบชเบฐโ€‹เบžเบฒเบšโ€‹เปเบงเบ”โ€‹เบฅเป‰เบญเบกโ€‹เบ—เบตเปˆโ€‹เบ‡เปˆเบฒเบโ€‹เบ—เบตเปˆโ€‹เบˆเบฐโ€‹เบ™เปเบฒโ€‹เปƒเบŠเป‰โ€‹เบชเปเบฒโ€‹เบฅเบฑเบšโ€‹เบเบฒเบ™โ€‹เบเปเปˆโ€‹เบชเป‰เบฒเบ‡โ€‹,
    เบเบฒเบ™เบ•เบดเบ”เบ•เบฑเป‰เบ‡เปเบฅเบฐเปเบฅเปˆเบ™ Windows เบžเบทเป‰เบ™เป€เบกเบทเบญเบ‡
    เบŠเบญเบšโ€‹เปเบงโ€‹. เบกเบฑเบ™ con...
    เบ”เบฒเบงเป‚เบซเบฅเบ” MSYS2
  • 6
    libjpeg-turbo
    libjpeg-turbo
    libjpeg-turbo เป€เบ›เบฑเบ™เบ•เบปเบงเปเบ›เบ‡เบชเบฑเบ™เบเบฒเบ™เบฎเบนเบšเบžเบฒเบš JPEG
    เบ—เบตเปˆเปƒเบŠเป‰เบ„เปเบฒเปเบ™เบฐเบ™เปเบฒ SIMD (MMX, SSE2,
    NEON, AltiVec) เป€เบžเบทเปˆเบญเป€เบฅเบฑเปˆเบ‡เบžเบทเป‰เบ™เบ–เบฒเบ™
    เป€เบ›เบตเบ”เบเบฒเบ™เบšเบตเบšเบญเบฑเบ” JPEG เปเบฅเบฐ decompression
    x86,x8...
    เบ”เบฒเบงเป‚เบซเบฅเบ” libjpeg-turbo
  • เป€เบžเบตเปˆเบกเป€เบ•เบตเบก ยป

Linux เบ„เบณ เบชเบฑเปˆเบ‡

  • 1
    abi-tracker
    abi-tracker
    abi-tracker - เป€เบซเบฑเบ™เบžเบฒเบšเบเบฒเบ™เบ›เปˆเบฝเบ™เปเบ›เบ‡ ABI
    เป„เบฅเบเบฐเป€เบงเบฅเบฒเบ‚เบญเบ‡เบซเป‰เบญเบ‡เบชเบฐเปเบธเบ”เบŠเบญเบšเปเบง C/C++.
    เบฅเบฒเบเบฅเบฐเบญเบฝเบ”: เบŠเบทเปˆ: ABI Tracker
    (abi-tracker) เป€เบšเบดเปˆเบ‡เบเบฒเบ™เบ›เปˆเบฝเบ™เปเบ›เบ‡ ABI
    เป„เบฅเบเบฐเป€เบงเบฅเบฒเบ‚เบญเบ‡ C/C+...
    เปเบฅเปˆเบ™ abi-tracker
  • 2
    abicheck
    abicheck
    abicheck - check application binaries
    เบชเปเบฒเบฅเบฑเบšเบเบฒเบ™เป‚เบ—เบซเบฒเป€เบญเบเบฐเบŠเบปเบ™เบซเบผเบทเบชเบฑเบ™เบเบฒเบฅเบฑเบเบžเบฑเบ”เบ—เบฐเบ™เบฒ
    เปƒเบ™เบซเป‰เบญเบ‡เบชเบฐเบซเบกเบธเบ”เปเบฅเบฐเบชเปเบฒเบฅเบฑเบšเบเบฒเบ™เป€เบŠเบทเปˆเบญเบกเบ•เปเปˆ static เบ‚เบญเบ‡
    เบšเบฒเบ‡เบซเป‰เบญเบ‡เบชเบฐเบซเบกเบธเบ”เบฅเบฐเบšเบปเบš. ...
    เปเบฅเปˆเบ™ abicheck
  • 3
    couriermlm
    couriermlm
    couriermlm - เบšเบฑเบ™เบŠเบตเบฅเบฒเบเบŠเบทเปˆเบ—เบฒเบ‡เป„เบ›เบชเบฐเบ™เบต Courier
    เบœเบนเป‰โ€‹เบˆเบฑเบ”โ€‹เบเบฒเบ™ ...
    เปเบฅเปˆเบ™ couriermlm
  • 4
    couriertcpd
    couriertcpd
    couriertcpd - เป€เบ„เบทเปˆเบญเบ‡เปเบกเปˆเบ‚เปˆเบฒเบเป€เบกเบฅ Courier
    TCP server daemon ...
    เปเบฅเปˆเบ™ couriertcpd
  • 5
    gbklatex
    gbklatex
    bg5latex - เปƒเบŠเป‰ LaTeX เป‚เบ”เบเบเบปเบ‡เปƒเบ™ Big5
    เป„เบŸเบฅเปŒ encodedtex bg5pdflatex - เปƒเบŠเป‰
    pdfLaTeX เป‚เบ”เบเบเบปเบ‡เปƒเบ™ Big5 encodedtex
    file bg5+latex - เปƒเบŠเป‰ LaTeX เป‚เบ”เบเบเบปเบ‡เปƒเบ™ a
    เปƒเบซเบเปˆ5+...
    เปเบฅเปˆเบ™ gbklatex
  • 6
    gbkpdflatex
    gbkpdflatex
    bg5latex - เปƒเบŠเป‰ LaTeX เป‚เบ”เบเบเบปเบ‡เปƒเบ™ Big5
    เป„เบŸเบฅเปŒ encodedtex bg5pdflatex - เปƒเบŠเป‰
    pdfLaTeX เป‚เบ”เบเบเบปเบ‡เปƒเบ™ Big5 encodedtex
    file bg5+latex - เปƒเบŠเป‰ LaTeX เป‚เบ”เบเบเบปเบ‡เปƒเบ™ a
    เปƒเบซเบเปˆ5+...
    เปเบฅเปˆเบ™ gbkpdflatex
  • เป€เบžเบตเปˆเบกเป€เบ•เบตเบก ยป

Ad