andres-erbsen Goto Github PK

crypto-graphically

Experimental graph-based visual representation and proof method for cryptographic interactions

cryptopt

CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives

curve25519-donna

Implementations of a fast Elliptic-curve Diffie-Hellman primitive

curve25519-verilog

Beginnings of a Verilog implementation of Curve25519.

dename

NameCoin-style names using consensus instead of proof of work

dename-writeup

dkim

Package dkim is a pure Go DKIM verification library.

drake

A planning, control, and analysis toolbox for nonlinear dynamical systems. More info at

drake-dynamic-soaring

drake-shambhala

Exemplifies various ways to open a pathway to using Drake in your own project.

ed25519-donna

Implementations of a fast Elliptic-curve Digital Signature Algorithm

eio-sess-2013-dp

Minu lahendused DP ülesannetele

email

engcode

Encode binary data as english words

fcf

Foundational Cryptography Framework for machine-checked proofs of cryptography.

fiat-crypto

Cryptographic Primitive Code Generation by Fiat

frap

Formal Reasoning About Programs

fsmonitor

Mirror of https://github.com/romanoff/fsmonitor

go-dkim

DKIM package for golang

gostatic-pkgbuild

Arch Linux PKGBUILD for https://github.com/piranha/gostatic/

grpc-go

The Go language implementation of gRPC. HTTP/2 based RPC

hacspec

htmlbox

HTML to HTML encrypter in Python and Javascript

impermute

Imperative programming in haskell: variables and loops

insecure-python-cgi

Examples how NOT to program

ioisyl

Algorithms mentioned in IOI syllabus

kami

A Platform for High-Level Parametric Hardware Specification and its Modular Verification

libsocket

The ultimate socket library for C and C++, including support for almost every type of sockets (excepted e.g. SCTP), a complex yet helpful class hierarchy, OO-support for poll()/select() and a Makefile for installation as Shared Object (dynamic library)

listproxy

HTTPS reverse proxy to enforce authrorization using MIT Moira lists

locky

Locks all X sessions with xscreenlocker or a custom command