awesome-repositories.com
Blog
MCP
awesome-repositories.com

Discover the best open-source repositories with AI-powered search.

ExploreCurated searchesOpen-source alternativesSelf-hosted softwareBlogSitemap
ProjectMCP serverAboutHow we rankPress
LegalPrivacyTerms
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
idris-lang avatar

idris-lang/Idris-devArchived

0
View on GitHub↗
3,474 stars·629 forks·Haskell·6 viewsidris-lang.org↗

Idris Dev

A Dependently Typed Functional Programming Language

Features

  • Language Interoperability - A dependently typed functional programming language.
  • Official resources - Listed in the “Official resources” section of the Awesome Idris awesome list.

Star history

Star history chart for idris-lang/idris-devStar history chart for idris-lang/idris-dev

How this analysis was created: This summary and feature list were written by an AI model that read the project's README and public documentation pages. Each feature links to the documentation it came from; stars, license and language come straight from the GitHub API. The model does not read the source code, and the analysis is refreshed when the project is re-analysed. Learn more on our About page.

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

Open-source alternatives to Idris Dev

Similar open-source projects, ranked by how many features they share with Idris Dev.
  • bendudson/py4clbendudson avatar

    bendudson/py4cl

    258View on GitHub↗

    Call python from Common Lisp

    Common Lisp
    View on GitHub↗258
  • byulparan/cl-nextstepbyulparan avatar

    byulparan/cl-nextstep

    46View on GitHub↗

    Cocoa binding for Common Lisp on macOS

    Common Lisp
    View on GitHub↗46
  • digikar99/py4cl2digikar99 avatar

    digikar99/py4cl2

    55View on GitHub↗

    Call python from Common Lisp

    Common Lisp
    View on GitHub↗55
  • atgreen/openldkatgreen avatar

    atgreen/openldk

    257View on GitHub↗

    A JIT Compiler and Runtime for Java in Common Lisp

    Java
    View on GitHub↗257
See all 27 alternatives to Idris Dev→

Frequently asked questions

What does idris-lang/idris-dev do?

A Dependently Typed Functional Programming Language

What are the main features of idris-lang/idris-dev?

The main features of idris-lang/idris-dev are: Language Interoperability, Official resources.

What are some open-source alternatives to idris-lang/idris-dev?

Open-source alternatives to idris-lang/idris-dev include: bendudson/py4cl — Call python from Common Lisp. byulparan/cl-nextstep — Cocoa binding for Common Lisp on macOS. digikar99/py4cl2 — Call python from Common Lisp. digikar99/py4cl2-cffi — CFFI based alternative to py4cl2. dtenny/clj-arrows — Clojure-compatible threading/transformation/arrow macros for Common Lisp. atgreen/openldk — A JIT Compiler and Runtime for Java in Common Lisp.