Theodus

jennet

A simple HTTP web framework written in Pony

go-transpiler

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

micro-monokai-dark

A dark monokai colorcheme for micro

pony-benchmark

Improved Micro-Benchmarking for Pony

micro-pony-plugin

Pony plugin for the Micro text editor

pony-stats

Common statistics functions for Pony

maybe-perf

pony-heap

Binary Heap for Pony

secret-sharing

treeviz

Simple tool for generating tree visualizations with Graphviz

backpressure-model

coursework

tools for managing my university classes

dotfiles

Just my dotfiles

eip-712-derive

Easy EIP-712

game-of-life

Conway's Game of Life

go-livepeer

Official Go implementation of the Livepeer protocol

graph-indexer-infra-distribution

Plotting stuff about Indexers on The Graph network

indexer-service-rs

Rewrite of indexer-service in Rust with Scalar TAP implementation

modelcheck

Basic generative model checking in Rust

peano-numbers

Peano Numbers in MATLAB, because why not

solenoid-control

sss

Library for the Shamir secret sharing scheme

sss-cli

Command line program for secret-sharing strings

sss-rs

Rust bindings for my Shamir secret sharing library

tattoos

testcontainers-rs

A library for integration-testing against docker containers from within Rust.

theobutler-com

personal website

timeline-aggregation-protocol

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

vcap

Video device capture for V4L2 on Petalinux

web-frameworks

Which is the fastest web framework?