Software Alternatives, Accelerators & Startups
Register | Login
G

Idris VS Guile

Compare Idris VS Guile and see what are their differences

LibHunt
LibHunt tracks mentions of software libraries on relevant social networks. Based on that data, you can find the most popular projects and their alternatives. featured
Contents:
  1. » Base Details
  2. » Videos
  3. » Reviews
  4. » Alternatives

Idris logo Idris

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

Guile logo Guile

Guile is the GNU Ubiquitous Intelligent Language for Extensions, the official extension language for the GNU operating system.
  • Idris Landing page
    Landing page //
    2021-10-05
  • Guile Landing page
    Landing page //
    2020-01-01

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!

Guile videos

+ Add

Guile Review - with Tom Vasel

More videos:

  • Review - Guile Review - with Ryan Metzler
  • Review - Storm Collectibles GUILE Street Fighter Review BR / DiegoHDM

Category Popularity

0-100% (relative to Idris and Guile)

Idris

Guile

Programming Language
33 33%
Programming Language
67% 67
Generic Programming Language
58 58%
Generic Programming Language
42% 42
OOP
30 30%
OOP
70% 70
IDE
0 0%
IDE
100% 100

User comments

Share your experience with using Idris and Guile. 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

Guile mentions (0)

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

What are some alternatives?

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

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

Racket Lang - Racket (formerly PLT Scheme) is a modern programming language in the Lisp/Scheme family, suitable...

Rust - A safe, concurrent, practical language

Steel Bank Common Lisp - Steel Bank Common Lisp (SBCL) is a high performance Common Lisp compiler.

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

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

Loading...