jfdm Goto Github PK

a-tasty-problem

chipshop

collie

Command line interface library in Idris

edda

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

freyja-schema

A Pattern Document Description Schema and associated tooling.

frigg-tool

A tool to work with Design Patterns Modelled and created using Sif.

gla-latex

Unofficial University of Glasgow LaTeX templates.

huml

A Haskell Clone of PlantUML with various subtle differences.

idrall

Dhall bindings for Idris

idris-argparse

A simple argument parser written in Idris.

idris-commons

Various common utilities for use in Idris

idris-config

Parsers for various configuration files written in Idris.

idris-containers

Various data structures for use in the Idris Language.

idris-grl

An implementation of the Goal Requirements Language in Idris.

idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

idris-protocol-examples

Examples of using the Idris Protocols package for stuff.

idris-read

An Idris Library to calculate readability metrics from documents.

idris-shaped

idris-testing

Testing Utilities for Idris programs.

idris-uml

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

idris-xml

A simple XML module for Idris.

idris2

A purely functional programming language with first class types

idris2-edda

idris2-toolkit

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

ips-protodesc-code

Code for parsing out augmented packet header diagrams from IETF documents

java-grl

An implementation of the GRL in Java

jfdm.github.io

The code for my (S n) Website.

katla

lambdadome

mspweb

being the shared sources and generated html for the MSP website