Alternatives and similar repositories for dstu4145

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

• dstucrypt / ukurwa4145
  DSTU 4145 cryptography implementation in Python
  ☆12Updated 8 years ago
• outspace / dstu8845
  Implementation of Strumok stream cipher
  ☆17Updated 2 years ago
• Roman-Oliynykov / Kupyna-reference
  Reference implementation of the Kupyna hash function (DSTU 7564:2014)
  ☆19Updated 9 years ago
• serokell / fift-asm-dsl
  A Haskell eDSL for the TON VM Assembler
  ☆14Updated 5 years ago
• jrk / symalg
  (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)
  ☆12Updated 13 years ago
• runtimeverification / algorand-verification
  Formal verification of the Algorand consensus protocol
  ☆27Updated 2 years ago
• BitEdits / be
  Binary Editor
  ☆19Updated 2 months ago
• samsergey / monopig
  Monoidal stack machine
  ☆10Updated 6 years ago
• nbenton / x86proved
  ☆14Updated 7 years ago
• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆16Updated 3 weeks ago
• whitequark / Sublime-Coq
  Coq programming language support for Sublime Text
  ☆7Updated 5 years ago
• volodeyka / trust-coq
  Formalization of the Truly Stateless Concurrency Model Checker in Coq
  ☆13Updated 3 years ago
• vzaliva / helix
  Formally verified operator language and rewriting engine for high-performance computing
  ☆28Updated last year
• smimram / catt
  An infinity-categorical coherence typechecker
  ☆17Updated 7 months ago
• kthielen / stlcc
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Updated 12 years ago
• CoqHott / coq-forcing
  A plugin for Coq that implements the call-by-name forcing translation
  ☆12Updated 4 years ago
• processone / jamler
  ☆14Updated last year
• proglang / ldgv
  Label dependent dependent session types
  ☆16Updated last year
• jashug / FormalizedCompilerAlgorithms
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Updated 6 years ago
• DistributedComponents / verdi-lockserv
  An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
  ☆14Updated 7 years ago
• groupoid / joe
  🧊 Мінімальна внутрішня мова декартово-замкнених категорій
  ☆9Updated 2 months ago
• o89 / n2o
  N2O: Application Server
  ☆12Updated 2 years ago
• catalin-hritcu / fstar-course
  Program verification with F* course materials
  ☆12Updated 5 years ago
• maximedenes / coq-amd64
  ☆22Updated 9 years ago
• ujamjar / hardcaml-examples
  HardCaml example designs
  ☆18Updated 7 years ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• groupoid / TeX
  🧊 TeX-подібна система верстки наукових праць
  ☆19Updated 3 months ago
• mirage / retreat-website
  Microsite for the MirageOS hack retreats
  ☆13Updated 3 months ago
• privat-it / cryptonite
  Бібліотека криптографічних перетворень
  ☆50Updated 4 months ago
• murbard / plebeia
  Optimized Patricia trie with disk storage
  ☆31Updated 6 years ago