Skip to content

@idris-industry idris-industry

Change the repository type filter

All

    Repositories list

    10 repositories

    • idris2-scala3-vscode

      Public
      idris2 vscode extension written in Scala 3
      Scala
      •
      MIT License
      •0•0•0•0•Updated Apr 1, 2024Apr 1, 2024

    • ikan

      Public
      build tool and package manager for idris,in idris,with free monads
      package-manageridrisfree-monads
      Idris
      •
      Apache License 2.0
      •3•34•2•0•Updated Feb 20, 2019Feb 20, 2019

    • idris-sdecl

      Public
      a working stackage-based empty code generator for idris (but it gives you sth,sdecl,which might be more friendly)
      Haskell
      •
      Other
      •21•5•0•0•Updated Jul 23, 2018Jul 23, 2018

    • idris-free

      Public
      Free Monads and useful constructions to work with them
      idris
      Idris
      •
      BSD 2-Clause "Simplified" License
      •10•2•0•0•Updated Jul 18, 2018Jul 18, 2018

    • Blodwen

      Public
      A little toy...(idris compiler in idris)
      Idris
      •
      Other
      •36•0•0•0•Updated Jul 17, 2018Jul 17, 2018

    • idrisfmt

      Public
      code formatter for idris
      Apache License 2.0
      •0•0•0•0•Updated Jul 16, 2018Jul 16, 2018

    • everything-idris

      Public
      everything about idris
      idris
      Apache License 2.0
      •0•0•0•0•Updated Jul 14, 2018Jul 14, 2018

    • derive

      Public
      Work on type class deriving with elaboration reflection
      idris
      Idris
      •
      MIT License
      •5•0•0•0•Updated Jul 12, 2018Jul 12, 2018

    • lightyear

      Public
      Parser combinators for Idris
      Idris
      •
      Other
      •43•0•0•0•Updated Sep 10, 2017Sep 10, 2017

    • idris-ffi-example

      Public
      A minimal example of the Idris C FFI
      ffiidris
      Idris
      •
      MIT License
      •2•14•1•0•Updated May 15, 2015May 15, 2015