Jonathan Protzenko (@protz)
github

protz

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    401
  • Global Rank 70,088 (Top 3 %)
  • Followers 121
  • Following 6
  • Registered over 14 years ago
  • Most used languages
    JavaScript
         50.0 %
    OCaml
         33.3 %
    TeX
         11.1 %
    NSIS     5.6 %
  • Location 🇫🇷 France
  • Country Total Rank 1,869
  • Country Ranking
    NSIS     2
    OCaml
         33
    TeX
         166
    JavaScript
         424

Top repositories

1

Manually-Sort-Folders

An extension for Thunderbird 3.0+ that allows you to sort folders in the folder pane.
JavaScript
134
star
2

mezzo

The language of the future!
OCaml
71
star
3

ocaml-installer

The official windows installer (built using NSIS) for OCaml
NSIS
66
star
4

thunderbird-stdlib

A set of hopefully useful modules that you can import in your Thunderbird extension. Wrappers for deleting messages, archiving messages, sending messages, wrapping text, quoting text...
JavaScript
56
star
5

LatexIt

An extension for Thunderbird that allows you to generate LaTeX in your emails and send it as inline images
JavaScript
37
star
6

Compose

Replace the compose window in Thunderbird with a tab that uses CKEditor.
JavaScript
14
star
7

ocaml-adafruit-lcd

An OCaml controller for the Adafruit Rapsberry Pi LCD
OCaml
12
star
8

gsfn-dashboard

A dashboard for GetSatisfaction including pretty graphics
JavaScript
7
star
9

chaml

An implementation of a constraint-based type-checker for ML based on “The essence of ML type inference”. This one additionally generates an annotated AST along with extra coercions to generalize variables inside patterns. See my master's thesis report for details.
TeX
7
star
10

rpi-lcd-system

An entertainment system for the Raspberry Pi + Adafruit LCD: radios, notifications, etc.
OCaml
7
star
11

Rss-tab

View your RSS feeds in Thunderbird in a dashboard-style view
JavaScript
6
star
12

pippo

A pretty interesting pre-processor that uses OCaml
OCaml
5
star
13

gpgfox

Lightweight revival of the late FireGPG, using no binary components to ensure forward compatibility.
JavaScript
4
star
14

Email-chat

View conversations in separate tabs as IM chats (FOSDEM demo)
JavaScript
4
star
15

fip-notifier

Because the internet stream for FIP (http://www.fipradio.fr) doesn't display artist information.
OCaml
3
star
16

moustache

A type-checker for a degenerated version of ML that doesn't even know about polymorphism.
TeX
2
star
17

Caml-Vim-Mode

A script for vim that allows you to run a toplevel in the background and send phrases to it, just like in an Emacs session
2
star
18

rethread

Add a context menu item to force messages to be threaded together
JavaScript
1
star
19

mezzo-sample-project

A sample projet with all the right voodoo to build Mezzo files.
OCaml
1
star