petrosagg
Software Engineer at @MaterializeInc, former CTO of @balena-io
@MaterializeIncBarcelona, Spain
Pinned Repositories
armv7hf-python-dockerhub
ARM docker image that builds python from source on dockerhub
bitcoin-coinflip
Flip a coin on the Bitcoin Blockchain.
escher
Self-referencial structs using the async/await transformation
heypanos
This is a transcript of this video http://www.youtube.com/watch?v=No8kKiZ8ZkU
lambda-coffee
A λ-calculus implementation in CoffeeScript
papagal
Visually appealing Flowdock with extra features. What else do you want?
rusty-tape
kasetophono.com scraper
tasktrace
Non intrusive backtrace collection for async tasks
tofu-webapp-openpgp
Sample webapp that after the first load ensures that no resources are loaded that aren't signed by a specific GPG key
wtfiles
Files that make you go WTF!
petrosagg's Repositories
petrosagg/wtfiles
Files that make you go WTF!
petrosagg/papagal
Visually appealing Flowdock with extra features. What else do you want?
petrosagg/ntua
petrosagg/postgres-datetime
An attempt of translating postgres' datetime parsing routines into safe Rust
petrosagg/rust-postgres
Native PostgreSQL driver for the Rust programming language
petrosagg/tasktrace
Non intrusive backtrace collection for async tasks
petrosagg/enum_dispatch
Mirror of https://gitlab.com/antonok/enum_dispatch
petrosagg/harmony
The core protocol of harmony
petrosagg/rusty-tape
kasetophono.com scraper
petrosagg/aoc-2022
petrosagg/blockchat
Distributed systems project
petrosagg/bytes
Utilities for working with bytes
petrosagg/computation-solution-template
A template for solutions to my Introduction to Computation course
petrosagg/crossbeam
Tools for concurrent programming in Rust
petrosagg/demo-reclock-reduce
petrosagg/differential-dataflow
An implementation of differential dataflow using timely dataflow on Rust.
petrosagg/ece-discord-bot
petrosagg/fastcrypto
Common cryptographic library used in software at Mysten Labs.
petrosagg/firecracker
Secure and fast microVMs for serverless computing.
petrosagg/icu4x
Solving i18n for client-side and resource-constrained environments.
petrosagg/materialize
The Streaming SQL Database powered by Timely Dataflow
petrosagg/mysql_async
Asyncronous Rust Mysql driver based on Tokio.
petrosagg/ntua-oslab-2024
petrosagg/p-practice
petrosagg/PL2
Course Material for "Programming Languages II"
petrosagg/prost
PROST! a Protocol Buffers implementation for the Rust Language
petrosagg/rust
Empowering everyone to build reliable and efficient software.
petrosagg/rust-ml
Precalculus matrices project implemented in neural networks
petrosagg/rust-postgres-array
petrosagg/timely-dataflow
A modular implementation of timely dataflow in Rust