xxx's starred repositories
hardhat-fe
Hardhat plugin to develop smart contracts with Fe
free-compiler
A Haskell to Coq compiler that represents effectful programs with the free monad
jsonrpc-client-rs
A JSON-RPC 2.0 client in and for Rust
subprocess.h
🐜 single header process launching solution for C and C++
rules_boost
bazel build rules to use boost in bazel projects