shamray / dstu4145
Modern C++ implementation of DSTU 4145-2002 - Ukrainian standard for eleptic curve cryptography digital signature algorithm
☆9Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for dstu4145
- Reference implementation of the Kupyna hash function (DSTU 7564:2014)☆17Updated 9 years ago
- ☆38Updated 2 years ago
- Компилятор Рефала-5λ☆79Updated last year
- Experimental multidimensional arrays for F#☆11Updated 7 years ago
- 🧊 Типізоване -גчислення☆15Updated 7 months ago
- !!!! Very outdated version of OpenSSL with dstu4145 patch☆9Updated 2 years ago
- Base Formality libraries☆9Updated 5 years ago
- InfoSec Binary Hex Editor with Retro Disassemblers☆18Updated 2 months ago
- FizzBuzz, formally verified, provably correct☆24Updated last year
- trinary.dart☆16Updated 9 years ago
- N2O: Application Server☆10Updated last year
- XMPP ↔ Telegram bridge☆33Updated 2 weeks ago
- N2O: Rust Application Server☆18Updated 5 years ago
- 🧊 Компілятор ML і віртуальна машина☆9Updated 7 months ago
- An implementation of the Russell logical framework☆8Updated 5 years ago
- ☆11Updated 9 years ago
- Reference implementation of the Kalyna block cipher (DSTU 7624:2014), all block and key length variants☆34Updated 3 years ago
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆12Updated 2 years ago
- ☆22Updated 8 years ago
- An implementation of the Formality language in C☆13Updated 5 years ago
- Issue tracker assistant☆8Updated 5 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 11 years ago
- Бібліотека криптографічних перетворень☆46Updated 3 years ago
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Updated 13 years ago
- Implementation of several spatial indexes (R-tree, etc.)☆18Updated last year