GitHunt

Theo Butler

Theodus

@edgeandnode
Philadelphia

Languages

Pony35%Rust35%Lua12%Shell6%Go6%Python6%

Top Repositories

Repositories

39
TH
Theodus/micro-monokai-dark

A dark monokai colorcheme for micro

Lua133Updated 1 week ago
TH
Theodus/jennet

A simple HTTP web framework written in Pony

Pony948Updated 4 weeks ago
http-serverpony-languageponylangrouterwebserver
TH
Theodus/dotfiles

Just my dotfiles

Shell00Updated 1 month ago
TH
Theodus/typed-arrowFork

First-class compile‑time Arrow schemas for Rust.

Rust00Updated 1 month ago
TH
Theodus/lighthouseFork

Ethereum consensus client in Rust

00Updated 5 months ago
TH
Theodus/veemonFork

Verifiable Extraction Monorepo

Rust00Updated 5 months ago
TH
Theodus/quintFork

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

00Updated 7 months ago
TH
Theodus/simple-rate-limiterFork

No description provided.

00Updated 11 months ago
TH
Theodus/subscription-paymentsFork

Prototype Contract for Subscription Payments

00Updated 11 months ago
TH
Theodus/verify-rust-stdFork

Verifying the Rust standard library

00Updated 1 year ago
TH
Theodus/go-transpiler

Command-Line utility for compiling Go to Java or C++ using tardisgo or to JavaScript using GopherJS

Go274Updated 2 years ago
TH
Theodus/indexer-service-rsFork

Rewrite of indexer-service in Rust with Scalar TAP implementation

00Updated 2 years ago
TH
Theodus/timeline-aggregation-protocolFork

A fast, efficient and trustless unidirectional micro-payments system.

Rust00Updated 2 years ago
TH
Theodus/secret-sharing

No description provided.

Rust10Updated 2 years ago
TH
Theodus/micro-pony-plugin

Pony plugin for the Micro text editor

Lua40Updated 2 years ago
TH
Theodus/theobutler-com

personal website

00Updated 2 years ago
TH
Theodus/go-livepeerFork

Official Go implementation of the Livepeer protocol

00Updated 3 years ago
TH
Theodus/modelcheck

Basic generative model checking in Rust

Rust00Updated 3 years ago
TH
Theodus/eip-712-deriveFork

Easy EIP-712

00Updated 3 years ago
TH
Theodus/web-frameworksFork

Which is the fastest web framework?

00Updated 3 years ago
TH
Theodus/sss-cliFork

Command line program for secret-sharing strings

00Updated 3 years ago
TH
Theodus/sss-rsFork

Rust bindings for my Shamir secret sharing library

00Updated 3 years ago
TH
Theodus/sssFork

Library for the Shamir secret sharing scheme

00Updated 3 years ago
TH
Theodus/tattoos

No description provided.

Rust00Updated 3 years ago
TH
Theodus/graph-indexer-infra-distribution

Plotting stuff about Indexers on The Graph network

Python00Updated 3 years ago
TH
Theodus/pony-sort

Common sorting algorithms for Pony

Pony10Updated 4 years ago
TH
Theodus/pony-stats

Common statistics functions for Pony

Pony20Updated 4 years ago
pony-languagestatistics
TH
Theodus/pony-benchmark

Improved Micro-Benchmarking for Pony

Pony51Updated 4 years ago
benchmarkingmicrobenchmarkspony-language
TH
Theodus/pony-heap

Binary Heap for Pony

Pony10Updated 4 years ago
TH
Theodus/maybe-perf

No description provided.

Pony10Updated 4 years ago

Gists

Recent Activity