TomMD/ugly-old-aes-verification

Stars
1
Language
C
Created over 7 years ago
Updated almost 2 years ago

TomMD/ugly-old-aes-verification

TomMD

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

Verify some ugly old AES for giggles

crypto-api

Haskell generic interface (type classes) for cryptographic algorithms

oauth2-simple

A simple Haskell OAuth2 library

mellow

A bridge from FreeNect to OpenGL in Haskell

JuicyPixels-repa

A Repa interface to JuicyPixels

pureMD5

A reasonably performing MD5 implementation in pure Haskell

friday-juicypixels

Convert between friday and juicypixels types

teensy

network-data

Network data structures in Haskell (IP, UDP, TCP headers, etc)

cipher-aes128

Based on cipher-aes, but using a crypto-api interface and providing resulting IVs for each mode

FixedPoint

A library of large (fixed size) ints, words, and fixed point numbers.

hs-ed25519-donna

Haskell bindings to floodyberry's ed25519 C code (EC signature scheme)

DRBG

Deterministic Random Bit Generators (English -> Haskell translation from SP 800-90)

gps

A Haskell GPS library

gloss-osm

Easily build OpenStreetMap.org pictures for gloss

commsec

A "native" communications security package for Haskell

gpx-conduit

A conduit interface to parse GPX files

fgl-visualize

Convert FGL to Graphviz DOT format

TYB

Template Your Boilerplate

crypto-api-tests

A collection of tests for common cryptographic algorithms (using the crypto-api interface)

vector-strategies

A parallel evaluation strategy for boxed vectors

osm-download

Haskell convenience functions to download OSM tiles

commsec-keyexchange

Station-to-Station key exchange protocol using RSA keys.

configuration

Just my vim, tmux, and bashrc

repa-image-algorithms

Naive implementations of common image processing algorithms in Repa

ghcide-examples

Example working and failing ghcide setups with cabal

reproduce-cabal-hpc-failure

test

ghc

GHC fork for zeroing GC feature

garbagejs

Garbage for testing

loggly

A basic Haskell connection to loggly

random-string

Generate a random string as base 16, 58, or 64.

MeganLearn

Megan asks about things. Sometimes code is the answer. Hopefullly more often.

cbbgp

Clone, Buld, Benchmark, Graph, Push

bench

Simple command line benchmarker for an odd class of command line tools

PDP

A PDP8 Emulator

CompCert-Peep-hole-Optimizer

A Peep-hole optimizer for CompCert

mellow-ffmpeg

A bridge from WebCam frames to Display in Haskell (with image processing)

test-sh

gloss-devil

Display DevIL-loaded images (png,jpg,etc) or other Repa RGBA arrays in Gloss

toy-mongo-and-persistent

The Yesod cookbook for mongo + persistent, updated for a few bit rotted pieces

friday-freenect

Haskell Freenect to Friday type converstion

monadcryptorandom

A Random Monad that allows the generator to fail cleanly