protz

Jonathan Protzenko's repositories

Manually-Sort-Folders

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

Language:JavaScriptNOASSERTION133 26 185

mezzo

The language of the future!

Language:OCaml71 130

ocaml-installer

The official windows installer (built using NSIS) for OCaml

Language:NSISGPL-3.066 11 52

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...

Language:JavaScriptMPL-2.056 13 1

LatexIt

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

Language:JavaScript37 10 57

Compose

Replace the compose window in Thunderbird with a tab that uses CKEditor.

Language:JavaScript14 3 21

ocaml-adafruit-lcd

An OCaml controller for the Adafruit Rapsberry Pi LCD

Language:OCamlGPL-2.012 60

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.

Language:TeX7 30

gsfn-dashboard

A dashboard for GetSatisfaction including pretty graphics

Language:JavaScript7 3 2

rpi-lcd-system

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

Language:OCamlGPL-2.07 30

Rss-tab

View your RSS feeds in Thunderbird in a dashboard-style view

Language:JavaScript6 2 2

pippo

A pretty interesting pre-processor that uses OCaml

Language:OCamlGPL-2.05 4 1

Email-chat

View conversations in separate tabs as IM chats (FOSDEM demo)

Language:JavaScript4 20

gpgfox

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

Language:JavaScript4 3 1

fip-notifier

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

Language:OCamlGPL-2.03 30

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 2 1

moustache

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

Language:TeX2 30

mezzo-sample-project

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

Language:OCaml1 40

opam-repository

Package descriptions for OPAM

Language:OCamlCC0-1.01 20

rethread

Add a context menu item to force messages to be threaded together

Language:JavaScriptNOASSERTION1 5 2

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

Language:C++010

opam-android-repository

Android cross-compiler: package descriptions for OPAM

020