Software Alternatives, Accelerators & Startups
Register | Login

Idris VS Ceylon

Compare Idris VS Ceylon and see what are their differences

DocRaptor
As the only API powered by the Prince HTML-to-PDF engine, DocRaptor provides the best support for complex PDFs with powerful support for headers, page breaks, page numbers, flexbox, watermarks, accessible PDFs, and much more featured
Contents:
  1. » Base Details
  2. » Videos
  3. » Reviews
  4. » Alternatives

Idris logo Idris

Programming, Programming Language, Learning Resources, Languages, and Frontend Development

Ceylon logo Ceylon

Ceylon is a language designed specifically for writing large programs in teams.
  • Idris Landing page
    Landing page //
    2021-10-05
  • Ceylon Landing page
    Landing page //
    2023-05-10

Idris videos

+ Add

FLYING THE IDRIS: REVIEW & FIRST IMPRESSIONS [STAR CITIZEN]

More videos:

  • Review - Star Citizen: Idris Overview - This ship is Idris-iculous
  • Review - Star Citizen: Idris First in Game Look!

Ceylon videos

+ Add

Ceylon Review With Graeme Anderson

More videos:

  • Review - Ceylon Review
  • Review - Ceylon Review by Man vs Meeple (Ludonova)

Category Popularity

0-100% (relative to Idris and Ceylon)

Idris

Ceylon

Programming Language
51 51%
Programming Language
49% 49
Web Frameworks
0 0%
Web Frameworks
100% 100
OOP
100 100%
OOP
0% 0
Generic Programming Language
100 100%
Generic Programming Language
0% 0

User comments

Share your experience with using Idris and Ceylon. For example, how are they different and which one is better?
Log in or Post with

Social recommendations and mentions

Based on our record, Idris seems to be more popular. It has been mentiond 1 time since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.

Idris mentions (1)

  • What's the current status with packages/libraries on Idris?
    So apparently there's a package manager called Inigo, but there are only a few packages in it. There's an idris-hackers group on github, that's linked from the idris-lang.org page. None of those libraries appear in Inigo though. So seems that Inigo isn't really a thing people are using. Source: over 2 years ago

Ceylon mentions (0)

We have not tracked any mentions of Ceylon yet. Tracking of Ceylon recommendations started around Mar 2021.

What are some alternatives?

When comparing Idris and Ceylon, you can also consider the following products

Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.

Kotlin - Statically typed Programming Language targeting JVM and JavaScript

Rust - A safe, concurrent, practical language

Jabaco - Jabaco is a simple programming language with a Visual Basic like syntax.

Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...

Dolphin Smalltalk - Dolphin is a complete development IDE for Smalltalk targeted specifically at Microsoft Windows.

Loading...