Alternatives and similar repositories for dstu4145:

Users that are interested in dstu4145 are comparing it to the libraries listed below

• Roman-Oliynykov / Kupyna-reference
  Reference implementation of the Kupyna hash function (DSTU 7564:2014)
  ☆19Updated 9 years ago
• outspace / dstu8845
  Implementation of Strumok stream cipher
  ☆16Updated 2 years ago
• Roman-Oliynykov / Kalyna-reference
  Reference implementation of the Kalyna block cipher (DSTU 7624:2014), all block and key length variants
  ☆34Updated 4 years ago
• privat-it / cryptonite
  Бібліотека криптографічних перетворень
  ☆49Updated last month
• dstucrypt / ukurwa4145
  DSTU 4145 cryptography implementation in Python
  ☆12Updated 8 years ago
• true-grue / awesome-russian-cs-books
  ☆38Updated 3 years ago
• BitEdits / be
  Binary Editor
  ☆19Updated 2 months ago
• groupoid / joe
  🧊 Компілятор ML і віртуальна машина
  ☆9Updated 11 months ago
• squirrel-prover / squirrel-prover
  The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
  ☆52Updated 3 weeks ago
• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆16Updated last year
• serokell / fift-asm-dsl
  A Haskell eDSL for the TON VM Assembler
  ☆14Updated 5 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 4 years ago
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆34Updated this week
• Roman-Oliynykov / ciphers-speed
  ☆11Updated 9 years ago
• aseemr / Indocrypt-VerifiedCrypto-Tutorials
  ☆13Updated 4 years ago
• 0xd34df00d / fizzbuzz-i
  FizzBuzz, formally verified, provably correct
  ☆26Updated 2 years ago
• erpuno / scan
  💧 SCAN: Сканування
  ☆13Updated 2 years ago
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆72Updated this week
• ForNeVeR / skalarprodukt
  Experimental multidimensional arrays for F#
  ☆11Updated 7 years ago
• o89 / n2o
  N2O: Application Server
  ☆11Updated 2 years ago
• round5 / code
  Code of Round5
  ☆11Updated 4 years ago
• specinfo-ua / UAPKI
  The UAPKI is crypto library for using in PKI with support of Ukrainian and internationlal cryptographic standards.
  ☆39Updated 2 months ago
• bcrypto / stb
  Cryptography Standards of Belarus
  ☆18Updated this week
• buzden / deptycheck
  Facilities for generating dependently-typed data
  ☆26Updated this week
• agievich / bee2
  A cryptographic library
  ☆80Updated 2 weeks ago
• kthielen / stlcc
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Updated 12 years ago
• GaloisInc / BLST-Verification
  BLST-Verification
  ☆22Updated 2 months ago
• kpmy / tri
  trinary.dart
  ☆16Updated 10 years ago
• true-grue / VKR
  ☆17Updated 3 years ago
• tact-lang / tact-language-server
  ⚡Tact Language Server (alpha)
  ☆16Updated this week