Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 5, 2018

• Merge pull request #10 from idris-hackers/unknown-uncommitted

  Show description for 0fb69b7
  sellout

  authored
  0fb69b7

  Copy full SHA for 0fb69b7

Commits on Apr 9, 2018

• Cleaned up MD5.

  sellout

  committed
  5c77cdd

  Copy full SHA for 5c77cdd

Commits on Apr 8, 2018

• Fix DEA & TDEA, for real.

  sellout

  committed
  c0855e9

  Copy full SHA for c0855e9

• Minor fix for Idris 1.2.

  Show description for 3cdcab1
  sellout

  committed
  3cdcab1

  Copy full SHA for 3cdcab1

Commits on Nov 6, 2017

• StreamCipher instances for EncryptionModes that can.

  sellout

  committed
  80c5420

  Copy full SHA for 80c5420

• Add CounterMode EncryptionMode.

  sellout

  committed
  ebe755f

  Copy full SHA for ebe755f

• Fix MD5.

  sellout

  committed
  70e99fe

  Copy full SHA for 70e99fe

• Minor cleanup.

  sellout

  committed
  28d4b99

  Copy full SHA for 28d4b99

• Improve SHA, but not working yet.

  sellout

  committed
  89c686e

  Copy full SHA for 89c686e

• Many small(?) changes.

  Show description for 490a7ea
  sellout

  committed
  490a7ea

  Copy full SHA for 490a7ea

• Fix some bitrotted imports.

  sellout

  committed
  349b580

  Copy full SHA for 349b580

• Some new, likely incomplete, algorithms.

  sellout

  committed
  acef00f

  Copy full SHA for acef00f

• Add/restructure type classes.

  sellout

  committed
  934ed97

  Copy full SHA for 934ed97

• Add some bit of SHA* implementations.

  sellout

  committed
  6a31d82

  Copy full SHA for 6a31d82

• Merge pull request #8 from clayrat/master

  Show description for 7976ccf
  sellout

  authored
  7976ccf

  Copy full SHA for 7976ccf

Commits on Nov 5, 2017

• Merge pull request #1 from idris-hackers/clayrat-master

  Show description for d99c81f
  clayrat

  authored
  d99c81f

  Copy full SHA for d99c81f

• Tie interface constants to type.

  Show description for 8ad6e74
  sellout

  committed
  8ad6e74

  Copy full SHA for 8ad6e74

Commits on Sep 13, 2017

• fix finToBits

  

  Alex Gryzlov

  committed
  0c9bd3c

  Copy full SHA for 0c9bd3c

Commits on Sep 12, 2017

• update for latest Idris

  

  Alex Gryzlov

  committed
  071dcbd

  Copy full SHA for 071dcbd

Commits on Feb 5, 2016

• Merge pull request #7 from gitter-badger/gitter-badge

  Show description for 92efd67
  sellout

  committed
  92efd67

  Copy full SHA for 92efd67

Commits on Oct 6, 2015

• Add Gitter badge

  gitter-badger

  committed
  8b0edfc

  Copy full SHA for 8b0edfc

Commits on Apr 2, 2015

• Change fZ/fS to FZ/FS.

  Show description for 63f1e1a
  sellout

  committed
  63f1e1a

  Copy full SHA for 63f1e1a

Commits on May 14, 2014

• Implement MD5, and a Hash class.

  sellout

  committed
  4a8aaeb

  Copy full SHA for 4a8aaeb

• Add more utility functions.

  sellout

  committed
  a085029

  Copy full SHA for a085029

Commits on May 4, 2014

• Reorganizing modules.

  sellout

  committed
  36ccf62

  Copy full SHA for 36ccf62

• Refactor Mod.idr

  Show description for cb47a8f
  sellout

  committed
  cb47a8f

  Copy full SHA for cb47a8f

• Fix tight mod and make related changes.

  sellout

  committed
  796f9a9

  Copy full SHA for 796f9a9

Commits on Apr 29, 2014

• Add an ipkg.

  sellout

  committed
  b274ef5

  Copy full SHA for b274ef5

• Added an RC4 implementation.

  sellout

  committed
  d1fa8fb

  Copy full SHA for d1fa8fb

• Add some usage instructions.

  sellout

  committed
  1822386

  Copy full SHA for 1822386

• More abstraction!

  sellout

  committed
  4a66502

  Copy full SHA for 4a66502

• Initial attempt at StreamCipher type class.

  sellout

  committed
  19f3cb7

  Copy full SHA for 19f3cb7

• Rearranged some bits of code.

  sellout

  committed
  f058dde

  Copy full SHA for f058dde

Commits on Apr 27, 2014

• Various fixes to DES.

  Show description for f3779fd
  sellout

  committed
  f3779fd

  Copy full SHA for f3779fd

Commits on Apr 22, 2014

• Add more encryption modes.

  sellout

  committed
  99760e7

  Copy full SHA for 99760e7

Pagination

Previous

Next