mimoo/dalek-ocaml mimoo/dalek-ocaml

  • Stars
    star
    1
  • Language
    Rust
  • Created over 3 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mimoo/dalek-ocaml
github

mimoo

Reviews

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

Repository Details

bindings to the dalek suite of libraries

More Repositories

1

RSA-and-LLL-attacks

attacking RSA via lattice reductions (LLL)
TeX
664
star
2

Diffie-Hellman_Backdoor

How to backdoor Diffie-Hellman
Python
603
star
3

disco

a protocol to encrypt communications and a cryptographic library based on Disco
Go
203
star
4

eureka

Need to encrypt a file before sending it to someone? This is it.
Go
133
star
5

GoKangarooTwelve

Implementation of KangarooTwelve in Go
Go
94
star
6

disco-c

A tiny C cryptographic library to encrypt sessions, authenticate messages, sign, hash, etc. based only on SHA-3 and Curve25519
C
66
star
7

cargo-dephell

Cargo dephell analyzes the third-party dependencies of a Rust workspace
HTML
47
star
8

crypto_blogs

Blogs about Cryptography/Security to follow
47
star
9

noname

Noname: a programming language to write zkapps
Rust
45
star
10

NoiseGo

An implementation of Noise in Go
Go
42
star
11

SSL-TLS-ECDSA-timing-attack

Timing Attack on TLS' ECDSA signature
TeX
42
star
12

RSA_PKCS1v1_5_attacks

Implementation of Bleichenbacher, Manger and Ben-Or attacks on RSA PKCS#1 v1.5
Python
42
star
13

cargo-specification

The code is the spec
Rust
37
star
14

nodster

Node-webkit + Napster (stream music from Google)
JavaScript
31
star
15

whiteboxDES

a whiteboxed DES implementation based on Chow et al paper
C
30
star
16

StrobeGo

Readable Implementation of Strobe in Go
Go
22
star
17

test_DHparams

test your Diffie-Hellman parameters for safe primes and right sizes
Go
19
star
18

DES

implementation of the DES cipher in C
C
11
star
19

FirefoxTimeTracker

a time tracker to avoid slacking (firefox plugin)
JavaScript
11
star
20

nixbyexample

Learn nix by example
OCaml
11
star
21

cryptobible

Auditing Applied Cryptography
Shell
10
star
22

fromager

Format your damn OCaml code!
OCaml
9
star
23

hexstring

An ocaml library to encode to and decode from hexadecimal strings
OCaml
7
star
24

better-ocaml

A program that parses OCaml errors to display them in a more readable format
Python
6
star
25

wiitop

tournament script for many games (counter strike, warcraft, dota...)
PHP
6
star
26

GoNTL

stuff
Go
5
star
27

blockbreakers

Learn how to break block ciphers
HTML
5
star
28

sumcheck

Implementation of the sum check protocol
Rust
5
star
29

Bool

Bool as options in Golang
Go
4
star
30

randoml

Generate cryptographically-secure random numbers in OCaml
OCaml
4
star
31

disco-formal-verification

Formal Verification of the Disco protocol using Tamarin
3
star
32

disco-whitepaper

TeX
3
star
33

narwhaml

OCaml
3
star
34

siphash

siphash implementation in rust
Rust
2
star
35

democracy_threat_model

A threat model for democracies in general
2
star
36

microcorruption

TeX
1
star
37

trying_to_understand_ocaml_rs

Rust
1
star
38

modena

A machine parsable conlang (constructed language)
HTML
1
star
39

citytrade

trying to write a trading interface for www.citymayor.co
Vue
1
star
40

boite

OCaml
1
star
41

sudoku

1
star
42

xkcp-sys

keccak bindings from rust to C
Rust
1
star
43

UnencryptedWarnings

displays an alert when visiting non-https webpages
1
star
44

mirror-vscode-nix-dev

mirror of https://github.com/jamesottaway/vscode-nix-develop
Nix
1
star
45

unicornator

tool to find cryptography bugs in code
Go
1
star
46

rust-mirai

Github Action to run the MIRAI static analyzer on a rust codebase
TypeScript
1
star
47

gosphincs

SPHINCS+ in Golanmg
Go
1
star
48

ocamlbyexample

Learn Ocaml by reading code examples
OCaml
1
star