Idris
Programming, Programming Language, Learning Resources, Languages, and Frontend Development
- Open Source
Idris Alternatives
The best Idris alternatives based on verified products, community votes, reviews and other factors.
Latest update:
-
/agda-alternatives
Agda is a dependently typed functional programming language. It has inductive families, i.e.
-
/coq-alternatives
Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
-
/rust-alternatives
A safe, concurrent, practical language
-
/lean-alternatives
Clean up your Live Photos
-
/ats-alternatives
American Thoracic Society
-
/racket-lang-alternatives
Racket (formerly PLT Scheme) is a modern programming language in the Lisp/Scheme family, suitable...
-
/isabelle-alternatives
Isabelle is a proof assistant for writing and checking mathematical proofs by computer.
-
/elixir-alternatives
Dynamic, functional language designed for building scalable and maintainable applications
-
/haskell-alternatives
An advanced purely-functional programming language
-
/nim-alternatives
GB64.COM is the home of The Gamebase Collection of C64 games.
-
/go-cd-alternatives
Open source continuous delivery tool allows for advanced workflow modeling and dependencies management.
-
/ceylon-alternatives
Ceylon is a language designed specifically for writing large programs in teams.
-
/python-alternatives
Python is a clear and powerful object-oriented programming language, comparable to Perl, Ruby, Scheme, or Java.