Giters
Jack Lloyd (randombit)

randombit

Geek Repo

603

followers

101

following

1k

stars

Location:Vermont

Home Page:https://randombit.net

Github PK Tool:Github PK Tool

Jack Lloyd's starred repositories

axum

Ergonomic and modular web framework built with Tokio, Tower, and Hyper

Language:RustStargazers:16988Issues:122Issues:718

magic-trace

magic-trace collects and displays high-resolution traces of what a process is doing

Language:OCamlLicense:MITStargazers:4485Issues:33Issues:92

redb

An embedded key-value database in pure Rust

Language:RustLicense:Apache-2.0Stargazers:3001Issues:24Issues:280

cargo-udeps

Find unused dependencies in Cargo.toml

Language:RustLicense:NOASSERTIONStargazers:1586Issues:9Issues:105

risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Language:C++License:Apache-2.0Stargazers:1501Issues:53Issues:483

high-assurance-rust

A free book about developing secure and robust systems software.

Language:RustStargazers:1274Issues:37Issues:16

rust-cache

A GitHub Action that implements smart caching for rust/cargo projects

Language:TypeScriptLicense:LGPL-3.0Stargazers:1177Issues:7Issues:134

tao

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

Language:RustLicense:MPL-2.0Stargazers:1081Issues:13Issues:8

rust-prometheus

Prometheus instrumentation library for Rust applications

Language:RustLicense:Apache-2.0Stargazers:1032Issues:60Issues:170

seasocks

Simple, small, C++ embeddable webserver with WebSockets support

Language:C++License:BSD-2-ClauseStargazers:718Issues:38Issues:96

CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Language:RustLicense:MITStargazers:594Issues:8Issues:8

cargo-llvm-lines

Count lines of LLVM IR per generic function

Language:RustLicense:Apache-2.0Stargazers:384Issues:9Issues:27

sphinx

A Sphinx implementation in Rust

Language:RustLicense:Apache-2.0Stargazers:269Issues:13Issues:22

circ

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

Language:RustLicense:NOASSERTIONStargazers:267Issues:15Issues:27

tokio-rayon

Mix async code with CPU-heavy thread pools using Tokio + Rayon

Language:RustLicense:MITStargazers:118Issues:6Issues:1

bertie

Bertie TLS 1.3 Implementation

Language:F*License:Apache-2.0Stargazers:109Issues:11Issues:51

hotstuff

Implementation of the HotStuff consensus protocol.

Language:RustLicense:Apache-2.0Stargazers:106Issues:6Issues:30

zkmbs

Code for zero-knowledge middleboxes

Language:JetBrains MPSLicense:MITStargazers:54Issues:4Issues:0

ssprove

A foundational framework for modular cryptographic proofs in Coq

Language:CoqLicense:MITStargazers:52Issues:8Issues:6

squirrel-prover

The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.

Language:OCamlLicense:NOASSERTIONStargazers:46Issues:8Issues:2

ct-merkle

An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)

Language:RustLicense:NOASSERTIONStargazers:34Issues:4Issues:0

boo-hoo

An implementation of ZKBoo

Language:RustLicense:NOASSERTIONStargazers:33Issues:3Issues:1

yao-gc

A basic implementation of Yao's Garbled Circuits

Language:RustLicense:NOASSERTIONStargazers:29Issues:1Issues:0

ibe

Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve

Language:RustStargazers:20Issues:3Issues:0

bls12_381

Implementation of the BLS12-381 pairing-friendly elliptic curve group with extra features needed by the Dusk-Network team

Language:RustLicense:NOASSERTIONStargazers:19Issues:8Issues:61

ct-tools

A repository of tools for verifying constant-timeness

Language:ShellStargazers:13Issues:5Issues:19

banquet

Banquet implementation

Language:C++License:MITStargazers:12Issues:5Issues:0

multgen

Integer Multiplier Generator for Verilog

Language:C++License:BSD-3-ClauseStargazers:9Issues:1Issues:1

eprint-fans

Generate custom ePrint feeds using keywords.

Language:GoLicense:Apache-2.0Stargazers:3Issues:2Issues:1

LenstraECM

Python implementation of the ECM factoring algorithm made speedy with GMPY2

Language:PythonStargazers:2Issues:1Issues:0