protz
This is my personal account for personal projects. See @msprotz for my Microsoft (MS) contributions.
Paris
Pinned Repositories
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.
Compose
Replace the compose window in Thunderbird with a tab that uses CKEditor.
gsfn-dashboard
A dashboard for GetSatisfaction including pretty graphics
LatexIt
An extension for Thunderbird that allows you to generate LaTeX in your emails and send it as inline images
Manually-Sort-Folders
An extension for Thunderbird 3.0+ that allows you to sort folders in the folder pane.
mezzo
The language of the future!
ocaml-adafruit-lcd
An OCaml controller for the Adafruit Rapsberry Pi LCD
ocaml-installer
The official windows installer (built using NSIS) for OCaml
rpi-lcd-system
An entertainment system for the Raspberry Pi + Adafruit LCD: radios, notifications, etc.
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...
protz's Repositories
protz/Manually-Sort-Folders
An extension for Thunderbird 3.0+ that allows you to sort folders in the folder pane.
protz/mezzo
The language of the future!
protz/ocaml-installer
The official windows installer (built using NSIS) for OCaml
protz/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...
protz/LatexIt
An extension for Thunderbird that allows you to generate LaTeX in your emails and send it as inline images
protz/Compose
Replace the compose window in Thunderbird with a tab that uses CKEditor.
protz/ocaml-adafruit-lcd
An OCaml controller for the Adafruit Rapsberry Pi LCD
protz/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.
protz/gsfn-dashboard
A dashboard for GetSatisfaction including pretty graphics
protz/rpi-lcd-system
An entertainment system for the Raspberry Pi + Adafruit LCD: radios, notifications, etc.
protz/Rss-tab
View your RSS feeds in Thunderbird in a dashboard-style view
protz/pippo
A pretty interesting pre-processor that uses OCaml
protz/Email-chat
View conversations in separate tabs as IM chats (FOSDEM demo)
protz/gpgfox
Lightweight revival of the late FireGPG, using no binary components to ensure forward compatibility.
protz/fip-notifier
Because the internet stream for FIP (http://www.fipradio.fr) doesn't display artist information.
protz/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
protz/moustache
A type-checker for a degenerated version of ML that doesn't even know about polymorphism.
protz/mezzo-sample-project
A sample projet with all the right voodoo to build Mezzo files.
protz/opam-repository
Package descriptions for OPAM
protz/rethread
Add a context menu item to force messages to be threaded together
protz/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.
protz/opam-android-repository
Android cross-compiler: package descriptions for OPAM