jfdm/idris-testing

This repository has been archived on 12/Jan/2018
Stars
9
Rank 1,939,727 (Top 39 %)
Language Idris
License
BSD 3-Clause "New...
Created over 9 years ago
Updated over 7 years ago

jfdm/idris-testing

jfdm

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

Testing Utilities for Idris programs.

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.

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.