mimoo/nixbyexample mimoo/nixbyexample

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    OCaml
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mimoo/nixbyexample
github

mimoo

Reviews

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

Repository Details

Learn nix by example

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

cryptobible

Auditing Applied Cryptography
Shell
10
star
21

fromager

Format your damn OCaml code!
OCaml
9
star
22

hexstring

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

better-ocaml

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

wiitop

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

GoNTL

stuff
Go
5
star
26

blockbreakers

Learn how to break block ciphers
HTML
5
star
27

sumcheck

Implementation of the sum check protocol
Rust
5
star
28

Bool

Bool as options in Golang
Go
4
star
29

randoml

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

disco-formal-verification

Formal Verification of the Disco protocol using Tamarin
3
star
31

disco-whitepaper

TeX
3
star
32

narwhaml

OCaml
3
star
33

siphash

siphash implementation in rust
Rust
2
star
34

democracy_threat_model

A threat model for democracies in general
2
star
35

microcorruption

TeX
1
star
36

trying_to_understand_ocaml_rs

Rust
1
star
37

modena

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

citytrade

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

boite

OCaml
1
star
40

sudoku

1
star
41

xkcp-sys

keccak bindings from rust to C
Rust
1
star
42

UnencryptedWarnings

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

mirror-vscode-nix-dev

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

unicornator

tool to find cryptography bugs in code
Go
1
star
45

rust-mirai

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

dalek-ocaml

bindings to the dalek suite of libraries
Rust
1
star
47

gosphincs

SPHINCS+ in Golanmg
Go
1
star
48

ocamlbyexample

Learn Ocaml by reading code examples
OCaml
1
star