xapantu

Pinned Repositories

aur-alucryd
PKGBUILD repository
Language:Shell0 2 00
catrike-blender
10
coffeescript
Unfancy JavaScript
Language:CoffeeScript0 2 00
counting-smt
Language:OCaml1 3 101
django-cas-ng
Django CAS (Central Authentication Service) client
Language:Python00
gnome-integration-thunderbird
Provides improved integration with Gnome for Mozilla Thunderbird
Language:JavaScript00
light-locker
A simple session-locker for lightdm
Language:C00
ocaloud
Language:OCaml20
ocaloudphotos
A web photo album in ocaml and ocsigen
Language:OCaml21
pymail
Language:Python40

xapantu's Repositories

xapantu/pymail
Language:Python40
xapantu/ocaloud
Language:OCaml20
xapantu/ocaloudphotos
A web photo album in ocaml and ocsigen
Language:OCaml21
xapantu/catrike-blender
10
xapantu/counting-smt
Language:OCaml1 3 101
xapantu/aur-alucryd
PKGBUILD repository
Language:Shell0 2 00
xapantu/coffeescript
Unfancy JavaScript
Language:CoffeeScript0 2 00
xapantu/django-cas-ng
Django CAS (Central Authentication Service) client
Language:Python00
xapantu/gnome-integration-thunderbird
Provides improved integration with Gnome for Mozilla Thunderbird
Language:JavaScript00
xapantu/light-locker
A simple session-locker for lightdm
Language:C00
xapantu/logicalmodel
Language:Java
xapantu/nodejsmailer
Language:C#
xapantu/ocaml-irc-client
OCaml IRC client library
Language:OCaml
xapantu/ocaml-pulseaudio
OCaml bindings for pulseaudio.
Language:M4
xapantu/ocaml-record-to-prod
Language:OCaml
xapantu/ppx_bitstring
PPX plugin for the OCAML OPAM bitstring package
Language:OCaml2 0
xapantu/sally
A model checker for infinite-state systems.
Language:C++
xapantu/sat
Language:OCaml
xapantu/slides-smt
Language:TeX
xapantu/stk-code
The code base of supertuxkart
Language:C++
xapantu/stkolddroid
Old code of supertuxkart that can be compiled for android.
Language:C++