eLyKseeR

All

8 repositories

elykseer-ml
Public
formally specified & verified implementation of eLyKseeR in Coq / OCaml
cryptography hacktoberfest data-archive elykseer
OCaml
•
GNU General Public License v3.0
•0•2•0•1•Updated Nov 7, 2024Nov 7, 2024
modelling
Public
modelling effort
cryptography mda model-checking modelling elykseer
Coq
•
MIT License
•0•0•2•0•Updated Aug 27, 2024Aug 27, 2024
elykseer-crypto
Public
base library that provides cryptographic functions to elykseer implementations
cryptography hacktoberfest elykseer
C++
•
GNU General Public License v3.0
•0•0•1•0•Updated Aug 19, 2024Aug 19, 2024
elykseer-cpp
Public
eLyKseeR basis in C++
data cryptography cpp hacktoberfest data-archive elykseer
C++
•
GNU General Public License v3.0
•0•0•2•0•Updated Aug 19, 2024Aug 19, 2024
documentation
Public
documentation effort
documentation cryptography hacktoberfest data-archive elykseer
HTML
•0•0•1•0•Updated Jul 15, 2024Jul 15, 2024
.github
Public
Github settings for all repos in this organisation
0•0•0•0•Updated Jun 3, 2024Jun 3, 2024
elykseer-fs
Public
eLyKseeR in F#
data cryptography fsharp data-archive elykseer
F#
•
GNU General Public License v3.0
•0•0•1•1•Updated Mar 30, 2021Mar 30, 2021
elykseer-hs
Public
eLyKseeR in Haskell
haskell cryptography ffi data-archive elykseer
Haskell
•
GNU General Public License v3.0
•0•0•0•0•Updated Mar 30, 2021Mar 30, 2021