Skip to content
@eLyKseeR

eLyKseeR

cryptographic data archive

eLyKseeR - cryptographic data archive

This is the home of eLyKseeR the cryptographic data archive.

(alternative repository locations on: Gitlab)

Our repositories are organised in three groups:

1) at the base is our formal specification and validation in Coq/Rocq elykseer-ml

2) there are supporting repositories

3) and there is an implementation in C++ elykseer-cpp

Our logo shows an elephant. It is a symbol for good memory and being strong to defend a secret. So we aim at creating a software system that makes it simple to store data for years to come while also providing best cryptographic protection.

support our work

You can support our work either within Github by becoming a sponsor or on https://buymeacoffee.com/elykseer. Thank you!

buy-me-a-coffee

Popular repositories Loading

  1. elykseer-ml elykseer-ml Public

    formally specified & verified implementation of eLyKseeR in Coq / OCaml

    OCaml 2

  2. documentation documentation Public

    documentation effort

    HTML

  3. modelling modelling Public

    modelling effort

    Coq

  4. elykseer-cpp elykseer-cpp Public archive

    eLyKseeR basis in C++

    C++

  5. elykseer-hs elykseer-hs Public

    eLyKseeR in Haskell

    Haskell

  6. elykseer-fs elykseer-fs Public

    eLyKseeR in F#

    F#

Repositories

Showing 8 of 8 repositories

Top languages

Loading…

Most used topics

Loading…