awesome-repositories.com
Blog
awesome-repositories.com

Descoperă cele mai bune repository-uri open source cu căutare AI.

ExploreazăCăutări recomandateAlternative open-sourceSoftware self-hostedBlogHartă site
ProiectDespreCum realizăm clasamentulPresăServer MCP
LegalConfidențialitateTermeni
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
idris-lang avatar

idris-lang/Idris-devArchived

0
View on GitHub↗
3,474 stele·629 fork-uri·Haskell·1 vizualizareidris-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.

Istoric stele

Graficul istoricului de stele pentru idris-lang/idris-devGraficul istoricului de stele pentru idris-lang/idris-dev

Căutare AI

Explorează mai multe repository-uri excelente

Descrie ce ai nevoie în limbaj simplu — AI-ul sortează mii de proiecte open source selectate în funcție de relevanță.

Start searching with AI

Alternative open-source pentru Idris Dev

Proiecte open-source similare, clasificate după numărul de funcționalități comune cu Idris Dev.
  • bendudson/py4clAvatar bendudson

    bendudson/py4cl

    258Vezi pe GitHub↗

    Call python from Common Lisp

    Common Lisp
    Vezi pe GitHub↗258
  • byulparan/cl-nextstepAvatar byulparan

    byulparan/cl-nextstep

    46Vezi pe GitHub↗

    Cocoa binding for Common Lisp on macOS

    Common Lisp
    Vezi pe GitHub↗46
  • digikar99/py4cl2Avatar digikar99

    digikar99/py4cl2

    55Vezi pe GitHub↗

    Call python from Common Lisp

    Common Lisp
    Vezi pe GitHub↗55
  • atgreen/openldkAvatar atgreen

    atgreen/openldk

    257Vezi pe GitHub↗

    A JIT Compiler and Runtime for Java in Common Lisp

    Java
    Vezi pe GitHub↗257
Vezi toate cele 27 alternative pentru Idris Dev→

Întrebări frecvente

Ce face idris-lang/idris-dev?

A Dependently Typed Functional Programming Language

Care sunt principalele funcționalități ale idris-lang/idris-dev?

Principalele funcționalități ale idris-lang/idris-dev sunt: Language Interoperability, Official resources.

Care sunt câteva alternative open-source pentru idris-lang/idris-dev?

Alternativele open-source pentru idris-lang/idris-dev includ: 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.