huitseeker Goto Github PK

followers: 467.0 following: 299.0 repos: 209.0 gists: 225.0

Name: François Garillot

Type: User

Company: 4DE3 AD16 FA0A 584B 3C8D C054 3ACB 4CB1 5EA2 FFD6

Bio: Dabbling with streams & distributed data in close proximity to ☕

Twitter: huitseeker

Location: Montreal, Québec, Canada

Blog: https://www.garillot.net/

👋 Hi, I'm François Garillot.

I work at the intersection of research and engineering, formerly at Protocol Labs, Mysten Labs, Novi and Dapper Labs.

🔬 I recently completed a Coq proof of the LibraBFT consensus algorithm safety (proof, talk, slides).
📖 I co-wrote a book on Streaming with Apache Spark (the book, the code examples repository).

François Garillot's Projects

abomonation_derive

A macros 1.1 #[derive(Abomonation)] implementation for the abomonation crate

adam

ADAM is a genomics analysis platform with specialized file formats built using Apache Avro, Apache Spark and Parquet. Apache 2 licensed.

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

android-maps-utils

Handy extensions to the Google Maps Android API.

arbiter

A platform agnostic Evaluation tool for Machine Learning algorithms

arch-by-hand

Arch Linux install script to be used with Archboot install media in EFI mode

Apache Arrow is a cross-language development platform for in-memory data. It specifies a standardized language-independent columnar memory format for flat and hierarchical data, organized for efficient analytic operations on modern hardware. It also provides computational libraries and zero-copy streaming messaging and interprocess communication. Languages currently supported include C, C++, Java, JavaScript, Python, and Ruby.