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)
  ☆17Updated 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 3 years ago
• privat-it / cryptonite
  Бібліотека криптографічних перетворень
  ☆48Updated 3 years ago
• specinfo-ua / UAPKI
  The UAPKI is crypto library for using in PKI with support of Ukrainian and internationlal cryptographic standards.
  ☆37Updated 2 weeks ago
• dstucrypt / openssl-dstu
  !!!! Very outdated version of OpenSSL with dstu4145 patch
  ☆9Updated 2 years ago
• groupoid / joe
  🧊 Компілятор ML і віртуальна машина
  ☆9Updated 9 months ago
• Roman-Oliynykov / ciphers-speed
  ☆11Updated 9 years ago
• dmitry-vlasov / russell
  An implementation of the Russell logical framework
  ☆8Updated 5 years ago
• bmstu-iu9 / refal-5-lambda
  Компилятор Рефала-5λ
  ☆82Updated last year
• exonum / exonum-cryptoowls
  Demo of cryptoowls on Exonum blockchain
  ☆24Updated 3 years ago
• serokell / fift-asm-dsl
  A Haskell eDSL for the TON VM Assembler
  ☆14Updated 5 years ago
• excavador / erlang-mnesia-video.ru
  ☆20Updated 3 years ago
• artlebedev / parser3
  Parser 3, HTML-embedded scripting language
  ☆26Updated this week
• nponeccop / HNC
  HN Compiler
  ☆62Updated 5 years ago
• 0xd34df00d / fizzbuzz-i
  FizzBuzz, formally verified, provably correct
  ☆24Updated last year
• app13y / lg15
  x100 faster implementation of GOST 34.12-2015 Kuznyechik optimized for high throughput and low latency on SSE2-capable CPUs
  ☆20Updated 5 years ago
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• true-grue / peco
  Tiny parser combinators library written in Python.
  ☆14Updated last month
• valis / DT2018
  Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года
  ☆15Updated 6 years ago
• DileSoft / open-games-engines-manifesto
  Манифест открытых игровых движков
  ☆11Updated 3 years ago
• vzaliva / helix
  Formally verified operator language and rewriting engine for high-performance computing
  ☆24Updated 7 months ago
• o83 / n2o
  N2O: Rust Application Server
  ☆18Updated 5 years ago
• samsergey / monopig
  Monoidal stack machine
  ☆10Updated 6 years ago
• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆15Updated 10 months ago
• agievich / bee2
  A cryptographic library
  ☆80Updated 3 weeks ago
• Soonad / Formality-C
  An implementation of the Formality language in C
  ☆14Updated 5 years ago
• 0xd34df00d / inline-asm
  Inline Assembly code in ur Haskell!
  ☆41Updated last year
• vasil-sd / engineering-sw-hw-model-checking-letures
  Lectures in MIPT: intro to engineering software using model-checking.
  ☆17Updated 3 years ago
• kpmy / tri
  trinary.dart
  ☆16Updated 9 years ago