Skip to content
@programminglanguagesclub

programminglanguagesclub

Popular repositories Loading

  1. elemental-magicks elemental-magicks Public

    Idris + Ur/Web development of a perfect information, fair, deterministic turn based strategy game, built with dependent types!

    Idris 17

  2. presentations presentations Public

    JavaScript 1 1

Repositories

Showing 2 of 2 repositories
  • elemental-magicks Public

    Idris + Ur/Web development of a perfect information, fair, deterministic turn based strategy game, built with dependent types!

    programminglanguagesclub/elemental-magicks’s past year of commit activity
    Idris 17 0 34 (4 issues need help) 0 Updated Nov 4, 2018
  • presentations Public
    programminglanguagesclub/presentations’s past year of commit activity
    JavaScript 1 1 0 0 Updated Mar 31, 2016

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…