Pinned Repositories
gateway
Graph Gateway
snmalloc
Message passing based allocator
verona
Research programming language for concurrent ownership
ponyc
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
ponyup
The Pony toolchain multiplexer
go-transpiler
Command-Line utility for compiling Go to Java or C++ using tardisgo or to JavaScript using GopherJS
jennet
A simple HTTP web framework written in Pony
micro-monokai-dark
A dark monokai colorcheme for micro
micro-pony-plugin
Pony plugin for the Micro text editor
pony-benchmark
Improved Micro-Benchmarking for Pony
Theodus's Repositories
Theodus/jennet
A simple HTTP web framework written in Pony
Theodus/go-transpiler
Command-Line utility for compiling Go to Java or C++ using tardisgo or to JavaScript using GopherJS
Theodus/micro-monokai-dark
A dark monokai colorcheme for micro
Theodus/pony-benchmark
Improved Micro-Benchmarking for Pony
Theodus/micro-pony-plugin
Pony plugin for the Micro text editor
Theodus/pony-stats
Common statistics functions for Pony
Theodus/maybe-perf
Theodus/pony-heap
Binary Heap for Pony
Theodus/ponybench
Microbenchmarking for Pony
Theodus/secret-sharing
Theodus/treeviz
Simple tool for generating tree visualizations with Graphviz
Theodus/backpressure-model
Theodus/coursework
tools for managing my university classes
Theodus/dotfiles
Just my dotfiles
Theodus/eip-712-derive
Easy EIP-712
Theodus/game-of-life
Conway's Game of Life
Theodus/go-livepeer
Official Go implementation of the Livepeer protocol
Theodus/graph-indexer-infra-distribution
Plotting stuff about Indexers on The Graph network
Theodus/indexer-service-rs
Rewrite of indexer-service in Rust with Scalar TAP implementation
Theodus/modelcheck
Basic generative model checking in Rust
Theodus/peano-numbers
Peano Numbers in MATLAB, because why not
Theodus/solenoid-control
Theodus/sss
Library for the Shamir secret sharing scheme
Theodus/sss-cli
Command line program for secret-sharing strings
Theodus/sss-rs
Rust bindings for my Shamir secret sharing library
Theodus/tattoos
Theodus/theobutler-com
personal website
Theodus/timeline-aggregation-protocol
A fast, efficient and trustless unidirectional micro-payments system.
Theodus/vcap
Video device capture for V4L2 on Petalinux
Theodus/web-frameworks
Which is the fastest web framework?