The Complete Project Source Code Platform

Kashipara.com is a community of ONE million programmers and students, Just like you, Helping each other.Join them. It only takes a minute: Sign Up

Job Resume Template
Idris Logo

Idris software for developer and beginners

Latest version Idris release on August 4, 2023

Update on January 21, 2025

Idris coding apps information

Name Idris
Category Name Programming Languages
Release Date August 4, 2023
LTS Version 2
License 0
Official Website https://www.idris-lang.org/
Supported OS Windows, Mac Os, LINUX

Idris overview

Idris is a functional programming language with a focus on dependent types, allowing you to write precise, type-safe code by embedding proof systems within your programs. It supports first-class types, enabling complex type relationships and ensuring correctness through compile-time checks. Idris provides interactive development features, such as type-driven development and powerful editor integrations. Designed for both research and practical application, it facilitates seamless proofs and allows developers to reason about code behavior with mathematical rigor. It features a syntax similar to Haskell, making it accessible for those familiar with functional paradigms. Idris aims to bridge the gap between theorem proving and practical programming. It is highly modular, supporting both imperative and pure functional styles.

Idris requirement

Software Requirements:- Windows: Windows 10 or later, GHC (Glasgow Haskell Compiler), Stack or Cabal Linux: GNU/Linux distribution with GHC, Stack or Cabal macOS: macOS 10.14 or later, GHC, Stack or Cabal Hardware Requirements:- Processor: Dual-core CPU (1.5 GHz or faster) Memory: 2 GB RAM (4 GB recommended) Storage: 100 MB available disk space

Programming Languages apps

Software list
Jellyfin

Latest version 10.10.0 release on October 26, 2024

October 26, 2024 Programming Languages
TAPL (Typed Assembly Language)

Latest version TALx86 release on July 1, 1999

NATURAL

Latest version 9.2.1 release on October 1, 2022

October 1, 2022 Programming Languages
ISWIM

Latest version 1966 release on October 1, 1966

October 1, 1966 Programming Languages
Hume

Latest version 0.8 release on April 25, 2008

April 25, 2008 Programming Languages