jfdm/idris-containers jfdm/idris-containers

  • This repository has been archived on 06/Nov/2022
  • Stars
    star
    95
  • Rank 354,083 (Top 7 %)
  • Language Idris
  • License
    BSD 3-Clause "New...
  • Created almost 10 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jfdm/idris-containers
github

jfdm

Reviews

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

Repository Details

Various data structures for use in the Idris Language.

More Repositories

1

sta-latex

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

pyPEBEL

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

idris-config

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

idris-xml

A simple XML module for Idris.
Idris
13
star
5

velo-lang

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

idris-testing

Testing Utilities for Idris programs.
Idris
9
star
7

hUML

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

olaf-lang

Adventures in being functional.
Idris
7
star
9

idris-argparse

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

idris-protocol-examples

Examples of using the Idris Protocols package for stuff.
Idris
5
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