Timothy Bourke

@tbrk

Open GitHub

🇫🇷 Paris

Inria

Profile age: about 12 years

Updated 8 days ago

48 followers • 99 following

Contacts

tim@tbrk.org

http://www.tbrk.org

Organizations

Repositories

muttlight

updated about 8 years ago • age about 8 years

C66.5%

Objective-C21.3%

Makefile11.5%

CSS0.7%

urpal

updated about 7 years ago • age about 12 years

Standard ML94.4%

Lex3.6%

Makefile1.0%

Shell0.5%

Awk0.4%

mnemo-cat_colors

updated about 6 years ago • age almost 8 years

Python100.0%

ocaml-bdd

updated almost 4 years ago • age almost 4 years

OCaml100.0%

Contributions

2025
sundials
1 PR +2-2
C
603
156
46
2024
ocamlgraph
1 PR +211-3
OCaml
242
63
10
2023
ocamlgraph
1 PR +215-0
OCaml
242
63
10
coq-dpdgraph
1 PR +7-1
Rocq Prover
93
32
18
2022
opam-repository
3 PRs +223-0
555
1,207
ocamlgraph
2 PRs +513-9
OCaml
242
63
10
ocaml-rpc
2 PRs +147-27
OCaml
97
31
32
ocaml-base64
1 PR +16-14
OCaml
45
21
15
2021
opam-repository
3 PRs +328-94
555
1,207
ocamlgraph
1 PR +456-0
OCaml
242
63
10