A Dependently Typed Functional Programming Language
ਪ੍ਰਕਾਸ਼ਕ ਦਾ ਵੇਰਵਾ (ਅੰਗਰੇਜ਼ੀ)
idris ਕੀ ਹੈ?
idris ਇੱਕ ਓਪਨ ਸੋਰਸ Windows ਸਾਫ਼ਟਵੇਅਰ ਹੈ (ਸ਼੍ਰੇਣੀ: IDE ਅਤੇ ਕੋਡ ਐਡੀਟਰ)।
ਇੰਸਟਾਲੇਸ਼ਨ ਅਤੇ ਸਿਸਟਮ ਲੋੜਾਂ
ਪ੍ਰਕਾਸ਼ਕ 64-ਬਿੱਟ Windows ਲਈ ਪੋਰਟੇਬਲ ਇੰਸਟਾਲਰ ਦਿੰਦਾ ਹੈ। ਮੁੱਖ ਇੰਸਟਾਲਰ ਦਾ ਆਕਾਰ 1 KB ਹੈ। ਇਸ ਨੂੰ ਇੰਸਟਾਲ ਕੀਤੇ ਬਿਨਾਂ ਚਲਾਇਆ ਜਾ ਸਕਦਾ ਹੈ (ਪੋਰਟੇਬਲ)।
ਮਸ਼ਹੂਰੀ ਅਤੇ ਫ਼ਾਈਲ ਕਿਸਮਾਂ
Chocolatey ਪੈਕੇਜ 2,068 ਵਾਰ ਡਾਊਨਲੋਡ ਹੋਇਆ ਹੈ। ਇਸੇ ਤਰ੍ਹਾਂ ਦੇ ਪ੍ਰੋਗਰਾਮ: OpenCode, RStudio ਅਤੇ Node.js (LTS)।
ਖ਼ੂਬੀਆਂ / ਕਮੀਆਂ
ਖ਼ੂਬੀਆਂ
- ਓਪਨ ਸੋਰਸ: ਕੋਈ ਵੀ ਇਸ ਦਾ ਕੋਡ ਦੇਖ ਅਤੇ ਬਿਲਡ ਕਰ ਸਕਦਾ ਹੈ
- ਪੋਰਟੇਬਲ: ਇੰਸਟਾਲ ਕੀਤੇ ਬਿਨਾਂ ਚੱਲਦਾ ਹੈ
- ਛੋਟਾ ਡਾਊਨਲੋਡ (1 KB)
ਕਮੀਆਂ
- ਨੇਟਿਵ ARM64 ਬਿਲਡ ਨਹੀਂ ਹੈ
- ਪਿਛਲੀ ਜਾਂਚ ਵਿੱਚ ਅਧਿਕਾਰਤ ਡਾਊਨਲੋਡ ਲਿੰਕ ਨੇ ਜਵਾਬ ਨਹੀਂ ਦਿੱਤਾ
ਸੰਖੇਪ ਵਿੱਚ: idris 64-ਬਿੱਟ PC ਲਈ ਇੱਕ ਓਪਨ ਸੋਰਸ Windows ਟੂਲ ਹੈ (ਸ਼੍ਰੇਣੀ: IDE ਅਤੇ ਕੋਡ ਐਡੀਟਰ)।
ਕੀ idris ਡਾਊਨਲੋਡ ਕਰਨਾ ਸੁਰੱਖਿਅਤ ਹੈ?
- ਫ਼ਾਈਲ neon.se ਤੋਂ ਆਉਂਦੀ ਹੈ; ਜਾਂਚ ਲਓ ਕਿ ਇਹ ਪ੍ਰਕਾਸ਼ਕ ਦਾ ਅਧਿਕਾਰਤ ਮਿਰਰ ਹੈ
- ਡਾਊਨਲੋਡ ਲਿੰਕ HTTPS ਵਰਤਦਾ ਹੈ
- SHA256 ਹੈਸ਼ ਪ੍ਰਕਾਸ਼ਿਤ ਹੈ, ਇਸ ਲਈ ਤੁਸੀਂ ਫ਼ਾਈਲ ਦੀ ਜਾਂਚ ਕਰ ਸਕਦੇ ਹੋ:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· ਇਸ ਹੈਸ਼ ਦੀ VirusTotal ਰਿਪੋਰਟ ਖੋਲ੍ਹੋ - ਪਿਛਲੀ ਜਾਂਚ ਵਿੱਚ ਲਿੰਕ ਨੇ ਜਵਾਬ ਨਹੀਂ ਦਿੱਤਾ (26 ਅਕਤੂਬਰ 2026)
- ਸੋਰਸ ਕੋਡ ਜਨਤਕ ਹੈ
- ExeAtlas ਇੰਸਟਾਲਰ ਨੂੰ ਨਾ ਹੋਸਟ ਕਰਦਾ ਹੈ, ਨਾ ਰੈਪ ਕਰਦਾ ਹੈ, ਨਾ ਬਦਲਦਾ ਹੈ
ਸੰਬੰਧਿਤ ਗਾਈਡ: Windows ਉੱਤੇ ਫ਼ਾਈਲ ਦਾ SHA256 ਹੈਸ਼ ਕਿਵੇਂ ਚੈੱਕ ਕਰੀਏ
ਹਾਲੀਆ ਵਰਜ਼ਨ
ਸਾਰੇ 1 ਵਰਜ਼ਨ ›| ਵਰਜ਼ਨ | ਤਾਰੀਖ਼ | ਆਕਾਰ | ਫ਼ਾਈਲਾਂ |
|---|---|---|---|
| 1.3.3ਨਵਾਂ ਵਰਜ਼ਨ | 1 KB | 64-ਬਿੱਟ ZIP |
ਕਮਾਂਡ ਲਾਈਨ ਤੋਂ ਇੰਸਟਾਲ ਕਰੋ
ਸਾਈਲੈਂਟ ਇੰਸਟਾਲ ›choco install idris -yscoop install main/idrisਪ੍ਰੋਗਰਾਮ ਫ਼ਾਈਲਾਂ (.exe): idris.exe
ਸੰਬੰਧਿਤ ਗਾਈਡ: winget ਕਿਵੇਂ ਵਰਤੀਏ: ਐਪਾਂ ਇੰਸਟਾਲ ਅਤੇ ਅੱਪਡੇਟ ਕਰੋ
ਜਾਣਕਾਰੀ
- ਸ਼੍ਰੇਣੀ
- IDE ਅਤੇ ਕੋਡ ਐਡੀਟਰ
- ਲਾਇਸੈਂਸ
- BSD-3-Clause
- ਕੀਮਤ
- ਮੁਫ਼ਤ
- ਸੋਰਸ ਕੋਡ
- github.com
- ਲੋੜੀਂਦਾ ਸਿਸਟਮ
- Windows 11 / 10
- ਆਰਕੀਟੈਕਚਰ
- 64-ਬਿੱਟ
- ਇੰਸਟਾਲਰ
- ਪੋਰਟੇਬਲ
- ਵਰਜ਼ਨ
- 1.3.3
- ਦਰਜ ਵਰਜ਼ਨ
- 1
- Chocolatey ਡਾਊਨਲੋਡ
- 2,068
- ਵੈੱਬਸਾਈਟ
- idris-lang.org
- Chocolatey ਪੈਕੇਜ
- idris
- Scoop ਪੈਕੇਜ
- main/idris
ਰੇਟਿੰਗ ਅਤੇ ਰਿਵਿਊ
ਅਜੇ ਕੋਈ ਰਿਵਿਊ ਨਹੀਂ ਹੈ। ਸਭ ਤੋਂ ਪਹਿਲਾਂ ਰੇਟਿੰਗ ਦਿਓ।
idris ਦੇ ਬਦਲ
ਸਾਰੀਆਂ ਦੇਖੋ ›-
ਓਪਨ ਸੋਰਸ2.9 ਲੱਖ ↓ -
ਓਪਨ ਸੋਰਸ7.1 ਲੱਖ ↓ -
ਓਪਨ ਸੋਰਸ49.3 ਲੱਖ ↓ -
ਓਪਨ ਸੋਰਸ88.8 ਹਜ਼ਾਰ ↓ -
ਓਪਨ ਸੋਰਸ49.7 ਹਜ਼ਾਰ ↓ -
ਓਪਨ ਸੋਰਸ1.4 ਲੱਖ ↓ -
ਓਪਨ ਸੋਰਸ3.9 ਲੱਖ ↓ -
ਓਪਨ ਸੋਰਸ94.6 ਹਜ਼ਾਰ ↓
ਅਕਸਰ ਪੁੱਛੇ ਜਾਣ ਵਾਲੇ ਸਵਾਲ
ਕੀ idris ਮੁਫ਼ਤ ਹੈ?
ਹਾਂ। idris ਓਪਨ ਸੋਰਸ ਸਾਫ਼ਟਵੇਅਰ ਹੈ (BSD-3-Clause ਲਾਇਸੈਂਸ)।
ਕੀ idris ਡਾਊਨਲੋਡ ਕਰਨਾ ਸੁਰੱਖਿਅਤ ਹੈ?
ਫ਼ਾਈਲ neon.se ਤੋਂ ਡਾਊਨਲੋਡ ਹੁੰਦੀ ਹੈ; ExeAtlas ਫ਼ਾਈਲ ਨੂੰ ਨਾ ਹੋਸਟ ਕਰਦਾ ਹੈ, ਨਾ ਬਦਲਦਾ ਹੈ। ਡਾਊਨਲੋਡ ਕੀਤੀ ਫ਼ਾਈਲ ਦਾ SHA256 ਹੈਸ਼ ਇੱਥੇ ਦਿਖਾਏ ਹੈਸ਼ ਨਾਲ ਮਿਲਾਓ, ਜਾਂ ਉਸ ਹੈਸ਼ ਦੀ VirusTotal ਰਿਪੋਰਟ ਖੋਲ੍ਹੋ।
ਕੀ idris ARM (Windows on Arm) ਉੱਤੇ ਚੱਲਦਾ ਹੈ?
ARM64 ਬਿਲਡ ਨਹੀਂ ਹੈ; Windows 11 on Arm ਉੱਤੇ 64-ਬਿੱਟ ਵਰਜ਼ਨ ਇਮੂਲੇਸ਼ਨ ਰਾਹੀਂ ਚੱਲ ਸਕਦਾ ਹੈ।
ਕੀ idris ਨੂੰ ਐਡਮਿਨਿਸਟ੍ਰੇਟਰ ਅਧਿਕਾਰਾਂ ਤੋਂ ਬਿਨਾਂ ਵਰਤਿਆ ਜਾ ਸਕਦਾ ਹੈ?
ਹਾਂ, ਇਹ ਪੋਰਟੇਬਲ ਹੈ: ਫ਼ਾਈਲ ਅਨਪੈਕ ਕਰੋ ਅਤੇ ਚਲਾਓ।
idris ਦੇ ਬਦਲ ਕਿਹੜੇ ਹਨ?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans ਅਤੇ Haxe। ਬਦਲਾਂ ਵਾਲੇ ਪੰਨੇ ਉੱਤੇ ਇਹਨਾਂ ਦੀ ਤੁਲਨਾ ਦਿੱਤੀ ਗਈ ਹੈ।
