jfdm/pyPEBEL jfdm/pyPEBEL

  • This repository has been archived on 09/Nov/2017
  • Stars
    star
    21
  • Rank 1,084,038 (Top 22 %)
  • Language
    Python
  • License
    Other
  • Created almost 12 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jfdm/pyPEBEL
github

jfdm

Reviews

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

Repository Details

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

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

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