Singapore

George Pîrlea

Expert
@dranov

PhD student at NUS. Interested in formal verification, distributed systems, blockchains.

pirlea.net

protocol-bugs-list. List of bugs found in distributed protocols

209

raft-tla. TLA

21

cosplit-artefact. Jupyter Notebook

2

pathways. HTML

2

one-expense. Multi-user expense tracker

2

lean-auto. Experiments in automation for Lean

1

dockerfiles. Dockerfile

1

quanta. high-speed timing library in Rust

1

soroban-decidable-verification. Experiments with verifying Soroban smart contracts using decidable logic

1

ivy-mypyvy-syntax-highlighting. VSCode syntax highlighting extension for Ivy & mypyvy

1

logical_verification_2023. Hitchhiker's Guide to Logical Verification (2023 Edition)

1
11
Apply