shamray / dstu4145
Modern C++ implementation of DSTU 4145-2002 - Ukrainian standard for eleptic curve cryptography digital signature algorithm
☆9Updated 3 years ago
Alternatives and similar repositories for dstu4145:
Users that are interested in dstu4145 are comparing it to the libraries listed below
- DSTU 4145 cryptography implementation in Python☆12Updated 8 years ago
- Reference implementation of the Kupyna hash function (DSTU 7564:2014)☆19Updated 9 years ago
- Implementation of Strumok stream cipher☆17Updated 2 years ago
- Компилятор Рефала-5λ☆86Updated last year
- !!!! Very outdated version of OpenSSL with dstu4145 patch☆9Updated 3 years ago
- Experimental multidimensional arrays for F#☆11Updated 7 years ago
- Reference implementation of the Kalyna block cipher (DSTU 7624:2014), all block and key length variants☆34Updated 4 years ago
- FizzBuzz, formally verified, provably correct☆26Updated 2 years ago
- XMPP ↔ Telegram bridge☆34Updated last week
- Бібліотека криптографічних перетворень☆49Updated 2 months ago
- 🧊 Типізоване -גчислення☆16Updated last year
- trinary.dart☆16Updated 10 years ago
- Von-Neumann 16-bit relay computer with Brainfuck++ instruction set☆44Updated 5 years ago
- N2O: Rust Application Server☆18Updated 5 years ago
- 🧊 Мінімальна внутрішня мова декартово-замкнених категорій☆9Updated this week
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 13 years ago
- ☆11Updated 9 years ago
- Software project status classification, adapted from the one used by the Andivionian Scientific Alliance.☆17Updated last year
- An implementation of the Formality language in C☆13Updated 5 years ago
- Tiny parser combinators library written in Python.☆15Updated 4 months ago
- Parser 3, HTML-embedded scripting language☆28Updated 2 months ago
- Base Formality libraries☆9Updated 6 years ago
- A portable idris2 implementation of TLS☆32Updated 5 months ago
- ☆11Updated last year
- Simple Telegram Bot written on FORTRAN for generating LaTeX pictures in private messages and inline mode☆10Updated 6 years ago
- The UAPKI is crypto library for using in PKI with support of Ukrainian and internationlal cryptographic standards.☆39Updated 3 months ago
- Parser and pretty-printer for the Oberon programming language☆12Updated 3 months ago
- Unlambda interpreter☆12Updated 9 months ago
- An optimized sample code for SHA256 and SHA512 using C intrinsic☆18Updated 4 years ago
- A Haskell eDSL for the TON VM Assembler☆14Updated 5 years ago