Popular repositories Loading

1. idris-containers idris-containers Public archive

   Various data structures for use in the Idris Language.

   Idris 95 21

2. sta-latex sta-latex Public archive

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

   TeX 25 2

3. pyPEBEL pyPEBEL Public archive

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

   Python 22 6

4. idris-config idris-config Public archive

   Parsers for various configuration files written in Idris.

   Idris 19 7

5. idris-xml idris-xml Public archive

   A simple XML module for Idris.

   Idris 13 2

6. velo-lang velo-lang Public

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

   Idris 12 2