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 ☕.
@lurk-lab
Twitter: huitseeker
Location: Montreal, Québec, Canada
Blog: https://www.garillot.net/
François Garillot's Projects
Polkadot Node Implementation
Tensors and Dynamic neural networks in Python with strong GPU acceleration
Async-friendly QUIC implementation in Rust
Java runtime metadata analysis
Code
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Revolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.
Deep Reinforcement Learning for the JVM
A Rust API search engine
Rust bindings to formally-proven field arithmetic operations from MIT's fiat-crypto project
Rust tools for OpenCL and GPU management.
HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
Source code for rib.rs
Statically detect double-lock & conflicting-lock bugs on MIR
Rust language bindings for Bitcoin secp256k1 library.
A modern TLS library in Rust
an exploration of type-level SAFE
Library for describing binary formats for Scala types
sbt, a build tool for Scala
Plugin for sbt to create Eclipse project definitions
The Scala programming language
Scala IDE for Eclipse
A web dashboard for the Scala IDE projects
Central repository for managing the implementation of InSynth and Scala IDE integration.
Play 2 support for Scala IDE
Giger8 template for Eclipse plugins based on the Scala IDE