Specify and synthesize systems using symbolic algorithms
-
Updated
Dec 15, 2025 - Python
GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Build software better, together
#
rabinHere are 20 public repositories matching this topic...Language: All
Filter by language
Sort: Most stars
Sort options
Specify and synthesize systems using symbolic algorithms
Rabin fingerprinting implemented in WASM
Pure OCaml implementation of libXdiff (Rabin's fingerprint)
Oblivious Transfer and Zero Knowledge Proof protocols implemented in Sagemath in Python
python cryptography crypto jupyter jupyter-notebook rsa rabin rsa-cryptography sagemath oblivious-transfer zero-knowledge primes
A Rust implementation of the Miller-Rabin primality test algorithm.
rust cryptography crypto test rsa prime rust-lang cargo rabin prime-numbers bigint miller miller-rabin miller-rabin-test prime-number-algorithm miller-rabin-algorithm
Implementation of Ciphers
stream additive ciphers affine play enigma rabin vigenere hill transposition rotor enigma-machine substitution-cipher monoalphabetic otp-cipher multiplicative
Algorithms studied during the Cryptography Course
cryptography rsa rabin des hill-cipher diffie-hellman affine-cipher diffie-hellman-algorithm des-encryption additive-cipher diffie-hellman-key keyless-cipher multiplicative-cipher rsa-cipher s-box initial-permuatation-des final-permutation-des key-generation-des des-key-generation aes-key-generation
Used algorithms for prime generation/check (Fermat's test and Miler Rabin's test) to implement discrete logarithm (BSGS), and inverse and exponentiation (Extended Euclid's algorithm). Refer to readme.txt for more details.
cryptography encryption rsa rabin decryption diffie-hellman elliptic-curve-diffie-hellman fermat discrete-logarithm bsgs miler
Implementation of File to Image Encryption on C++
cryptography rabin arnold-cat-map blum-blum-shub file-to-image-encryption randomized-text-encryption
This project implements the main cryptographic functions and 7 cryptosystems
Independent implementations of DES and Rabin encryption algorithms using Maven. Includes key generation, encryption, and decryption functionalities.
Programs I wrote that helped me understand encryption, decryption and signing functions along with security protocols. Programs written in Java using BigIntegers.
gcd rabin rsa-cryptography elgamal modular-exponentiation euclidean-algorithm miller-rabin chinese-remainder-theorem modular-inverse
A file type analyzer accepts the directory path and detects each type of file using KMP algorithm, which is later enhanced using Rabin Karp algorithm.
Cryptography from the point of view of functional programming
Binary delta codec: Rabin rolling-hash copy/insert opcodes, prefix/suffix fast-path, binary-safe. Extracted from Suture.
A disk I/O management utility to reserve, allocate, and optimize disk space usage, trying to ensure efficient file handling. Seamlessly locks disk space in advance, freeing and reallocating it for future I/O operations with optimal pagination for maximum performance.
Add this topic to your repoTo associate your repository with the rabin topic, visit your repo's landing page and select "manage topics." |
| You are visitor 01402520 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |