• Stars
    star
    1
  • Language
    Haskell
  • Created almost 12 years ago
  • Updated almost 12 years ago

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