Skip to content
@BryghtWords

BryghtWords

Popular repositories Loading

  1. rules_idris rules_idris Public

    Idris rules for Bazel

    Python 13 3

  2. idris_packager idris_packager Public

    Zips an Idris module into an ipz file

    Scala 1

  3. IdrisTest IdrisTest Public

    Testing library for Idris

    Idris

Repositories

Showing 3 of 3 repositories
  • rules_idris Public

    Idris rules for Bazel

    BryghtWords/rules_idris’s past year of commit activity
    Python 13 Apache-2.0 3 3 1 Updated Dec 27, 2018
  • idris_packager Public

    Zips an Idris module into an ipz file

    BryghtWords/idris_packager’s past year of commit activity
    Scala 0 1 0 0 Updated Nov 19, 2018
  • IdrisTest Public

    Testing library for Idris

    BryghtWords/IdrisTest’s past year of commit activity
    Idris 0 0 0 0 Updated Nov 13, 2018

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…