jfdm/idris2-toolkit

Stars
4
Rank 3,304,323 (Top 66 %)
Language Idris
License
BSD 3-Clause Clea...
Created over 4 years ago
Updated over 1 year ago

jfdm/idris2-toolkit

jfdm

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

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

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

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.