Popular repositories Loading

1. curve25519-dalek curve25519-dalek Public

   Forked from dalek-cryptography/curve25519-dalek

   A low-level cryptographic library for point, group, field, and scalar operations on a curve isomorphic to the twisted Edwards curve defined by -x²+y² = 1 - 121665/121666 x²y² over GF(2²⁵⁵ - 19).

   Rust

2. corespec corespec Public

   Forked from sweirich/corespec

   Coq

3. miso miso Public

   Forked from dmjio/miso

   🍜 A tasty Haskell front-end framework

   Haskell