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
- Implementation of Strumok stream cipher☆16Updated 2 years ago
- Reference implementation of the Kalyna block cipher (DSTU 7624:2014), all block and key length variants☆34Updated 3 years ago
- Бібліотека криптографічних перетворень☆47Updated 3 years ago
- Компилятор Рефала-5λ☆79Updated last year
- The UAPKI is crypto library for using in PKI with support of Ukrainian and internationlal cryptographic standards.☆36Updated 2 weeks ago
- trinary.dart☆16Updated 9 years ago
- ☆38Updated 2 years ago
- 🧊 Ant: A New TeX☆18Updated 3 years ago
- Formally verified operator language and rewriting engine for high-performance computing☆23Updated 5 months ago
- EC AntiSpam bot for the Telegram messenger☆31Updated last year
- ☆11Updated 9 years ago
- 🧊 Типізоване -גчислення☆15Updated 8 months ago
- αProlog☆17Updated last year
- Namdak Tonpa Personal Journal☆5Updated this week
- ☆14Updated 7 years ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 6 years ago
- FizzBuzz, formally verified, provably correct☆24Updated last year
- Parser 3, HTML-embedded scripting language☆25Updated this week
- A cryptographic library☆75Updated this week
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Updated 5 years ago
- HN Compiler☆62Updated 5 years ago
- The 'ft' tool is a multi-account terminal wallet for the Free TON blockchain. It is based on the freeton_ocaml_sdk.☆14Updated 2 years ago
- TrueLink Messenger - Secure, decentralized, spam-free communication.☆22Updated 9 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆42Updated 2 years ago