Erick Pintor erickpintor

• Porto Alegre - RS - Brasil
• 13:18 (UTC -03:00)
• in/erickpintor

Pinned Loading

1. An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

   TypeScript 1.3k 120

2. A model-based testing framework for Quint + Rust

   Rust 42 3

3. A simple in memory key-value storage based on a CTrie

   Scala 1 1

4. Parallel SMR implemented on top of BFT-SMaRt

   Jupyter Notebook 2 1