andres-erbsen/tai64hs andres-erbsen/tai64hs

  • Stars
    star
    1
  • Language
    Haskell
  • Created almost 12 years ago
  • Updated almost 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
andres-erbsen/tai64hs
github

andres-erbsen

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

TAI64 time format library for haskell

More Repositories

1

dename

NameCoin-style names using consensus instead of proof of work
Go
101
star
2

salsa20

An implementation of djb-s salsa20 in 45 lines of human-readable C code
C
14
star
3

crypto-graphically

Experimental graph-based visual representation and proof method for cryptographic interactions
JavaScript
8
star
4

curve25519-verilog

Beginnings of a Verilog implementation of Curve25519.
Verilog
7
star
5

chatterbox

A chat thingy
Go
5
star
6

torch

Probably not the TOR client you are looking for.
Go
5
star
7

vindicat

Mesh networking based on maintaining a graph of link objects signed by peers. WIP.
C
4
star
8

safecurves-primes

Checking the SafeCurves primes in Coq
Python
3
star
9

pgpdmtx

Automated paper backups of OpenPGP keys using paperkey and Data Matrix barcodes
Shell
3
star
10

PriorityMail

Local, personalized email prioritizer using machine learning (and benchmark results)
Python
3
star
11

sgp-c

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

htmlbox

HTML to HTML encrypter in Python and Javascript
Python
3
star
13

chacha20-verilog

A Verilog implementation of ChaCha20
Verilog
2
star
14

sinac

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

solo

Run a process as singleton. Uses loopback sockets for locking instead of files.
Perl
2
star
16

trkuur

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

baseconvert

Convert between all bases 2..256 the most efficient way possible
C
2
star
18

cogs

Dotfiles and small scripts mostly used in my laptop
Shell
1
star
19

slock

C
1
star
20

cjdns-estimate

Almost a simulation, trying to estimate how much longer are paths found by cjdns compared to actual shortest paths
C++
1
star
21

sha3-verilog-mirror

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

sipb-pgpsign

Automatic PGP certification for MIT students
Go
1
star
23

impermute

Imperative programming in haskell: variables and loops
Haskell
1
star
24

listproxy

HTTPS reverse proxy to enforce authrorization using MIT Moira lists
Go
1
star
25

tlstestutil

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

voteclient

Yet Another e-voting system, this time based on linkable anonymous signatures
Shell
1
star
27

voteserver

Go
1
star
28

coq-experiments

gists that build
Coq
1
star
29

dename-writeup

TeX
1
star
30

rrtcp

Realtime audio-over-TCP that sucks less
Go
1
star
31

Insecure-python-cgi

Examples how NOT to program
Python
1
star
32

runhooks

Like per-user rc.d
Shell
1
star
33

ioisyl

Algorithms mentioned in IOI syllabus
C
1
star
34

LSAGS

Implementation of Linkable Spontaneous Anonymous Group Signature for Ad Hoc Groups by Joseph K. Liu, Victor K. Wei and Duncan S. Wong
C
1
star