5 open source projects by jfdm

Various data structures for use in the Idris Language.

A python module to support the use of the IBE, ABE, and PBE family of asymmetric encryption schemes.

Parsers for various configuration files written in Idris.

Unofficial set of LaTeX classes, styles, and knick-knacks aimed at use within the University of St Andrews.

A simple XML module for Idris.