Software Alternatives & Reviews
Register | Login

Idris VS Racket Lang

Compare Idris VS Racket Lang and see what are their differences

Momen
Build powerful web apps, and create your custom AI apps, no code needed! featured
Contents:
  1. » Base Details
  2. » Videos
  3. » Reviews
  4. » Alternatives

Idris logo Idris

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

Racket Lang logo Racket Lang

Racket (formerly PLT Scheme) is a modern programming language in the Lisp/Scheme family, suitable...
  • Idris Landing page
    Landing page //
    2021-10-05
  • Racket Lang Landing page
    Landing page //
    2023-07-30

We recommend LibHunt Racket for discovery and comparisons of trending Racket projects.

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!

Racket Lang videos

+ Add

🏸 Top & Best Selling Badminton Rackets 2020 (review of Year 2019) 🏆

Category Popularity

0-100% (relative to Idris and Racket Lang)

Idris

Racket Lang

Programming Language
12 12%
Programming Language
88% 88
OOP
12 12%
OOP
88% 88
Generic Programming Language
23 23%
Generic Programming Language
77% 77
Technical Computing
100 100%
Technical Computing
0% 0

User comments

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

Social recommendations and mentions

Based on our record, Racket Lang seems to be a lot more popular than Idris. While we know about 91 links to Racket Lang, we've tracked only 1 mention of Idris. 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

Racket Lang mentions (91)

  • Racket–the Language-Oriented Programming Language–version 8.12 is now available
    Racket—the Language-Oriented Programming Language—version 8.12 is now available from https://racket-lang.org See https://racket.discourse.group/t/racket-v8-12-is-now-available/2709 for the release announcement and highlights. Thank you to the many people who contributed to this release! Feedback Welcome. - Source: Hacker News / 3 months ago
  • Racket version 8.11.1 is now available
    Racket version 8.11.1 is now available from https://racket-lang.org/. Source: 5 months ago
  • Ask HN: Does anyone Lisp without Emacs?
    Racket (https://racket-lang.org) has an IDE (DrRacket) which isn't EMACS. ARC (which powers hacker news) is (was?) written in Racket. - Source: Hacker News / 6 months ago
  • Racket branch of Chez Scheme merging with mainline Chez Scheme
    I had a look at https://racket-lang.org. Where we can download this build? - Source: Hacker News / 6 months ago
  • Douglas Crockford to Keynote 'From Here to Lambda and Back Again' at Racke
    I signed up for RacketCon, joining remotely. I am looking forward to it a lot. Usually I use the Racket language perhaps for 10% of my personal projects, but I am currently writing a Racket AI book, so all things Racket are of current interest. Past RacketCons have been a lot of fun. I usually use Common Lisp, but Racket is batteries included Scheme, and more, and is a very pleasant language and ecosystem. Just in... - Source: Hacker News / 7 months ago
View more

What are some alternatives?

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

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

Clojure - Clojure is a dynamic, general-purpose programming language, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for multithreaded programming.

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

Guile - Guile is the GNU Ubiquitous Intelligent Language for Extensions, the official extension language for the GNU operating system.

Rust - A safe, concurrent, practical language

Hy - Hy is a wonderful dialect of Lisp that’s embedded in Python.

Loading...