Ethan Buchman (ebuchman)

ebuchman

Geek Repo

Company:Informal Systems

Location:Guelph, Ontario

Home Page:https://ebuchman.github.io/

Github PK Tool:Github PK Tool


Organizations
cometbft
cosmos
informalsystems

Ethan Buchman's repositories

pharrell

parallel ssh and scp in golang

Language:GoStargazers:9Issues:3Issues:0

new-server

Simple and secure setup for a new server

bloke

golang blog/webpage generator with ajax bubbles

Language:GoLicense:MITStargazers:4Issues:2Issues:1

shit-harper-did

To document how Stephan Harper is the worst Prime Minister in Canadian history

got

For things to do with git and go

crypto-ecosystems

A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems

Language:RustLicense:MITStargazers:1Issues:1Issues:0

etcd-launch

Launch a TLS secured etcd cluster over docker-machine

Language:ShellLicense:GPL-3.0Stargazers:1Issues:2Issues:0

gopi

pi calculus in golang

Language:GoLicense:GPL-3.0Stargazers:1Issues:2Issues:0

gosec

Golang security checker

Language:GoLicense:Apache-2.0Stargazers:1Issues:1Issues:0

pi2go

Compile pi calculus expressions to golang

Language:GoLicense:GPL-3.0Stargazers:1Issues:2Issues:0

rates

Calculate exchange rates

Language:ShellStargazers:1Issues:2Issues:0

resume

The Markdown Resume

Language:TeXLicense:MITStargazers:1Issues:2Issues:0

Bacteria

pillae driven bacterial motility

Language:CStargazers:0Issues:2Issues:0
Language:ShellStargazers:0Issues:3Issues:0
Language:ShellLicense:MITStargazers:0Issues:1Issues:0
License:CC0-1.0Stargazers:0Issues:0Issues:0

eth-client

Command line interfaces for low-level conversations with ethereum chains

Language:GoLicense:GPL-3.0Stargazers:0Issues:2Issues:0

ethsign

Sign ethereum transactions

Language:GoStargazers:0Issues:2Issues:0
Language:GoLicense:Apache-2.0Stargazers:0Issues:2Issues:1

governance

Resources for Cosmos governance

License:CC0-1.0Stargazers:0Issues:1Issues:0

ics23

Building generic merkle proof format for IBC

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

Open-Grants-Program

Web3 Foundation Open Grants Program

License:Apache-2.0Stargazers:0Issues:1Issues:0

practical-fm

A gently curated list of companies using verification formal methods in industry

Stargazers:0Issues:1Issues:0

slmc

Examples of pi-calculus processes and their properties using the Spatial Logic Model Checker

Language:OCamlLicense:GPL-3.0Stargazers:0Issues:2Issues:0

terraforce

SSH and SCP for terraform infrastructure

Language:GoLicense:Apache-2.0Stargazers:0Issues:2Issues:0

theano-rnn

Demonstration of recurrent neural network implemented with Theano

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0