• Generic Packet Descriptions in Idris

    Idris Updated Aug 21, 2018
  • Programming language agnostic type construction language based on polynomials.

    Idris 13 1 Updated Aug 3, 2018
  • project management

    AGPL-3.0 Updated May 15, 2018
  • compiler

    1 Updated Sep 24, 2017
  • Typedefs website

    HTML Updated Jun 24, 2017