elykseer

There are 7 repositories under elykseer topic.

eLyKseeR/elykseer-ml
formally specified & verified implementation of eLyKseeR in Coq / OCaml
Language:OCaml2 1 00
eLyKseeR/documentation
documentation effort
Language:HTML0 2 00
eLyKseeR/elykseer-cpp
eLyKseeR basis in C++
Language:C++0 2 20
eLyKseeR/elykseer-crypto
base library that provides cryptographic functions to elykseer implementations
Language:C++0 1 10
eLyKseeR/elykseer-fs
eLyKseeR in F#
Language:F#0 2 20
eLyKseeR/elykseer-hs
eLyKseeR in Haskell
Language:Haskell0 2 00
eLyKseeR/modelling
modelling effort
0 2 20