Claudio Sacerdoti Coen

@sacerdot

Open GitHub

🇮🇹 Bologna (Italy)

Alma Mater Studiorum - Universitá di Bologna

Profile age: about 10 years

Updated 12 days ago

49 followers • 1 following

Contacts

http://www.cs.unibo.it/~sacerdot

Repositories

ocaml-http

updated almost 7 years ago • age almost 7 years

OCaml96.5%

Makefile3.5%

MiniErlangBlockchain

updated over 5 years ago • age over 6 years

Erlang100.0%

matita

updated about 1 month ago • age over 2 years

Mathematica77.4%

OCaml13.6%

Roff7.1%

HTML1.2%

TeX0.7%

CovidMonitoring

updated about 5 years ago • age over 5 years

Erlang99.3%

Shell0.7%

Minimalist-Type-Theory-In-Lambda-Prolog

updated almost 7 years ago • age about 9 years

Prolog98.7%

Mathematica1.1%

Vim Script0.2%

Crumbling-Abstract-Machines

updated almost 4 years ago • age over 5 years

Mathematica100.0%

SCAM

updated over 4 years ago • age over 4 years

OCaml100.0%

SmartAnalysis

updated over 4 years ago • age over 6 years

JavaScript83.8%

OCaml15.2%

Solidity0.5%

HTML0.4%

Python0.2%

Contributions

2025
lambdapi
1 PR +211-65
OCaml
355
38
12
europroofnet.github.io
2 PRs +5-1
Ruby
13
64
2024
europroofnet.github.io
1 PR +1-2
Ruby
13
64
2023
opam-repository
~7 PRs +62-0
555
1,207
lambdapi
1 PR +3,885-249
OCaml
355
38
12
ocaml-expat
1 PR +22-0
OCaml
8
2
1
2022
opam-repository
1 PR +28-0
555
1,207
ulex
1 PR +11-5
OCaml
8
6
1
ocaml-expat
1 PR +39-39
OCaml
8
2
1
2019
lablgtk
3 PRs +1,383-316
OCaml
96
41
17