davidlazar/siphash-cryptol davidlazar/siphash-cryptol

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
  • Created over 12 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
davidlazar/siphash-cryptol
github

davidlazar

Reviews

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

Repository Details

Cryptol specification of the SipHash function

More Repositories

1

base64

High-assurance base64
C
103
star
2

jotmuch

Jotmuch bookmark manager
Python
68
star
3

llvm-semantics

Formal semantics of LLVM IR in K
LLVM
43
star
4

PircBot

Java IRC bot framework
Java
25
star
5

pwclip

Hash-based password manager
Go
19
star
6

seal

Easily encrypt files, notes, and passwords
Go
18
star
7

kebab

secure backup tool (not maintained)
Go
17
star
8

haskell-semantics

Formal semantics of Haskell in K
Haskell
15
star
9

rig

random identity generator
Go
14
star
10

6.857coin

Educational cryptocurrency
Go
11
star
11

ocaml-semantics

Formal semantics of OCaml
OCaml
9
star
12

accumulator

Cryptographic accumulator
Go
9
star
13

go-crypto

Cryptographic packages for Go
Go
8
star
14

fixhub

Say Goodbye to Octicons
Python
8
star
15

PCPL

Post Correspondence Programming Language
Haskell
7
star
16

elk-docker

Deploy a secure ELK stack using Docker and LetsEncrypt
Shell
7
star
17

go-dkim

Verify DKIM signatures
Go
7
star
18

xml_of_ocaml

Translate OCaml code to XML
OCaml
6
star
19

upstream

Stream audio to an Icecast server
C
6
star
20

hpygments

Highlight source code using Pygments
Haskell
5
star
21

flycrypt

Quickly encrypt strings
Go
5
star
22

musl

Fork of musl adapted for the semantics of LLVM
C
4
star
23

supergit

Manage many git repos as one
Go
4
star
24

acme-nano

Tool for generating HTTPS certificates
Go
4
star
25

maude-hs

A Haskell interface to the Maude rewriting system
Haskell
4
star
26

BLAKE

HMAC mode for BLAKE
C
4
star
27

python-drbg

Cryptographically Secure PRNG for Python
Python
4
star
28

endurance

Bot for announcing activities (runs, hikes, ...) to Slack and Keybase
Go
4
star
29

keccak-cryptol

Cryptol specification of the Keccak (SHA-3) hash function
3
star
30

go-libyaml

Go bindings to LibYAML
Go
3
star
31

utm

Universal Turing Machine
Haskell
3
star
32

fresh

Introduce fresh variables into Haskell source code
Haskell
2
star
33

list-all-tabs

List tabs, find duplicates, and close them
JavaScript
2
star
34

FrinkBot

Run Frink programs over IRC
Java
2
star
35

process-extras

Extra functionality for the Process library
Haskell
2
star
36

aur

AUR packages I maintain
Shell
1
star
37

ursa

Unit analysis framework
1
star
38

simon-and-speck

Cryptol specification of the Simon and Speck block ciphers
1
star
39

ReminderBot

An IRC bot that reminds you to do things
Java
1
star
40

language-k

Types and parsers for the K semantic framework
Haskell
1
star
41

generic-k

Convert Haskell values into K terms and vice versa
Haskell
1
star