andres-erbsen Goto Github PK

sgp-c

Simply Good Privacy. PGP-like system without web of trust. At the moment "only" curve25519 is supported.

sha3-verilog-mirror

Partial mirror of http://opencores.org/websvn,listing?repname=sha3&path=%2Fsha3%2Ftrunk%2F#path_sha3_trunk_ by Homer Hsing

simple-https-server

a HTTPS server as simple as `python -m SimpleHTTPServer' (uses LetsEncrypt)

sinac

Simple X inactivity monitor - build your own screen locker and set IM to away on the go.

sipb-pgpsign

Automatic PGP certification for MIT students

slock

smtcoq

Communication between Coq and SAT/SMT solvers

solo

Run a process as singleton. Uses loopback sockets for locking instead of files.

tai64hs

TAI64 time format library for haskell

tlc

Library for Classical Coq

tlstestutil

Utilities for writing tests using TLS, refactored out from github.com/andres-erbsen/dename

torch

Probably not the TOR client you are looking for.

trkuur

(Xe)LaTeX class and biblatex style for Tallinn Secondary Science School term papers

umurmur

Minimalistic Murmur

verilog-dumbserial

vindicat

Mesh networking based on maintaining a graph of link objects signed by peers. WIP.

voteclient

Yet Another e-voting system, this time based on linkable anonymous signatures

voteserver

vst

Verified Software Toolchain

xmpp-client

An XMPP client with OTR support

ykneo-ccid-tools-pkgbuild

yosys

Yosys Open SYnthesis Suite