8000 rlkelly (Rob Kelly) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View rlkelly's full-sized avatar

Block or report rlkelly

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Gossip-based service discovery (and more) for large distributed systems.

Rust 949 37 Updated May 27, 2025

⭕ A *nix cross-platform (OS agnostic) supervisor

Go 817 54 Updated Jul 21, 2024

Official implementation of the Creditcoin protocol

TypeScript 34 16 Updated May 1, 2025

Subspace Protocol reference implementation

Rust 395 254 Updated May 29, 2025

Browser-based visual programming language and platform for sound synthesis.

JavaScript 1,121 61 Updated Sep 30, 2023

Javascript & Typescript SDK for Zero-Knowledge Application Development

Rust 606 476 Updated May 28, 2025

Pricing anything, anywhere, anytime.

TypeScript 86 21 Updated May 6, 2025

🥧 HTTPie CLI — modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.

Python 35,725 3,723 Updated Dec 17, 2024

Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

Python 4,029 772 Updated May 19, 2025

Static Analyzer for Solidity and Vyper

Python 5,703 1,026 Updated May 27, 2025

Rust bindings for the Z3 solver.

Rust 393 122 Updated Dec 9, 2024

Esoteric Programming Language

JavaScript 4,732 231 Updated Apr 15, 2025

🚡 Minimal linux container runtime

Rust 448 23 Updated Sep 5, 2021

Good old gibberish for your virtual characters

HTML 12 1 Updated Oct 11, 2021

The Hacker's Machine Learning Engine

Rust 1,120 75 Updated Jul 22, 2024
Rust 1 Updated Jan 14, 2020

🧑‍🔬 Operating system

Rust 1,442 27 Updated May 26, 2025

High performance Rust ECS library

Rust 1,674 135 Updated Dec 30, 2021

A graph-based functional API for building complex scikit-learn pipelines.

Python 589 30 Updated Dec 8, 2022

Maintain disk images or other large files indefinitely on the Sia network.

Python 24 4 Updated Jan 14, 2020

Cannoli Programming Language

Rust 770 20 Updated Oct 25, 2018

a repl for michelson, tezos smart contract language

Python 1 Updated Feb 13, 2019

Lachesis BFT consensus for permission-less networks, in Rust

Rust 35 5 Updated Jul 5, 2019

Efficiently computes derivatives of NumPy code.

Python 7,276 915 Updated May 26, 2025

high-performance graph database for real-time use cases

Go 20,889 1,519 Updated May 29, 2025

Fast, asynchronous and elegant Python web framework.

Python 5,646 301 Updated Dec 23, 2020

Decentralized Machine Learning Client

Jupyter Notebook 197 54 Updated May 8, 2021

Chain replication server framework for Rust

Rust 35 2 Updated Mar 2, 2025

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

Dockerfile 63,123 4,750 Updated Aug 7, 2024

Open-source software for volunteer computing and grid computing.

PHP 2,144 477 Updated May 29, 2025
Next
0