zoep
Follow
Highlights
- Pro
-
-
coqdocjs Public
Forked from coq-community/coqdocjsCollection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
JavaScript BSD 2-Clause "Simplified" License UpdatedOct 29, 2024 -
-
act Public
Forked from ethereum/actSmart contract specification language
Haskell GNU Affero General Public License v3.0 UpdatedAug 18, 2022 -
-
ed25519-dalek Public
Forked from huitseeker/ed25519-dalekFast and efficient ed25519 signing and verification in Rust.
Rust BSD 3-Clause "New" or "Revised" License UpdatedAug 8, 2019 -
curve25519-dalek Public
Forked from dalek-cryptography/curve25519-dalekA pure-Rust implementation of group operations on Ristretto and Curve25519
Rust Other UpdatedAug 8, 2019 -
rust-curve25519-fiat Public
Forked from novifinancial/rust-curve25519-fiatRust bindings to formally-proven field arithmetic operations from MIT's fiat-crypto project
C Apache License 2.0 UpdatedAug 6, 2019 -
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
Rust Apache License 2.0 UpdatedJul 31, 2019 -
fiat-crypto Public
Forked from mit-plv/fiat-cryptoCryptographic Primitive Code Generation by Fiat
Coq MIT License UpdatedJul 31, 2019 -
x25519-dalek Public
Forked from dalek-cryptography/x25519-dalekX25519 elliptic curve Diffie-Hellman key exchange in pure-Rust, using curve25519-dalek.
Rust BSD 3-Clause "New" or "Revised" License UpdatedJul 12, 2019 -
safe-for-space Public
Formal proof that closure conversion with flat environments is safe for space.
-
FStar Public
Forked from FStarLang/FStarVerification system for effectful programs
OCaml Apache License 2.0 UpdatedAug 16, 2017 -
alpaca Public
Forked from Qthan/alpacaLlama Compiler for compilers course
-
spacemacs Public
Forked from syl20bnr/spacemacsA community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Emacs Lisp UpdatedMay 12, 2016 -
ECC-OCaml Public
Forked from nickgian/ECC-OCamlElliptic Curves Cryptography for OCaml
-
-
-
-
ProjectEuler Public
Forked from nickgian/ProjectEulerProject Euler Problems in Some OCaml & Just Haskell
-
-
-
Rosalind Public
Forked from nickgian/RosalindRosalind.info problem solutions
OCaml UpdatedNov 8, 2012 -
-
hw3_rottenpotatoes Public
Forked from case451/hw3_rottenpotatoesHW 3 skeleton for doing BDD with RottenPotatoes
Ruby UpdatedNov 3, 2012 -
-
-
-