Skip to content
@idris-industry

idris-industry

practical efforts on correctness and beauty

Pinned Loading

  1. ikan ikan Public

    build tool and package manager for idris,in idris,with free monads

    Idris 34 3

Repositories

Showing 10 of 10 repositories
  • idris2-scala3-vscode Public

    idris2 vscode extension written in Scala 3

    idris-industry/idris2-scala3-vscode’s past year of commit activity
    Scala 0 MIT 0 0 0 Updated Apr 1, 2024
  • ikan Public

    build tool and package manager for idris,in idris,with free monads

    idris-industry/ikan’s past year of commit activity
    Idris 34 Apache-2.0 3 2 0 Updated Feb 20, 2019
  • idris-sdecl Public Forked from idris-lang/idris-emptycg

    a working stackage-based empty code generator for idris (but it gives you sth,sdecl,which might be more friendly)

    idris-industry/idris-sdecl’s past year of commit activity
    Haskell 5 21 0 0 Updated Jul 23, 2018
  • idris-free Public Forked from clayrat/idris-free

    Free Monads and useful constructions to work with them

    idris-industry/idris-free’s past year of commit activity
    Idris 2 BSD-2-Clause 10 0 0 Updated Jul 18, 2018
  • Blodwen Public Forked from edwinb/Blodwen

    A little toy...(idris compiler in idris)

    idris-industry/Blodwen’s past year of commit activity
    Idris 0 36 0 0 Updated Jul 17, 2018
  • idrisfmt Public

    code formatter for idris

    idris-industry/idrisfmt’s past year of commit activity
    0 Apache-2.0 0 0 0 Updated Jul 16, 2018
  • everything-idris Public

    everything about idris

    idris-industry/everything-idris’s past year of commit activity
    0 Apache-2.0 0 0 0 Updated Jul 14, 2018
  • derive Public Forked from infinisil/derive-all-the-instances

    Work on type class deriving with elaboration reflection

    idris-industry/derive’s past year of commit activity
    Idris 0 MIT 5 0 0 Updated Jul 12, 2018
  • lightyear Public Forked from ziman/lightyear

    Parser combinators for Idris

    idris-industry/lightyear’s past year of commit activity
    Idris 0 43 0 0 Updated Sep 10, 2017
  • idris-ffi-example Public

    A minimal example of the Idris C FFI

    idris-industry/idris-ffi-example’s past year of commit activity
    Idris 14 MIT 2 1 0 Updated May 15, 2015

Top languages

Loading…

Most used topics

Loading…