- Venice, Italy
Block or Report
Block or report chritchens
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
-
c3c Public
Forked from c3lang/c3cCompiler for the C3 language
C GNU Lesser General Public License v3.0 UpdatedMay 18, 2021 -
h11 Public
Forked from ducdetronquito/h11I/O free HTTP/1.1 implementation for Zig 🦎
Zig BSD Zero Clause License UpdatedApr 5, 2021 -
http Public
Forked from ducdetronquito/httpHTTP core types for Zig 🦴
Zig BSD Zero Clause License UpdatedApr 2, 2021 -
-
elgamal-curve25519 Public
ElGamal homomorphic encryption on Curve25519
-
ouroboros-rs Public
An high-level Rust wrapper to the Ouroboros protocol
-
ouroboros Public
Forked from dstaesse/ouroborosMirror of the Ouroboros packet network repository. Latest version and documentation is on the website.
C BSD 3-Clause "New" or "Revised" License UpdatedJan 18, 2020 -
-
may Public
Forked from Xudong-Huang/mayrust stackful coroutine library
Rust Apache License 2.0 UpdatedAug 16, 2019 -
spartan-rs Public
A Rust implementation of the Spartan protocol
-
-
-
-
AtomVM Public
Forked from atomvm/AtomVMTiny Erlang VM
C GNU Lesser General Public License v2.1 UpdatedApr 21, 2019 -
hitchens Public
Forked from patdryburgh/hitchensAn inarguably well-designed Jekyll theme. View the demo at
CSS MIT License UpdatedApr 17, 2019 -
HaskellNet Public
Forked from qnikst/HaskellNetHaskell library which provides client support for POP3, SMTP, and IMAP protocols.
Haskell Other UpdatedApr 8, 2019 -
FStar Public
Forked from FStarLang/FStarVerification system for effectful programs
F* Apache License 2.0 UpdatedJan 25, 2019 -
hacl-star Public
Forked from hacl-star/hacl-starHACL*, a formally verified cryptographic library written in F*
Assembly Apache License 2.0 UpdatedJan 25, 2019 -
-
kremlin Public
Forked from FStarLang/karamelKreMLin is a tool for extracting low-level F* programs to readable C code
OCaml Apache License 2.0 UpdatedJan 18, 2019 -
optimus Public
Forked from funbox/optimusCommand line option parser for Elixir
Elixir Other UpdatedDec 30, 2017 -
curve25519-dalek Public
Forked from dalek-cryptography/curve25519-dalekA 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 Other UpdatedDec 16, 2017 -
sodiumoxide Public
Forked from sodiumoxide/sodiumoxideSodium Oxide: Fast cryptographic library for Rust (bindings to libsodium)
Rust Other UpdatedJul 10, 2017 -
saltine Public
Forked from tel/saltineCryptography that's easy to digest (NaCl/libsodium bindings)
Haskell MIT License UpdatedMay 20, 2017 -
tarpc Public
Forked from google/tarpcAn RPC framework for Rust with a focus on ease of use.
Rust MIT License UpdatedMay 10, 2017 -
bcoin Public
Forked from bcoin-org/bcoinJavascript bitcoin library for node.js and browsers
JavaScript Other UpdatedMay 8, 2017 -
bitcoinj-unlimited Public
Forked from bitcoinj/bitcoinjA library for working with Bitcoin
Java Apache License 2.0 UpdatedMay 7, 2017 -
parity-bitcoin-unlimited Public
Forked from paritytech/parity-bitcoinThe Parity Bitcoin client