Francesco Parolini

@phreppo

Open GitHub

🇬🇧 London, UK

Meticulous

Profile age: about 8 years

Updated about 21 hours ago

50 followers • 38 following

Contacts

phreppo.github.io

in/francesco-parolini

Repositories

pilisp

updated almost 5 years ago • age over 7 years

C70.6%

Common Lisp13.2%

Meson13.0%

Objective-C2.7%

C++0.4%

rat

updated over 1 year ago • age over 3 years

OCaml98.6%

Makefile1.4%

updated 4 months ago • age almost 3 years

Zig96.3%

Shell3.7%

wstat

updated about 5 years ago • age almost 7 years

Haskell95.4%

Yacc4.6%

bait

updated about 2 years ago • age over 4 years

Java100.0%

buchi-automata-benchmark

updated over 3 years ago • age over 4 years

Rich Text Format54.3%

M445.7%

hile

updated almost 6 years ago • age almost 7 years

Haskell90.9%

Yacc9.1%

protocol-validation

updated almost 6 years ago • age about 6 years

TeX94.9%

Makefile3.1%

Python1.9%

4bs-club

updated about 1 year ago • age about 1 year

Python100.0%

awesome-ocaml

updated over 2 years ago • age over 2 years

Contributions

2025
meticulous-sdk
2 PRs +265-4
TypeScript
23
4
Documentation
~6 PRs +151-178
Python
17
19
SolanaExamples
~16 PRs +11-172
Rust
9
4
cvlr
2 PRs +41-0
Rust
4
2
3
cvlr-solana
2 PRs +650-743
Rust
2
4
3
cargo-certora-sbf
2 PRs +53-68
Rust
1
2
2
cvlr-soroban
3 PRs +60-37
Rust
0
2
1
2024
manifest
1 PR +328-0
Rust
93
42
21
2023
awesome-ocaml
1 PR +2-0
2,999
174
FORKLIFT
1 PR +1-1
Java
8
3
1