Jan de Muijnck-Hughes

idris-containers. Various data structures for use in the Idris Language.

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

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

idris-config. Parsers for various configuration files written in Idris.

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

idris-xml. A simple XML module for Idris.

positively-negative. Adventures in being positively negative when deciding things in Idris.

olaf-lang. Adventures in being functional.

idris-testing. Testing Utilities for Idris programs.

hUML. A Haskell Clone of PlantUML with various subtle differences.

idris-argparse. A simple argument parser written in Idris.

smokehill. Haskell

idris-protocol-examples. Examples of using the Idris Protocols package for stuff.

idris2-toolkit. I collection of things I use in Idris2 that I dump into private projects to avoid dependency hell.

tears-in-the-rain. TeX

chipshop.

packer-idris. Packer scripts for generating Virtual Box OVFs that have Idris preinstalled.

idris-grl. An implementation of the Goal Requirements Language in Idris.

edda. A processing engine for documents written in markdown-like languages.

bidi-sessions. BIdirectionally-Typed Sessions

skunkworks. A place for experimental ideas not large enough for their own home.

gla-latex. Unofficial University of Glasgow LaTeX templates.

sif-lang. A Requirements Oriented DSL for design pattern specification.

idris-uml. A simple DSL for UML modelling together with an API for programmable access.

lambdadome. Idris

idris-shaped. Idris

java-grl. An implementation of the GRL in Java