xapantu's repositories
ocaloudphotos
A web photo album in ocaml and ocsigen
aur-alucryd
PKGBUILD repository
coffeescript
Unfancy JavaScript
django-cas-ng
Django CAS (Central Authentication Service) client
Language:PythonMIT000
gnome-integration-thunderbird
Provides improved integration with Gnome for Mozilla Thunderbird
Language:JavaScriptGPL-3.0000
light-locker
A simple session-locker for lightdm
Language:CGPL-2.0000
Language:JavaLGPL-3.0000
Language:C#000
ocaml-irc-client
OCaml IRC client library
Language:OCamlMIT000
ocaml-pulseaudio
OCaml bindings for pulseaudio.
Language:M4LGPL-2.1000
Language:OCaml000
ppx_bitstring
PPX plugin for the OCAML OPAM bitstring package
sally
A model checker for infinite-state systems.
Language:C++GPL-2.0000
Language:OCaml000
Language:TeX000
stk-code
The code base of supertuxkart
Language:C++NOASSERTION000
stkolddroid
Old code of supertuxkart that can be compiled for android.
Language:C++000