rickwebiii's repositories
bazel_fpga_rules
Rules for performing tasks related to FPGA development in Bazel.
blinkenlights
The lights! They Blink! A hello world FPGA example using bazel fpga rules. The design is prescribed in Clash/Haskell, compiles to VHDL, then synthesizes to a bitstream for the Digilent Zybo Z7 FPGA dev board.
curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
bazel-springboot-rule
Bazel rule for building Spring Boot apps as a deployable jar
benchmark
A microbenchmark support library
bulletproofs
A pure-Rust implementation of Bulletproofs using Ristretto.
cargo-raze
Generate Bazel BUILD from Cargo dependencies!
CppSkeleton
The skeleton of a C++ application with unit testing
crypto-bigint
Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas
fully-homomorphic-encryption
An FHE compiler for C++
giphy_proxy
An http proxy for anonymizing Giphy queries
grpc-java
The Java gRPC implementation. HTTP/2 based RPC
mdBook
Create book from markdown files. Like Gitbook but implemented in Rust
NaCLScalarMulBench
A benchmark of libsodium's scalar multiplication
rules_proto_grpc
Bazel rules for building Protocol Buffers ± gRPC code and libraries
SEAL
Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.
SoK
Repository for the SoK paper on Fully Homomorphic Encryption (FHE) compilers.
tfhe-rs
TFHE-rs: Pure Rust implementation of the TFHE scheme for boolean and integers FHE arithmetics.
ts-checked-fsm
TypeScript library providing compile-time checking for state machine transitions
typed-html
Type checked JSX for Rust
typescript-eslint
:sparkles: Monorepo for all the tooling which enables ESLint to support TypeScript
wasmer
🚀 The leading WebAssembly Runtime supporting WASI and Emscripten