jfdm/idris-protocol-examples jfdm/idris-protocol-examples

  • This repository has been archived on 31/Mar/2020
  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language Idris
  • License
    BSD 3-Clause "New...
  • Created over 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jfdm/idris-protocol-examples
github

jfdm

Reviews

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

Repository Details

Examples of using the Idris Protocols package for stuff.

More Repositories

1

idris-containers

Various data structures for use in the Idris Language.
Idris
95
star
2

sta-latex

Unofficial set of LaTeX classes, styles, and knick-knacks aimed at use within the University of St Andrews.
TeX
24
star
3

pyPEBEL

A python module to support the use of the IBE, ABE, and PBE family of asymmetric encryption schemes.
Python
21
star
4

idris-config

Parsers for various configuration files written in Idris.
Idris
19
star
5

idris-xml

A simple XML module for Idris.
Idris
13
star
6

velo-lang

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

idris-testing

Testing Utilities for Idris programs.
Idris
9
star
8

hUML

A Haskell Clone of PlantUML with various subtle differences.
Haskell
8
star
9

olaf-lang

Adventures in being functional.
Idris
7
star
10

idris-argparse

A simple argument parser written in Idris.
Idris
7
star
11

tears-in-the-rain

TeX
4
star
12

idris2-toolkit

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

chipshop

3
star
14

packer-idris

Packer scripts for generating Virtual Box OVFs that have Idris preinstalled.
Shell
3
star
15

idris-grl

An implementation of the Goal Requirements Language in Idris.
Idris
2
star
16

positively-negative

Adventures in being positively negative when deciding things in Idris.
Idris
2
star
17

idris-uml

A simple DSL for UML modelling together with an API for programmable access.
Idris
1
star
18

edda

A processing engine for documents written in markdown-like languages.
Idris
1
star
19

java-grl

An implementation of the GRL in Java
Java
1
star
20

sif-lang

A Requirements Oriented DSL for design pattern specification.
Idris
1
star
21

lambdadome

Idris
1
star
22

gla-latex

Unofficial University of Glasgow LaTeX templates.
TeX
1
star