Jan de Muijnck-Hughes

icon company University of Strathclyde icon location Europe

Results 4 repositories owned by Jan de Muijnck-Hughes
trafficstars

idris-config

19
Stars
7
Forks
Watchers

Parsers for various configuration files written in Idris.

verified publisher icon jfdm

idris-containers

94
Stars
22
Forks
Watchers

Various data structures for use in the Idris Language.

verified publisher icon jfdm

pyPEBEL

20
Stars
6
Forks
Watchers

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

verified publisher icon jfdm

sta-latex

20
Stars
2
Forks
Watchers

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

verified publisher icon jfdm