Jan de Muijnck-Hughes

icon company University of Strathclyde icon location Europe

Results 5 repositories owned by Jan de Muijnck-Hughes

idris-config

20
Stars
7
Forks
20
Watchers

Parsers for various configuration files written in Idris.

verified publisher icon jfdm

idris-containers

95
Stars
21
Forks
95
Watchers

Various data structures for use in the Idris Language.

verified publisher icon jfdm

pyPEBEL

21
Stars
6
Forks
21
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

25
Stars
2
Forks
25
Watchers

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

verified publisher icon jfdm

velo-lang

16
Stars
2
Forks
16
Watchers

Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.

verified publisher icon jfdm