jfdm/idris-grl
An implementation of the Goal Requirements Language in Idris.
Developer Profile
jfdm
Discovered public repositories for jfdm in the GitHub catalog.
jfdm/idris-containers
Various data structures for use in the Idris Language.
jfdm/idris-read
An Idris Library to calculate readability metrics from documents.
jfdm/idris-xml
A simple XML module for Idris.
jfdm/idris-argparse
A simple argument parser written in Idris.
jfdm/idris-config
Parsers for various configuration files written in Idris.
jfdm/idris-uml
A simple DSL for UML modelling together with an API for programmable access.
jfdm/hUML
A Haskell Clone of PlantUML with various subtle differences.
jfdm/edda
A processing engine for documents written in markdown-like languages.
jfdm/sif-lang
A Requirements Oriented DSL for design pattern specification.
jfdm/idris-protocol-examples
Examples of using the Idris Protocols package for stuff.
jfdm/jfdm.github.io
The code for my (S n) Website.
jfdm/ottar
A tool to parse informal security protocol narrations into other formats.
jfdm/perma-search
A project that constructed permutation codes using a greedy algorithm. A very old project that hasn't been updated in 4+ years. Here for posterity only.
jfdm/sta-latex
Unofficial set of LaTeX classes, styles, and knick-knacks aimed at use within the University of St Andrews.
jfdm/pyPEBEL
A python module to support the use of the IBE, ABE, and PBE family of asymmetric encryption schemes.