jfdm/idris-grl

This repository has been archived on 31/Mar/2020
Stars
2
Language Idris
License
BSD 3-Clause "New...
Created almost 10 years ago
Updated over 8 years ago

jfdm/idris-grl

jfdm

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An implementation of the Goal Requirements Language in Idris.

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.

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.