Discover @jfdm Open Source projects

Jan de Muijnck-Hughes (@jfdm)

jfdm

Stars
251
Global Rank 102,911 (Top 4 %)
Followers 82
Following 28
Registered over 14 years ago
Most used languages

Idris 68.2 %

TeX
13.6 %

Haskell
4.5 %

Shell
4.5 %

Python
4.5 %

Java
4.5 %
Location <UNKNOWN>
Country Total Rank 333

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.

idris-xml

A simple XML module for Idris.

velo-lang

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

idris-testing

Testing Utilities for Idris programs.

hUML

A Haskell Clone of PlantUML with various subtle differences.

olaf-lang

Adventures in being functional.

idris-argparse

A simple argument parser written in Idris.

idris-protocol-examples

Examples of using the Idris Protocols package for stuff.

tears-in-the-rain

idris2-toolkit

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

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.

positively-negative

Adventures in being positively negative when deciding things in Idris.

idris-uml

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

edda

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

java-grl

An implementation of the GRL in Java

sif-lang

A Requirements Oriented DSL for design pattern specification.

lambdadome

gla-latex

Unofficial University of Glasgow LaTeX templates.