actuallyachraf Goto Github PK

algebra

A literate :pencil: implementation of algebraic primitives for cryptography and algebraic applications :alembic:

andriller

Andriller - is software utility with a collection of forensic tools for smartphones. It performs read-only, forensically sound, non-destructive acquisition from Android devices.

arith

fast arbitrary precision arithmetic

cpp-base-template

An in the works C++ conventional project template for C++17 and higher projects.

crypto

[mirror] Go supplementary cryptography libraries

disco

a protocol to encrypt communications and a cryptographic library based on Disco

fs-merkle

A pure :sparkles: F# implementation of Merkle Trees

fs-paillier

Paillier Homomorphic Scheme in Pure F#

fts

A Full Text Search Engine in Golang

functionsimsearch

Some C++ example code to demonstrate how to perform code similarity searches using SimHashing.

go-merkle

An RFC6962 compatible implementation of merkle trees

gomorph

Implementing Homomorphic Encryption in Golang :seedling:

lcc

An Incremental C Compiler in OCaml

monkey-giggle

My implementation of Thorsten Bell's book (Writing an Interpreter in Go)

private-id

A collection of algorithms that can do join between two parties while preserving the privacy of keys on which the join happens

private-join-and-compute

psistats

A Fast and Portable Implementation of PSI-STATS in Go

rc

Rustic C Compiler

ristretto255

Implements ristretto255, a fast prime-order group.

saferwall

A hackable malware sandbox for the 21st Century

sketch

Probabilistic Data Structures in Golang

sorel-20m

Sophos-ReversingLabs 20 million sample dataset

spellcheck

A C++ Port of Norvig Spellcheck

superstark

Python 3 Implementation of zkSTARKs with support for RESCUE, FFT

talk-2018-essence-of-ad

The simple essence of automatic differentiation

tiny-dnn

header only, dependency-free deep learning framework in C++14

z3-playground

A repository to store Z3-python scripts you can use as examples, reminders, whatever.

zkstarks

A :pencil: literate and test-driven :bug: implementation of ZK-STARKs