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

Descubre los mejores repositorios open-source con nuestra búsqueda potenciada por IA.

ExplorarBúsquedas curadasAlternativas open-sourceSoftware autohospedableBlogMapa del sitio
ProyectoServidor MCPAcerca deCómo clasificamosPrensa
Aviso legalPrivacidadTérminos
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
joaomilho avatar

joaomilho/awesome-idris

0
View on GitHub↗
412 estrellas·18 forks·Idris·5 vistas

Awesome Idris

𝛌 Awesome Idris resources

Features

  • Awesome List - A community-curated directory that catalogs and links out to other open-source projects, rather than a standalone tool you run yourself.
  • Herramientas de desarrollo - Idris programming language resources.
  • Programming Languages - Idris language resources and libraries.

Historial de estrellas

Gráfico del historial de estrellas de joaomilho/awesome-idrisGráfico del historial de estrellas de joaomilho/awesome-idris

Búsqueda con IA

Explora más repositorios increíbles

Describe lo que necesitas en lenguaje sencillo: la IA clasifica miles de proyectos open-source curados por relevancia.

Start searching with AI

Alternativas open-source a Awesome Idris

Proyectos open-source similares, clasificados según cuántas características comparten con Awesome Idris.
  • ellerbrock/awesome-koaAvatar de ellerbrock

    ellerbrock/awesome-koa

    420Ver en GitHub↗

    :dancers: Awesome Koa.js Web Framework

    Ver en GitHub↗420
  • forhappy/awesome-luaAvatar de forhappy

    forhappy/awesome-lua

    403Ver en GitHub↗

    A curated list of awesome Lua frameworks, libraries and software.

    Ver en GitHub↗403
  • eleventigers/awesome-rxjavaAvatar de eleventigers

    eleventigers/awesome-rxjava

    306Ver en GitHub↗

    Useful resources for working with RxJava

    androidawesomeawesome-list
    Ver en GitHub↗306
  • iluwatar/java-design-patternsAvatar de iluwatar

    iluwatar/java-design-patterns

    94,123Ver en GitHub↗

    This repository serves as a comprehensive educational collection of industry-standard software design patterns and architectural principles implemented in Java. It functions as a structured reference for developers to study and apply proven strategies for building maintainable, object-oriented systems. The project acts as a knowledge base for software engineering, offering a curated set of programming heuristics and best practices. By providing ready-to-use implementations of standard design patterns, it enables developers to address common programming challenges and improve code modularity t

    Javaawesome-listdesign-patternshacktoberfest
    Ver en GitHub↗94,123
Ver las 30 alternativas a Awesome Idris→

Preguntas frecuentes

¿Qué hace joaomilho/awesome-idris?

𝛌 Awesome Idris resources

¿Cuáles son las características principales de joaomilho/awesome-idris?

Las características principales de joaomilho/awesome-idris son: Awesome List, Herramientas de desarrollo, Programming Languages.

¿Qué alternativas de código abierto existen para joaomilho/awesome-idris?

Las alternativas de código abierto para joaomilho/awesome-idris incluyen: forhappy/awesome-lua — A curated list of awesome Lua frameworks, libraries and software. mbuczko/awesome-clojure — list of useful links for clojurians. eleventigers/awesome-rxjava — Useful resources for working with RxJava. ellerbrock/awesome-koa — :dancers: Awesome Koa.js Web Framework. iluwatar/java-design-patterns — This repository serves as a comprehensive educational collection of industry-standard software design patterns and… rabbiabram/awesome-fortran — Awesome list of Fortran libs.