Rob Kelly's repositories

Language:Jupyter NotebookStargazers:2Issues:2Issues:0
Language:JavaScriptStargazers:2Issues:1Issues:0
Language:SolidityStargazers:0Issues:1Issues:0
Language:SolidityStargazers:0Issues:0Issues:0

audius-protocol

The Audius Protocol - Freedom to share, monetize, and listen to any audio content.

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

bitcoins-rs

Bitcoin-oriented dev toolboxes for native and browser apps 🎈 🎈

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:SolidityStargazers:0Issues:1Issues:0
Language:SolidityStargazers:0Issues:1Issues:0

delta

An open-source storage layer that brings scalable, ACID transactions to Apache Spark™ and big data workloads.

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:SolidityLicense:MITStargazers:0Issues:1Issues:0

eth-keystore-rs

A minimalist library to interact with encrypted JSON keystores

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

ethers-rs

Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

frontier

Ethereum compatibility layer for Substrate.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

fs2-tutorial

tutorial on fs2

Language:ScalaStargazers:0Issues:2Issues:0

getx_pattern

Design pattern designed to standardize your projects with GetX on Flutter.

Language:HTMLStargazers:0Issues:1Issues:0

http4s

A minimal, idiomatic Scala interface for HTTP

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:SolidityLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

olympus-v3

Olympus V3 smart contracts

Language:SolidityStargazers:0Issues:0Issues:0

openzeppelin-sdk

OpenZeppelin SDK repository for CLI and upgrades.js. No longer actively developed.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

Primrose

A syntax-highlighting text editors that renders to an HTML5 Canvas

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:1Issues:0

py-Goldsberry

Python Package for facilitating analysis of NBA Data

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

SharedStake-ui

SharedStake User Interface using vue.js

Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:SolidityStargazers:0Issues:1Issues:0
Language:RustLicense:MITStargazers:0Issues:0Issues:0
Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0
Language:PythonLicense:MITStargazers:0Issues:1Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0
Language:RustStargazers:0Issues:2Issues:0

z3.rs

Rust bindings for the Z3 solver.

Language:RustStargazers:0Issues:1Issues:0