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
• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆16Updated 2 months ago
• erpuno / scan
  💧 SCAN: Сканування
  ☆13Updated 2 years ago
• groupoid / joe
  🧊 Мінімальна внутрішня мова декартово-замкнених категорій
  ☆9Updated 3 months ago
• bmstu-iu9 / refal-5-lambda
  Компилятор Рефала-5λ
  ☆87Updated 2 months ago
• erpuno / hl7
  💠 HL7: FHIR Application Server ISO/HL7 27931:2009
  ☆11Updated last month
• BitEdits / be
  Binary Editor
  ☆20Updated 3 weeks ago
• dstucrypt / openssl-dstu
  !!!! Very outdated version of OpenSSL with dstu4145 patch
  ☆9Updated 3 years ago
• vzaliva / helix
  Formally verified operator language and rewriting engine for high-performance computing
  ☆29Updated last year
• VeriNum / vcfloat
  VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
  ☆30Updated 6 months ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆38Updated last year
• Chaaaos / formaltt
  Formalization of type theory
  ☆22Updated 4 years ago
• o89 / n2o
  N2O: Application Server
  ☆12Updated 2 years ago
• tapsters / swift-to-bert
  Bert encoder/decoder for Swift
  ☆10Updated 8 years ago
• o83 / n2o
  N2O: Rust Application Server
  ☆18Updated 6 years ago
• GaloisInc / LIMA
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Updated 6 years ago
• maximedenes / coq-amd64
  ☆22Updated 9 years ago
• synrc / sample
  💧 SAMPLE: WebSocket Sample Application
  ☆10Updated last year
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆47Updated 3 years ago
• kthielen / stlcc
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Updated 12 years ago
• tapsters / etwilio
  Simply Erlang integration with Twilio
  ☆8Updated 7 years ago
• as-capabl / clay-dhall
  C Layer for Dhall Language
  ☆15Updated 4 years ago
• groupoid / TeX
  🧊 TeX-подібна система верстки наукових праць
  ☆20Updated 4 months ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 3 years ago
• nponeccop / HNC
  HN Compiler
  ☆61Updated last month
• mishun / henk2000
  Pure Type Systems for Functional Programming
  ☆11Updated 11 years ago
• nbenton / x86proved
  ☆14Updated 7 years ago
• poitin / Distiller
  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
  ☆28Updated 3 years ago
• volodeyka / trust-coq
  Formalization of the Truly Stateless Concurrency Model Checker in Coq
  ☆13Updated 3 years ago
• privat-it / cryptonite
  Бібліотека криптографічних перетворень
  ☆51Updated 6 months ago