-
stk-code Public
Forked from supertuxkart/stk-codeThe code base of supertuxkart
C++ Other UpdatedAug 15, 2024 -
ocaml-pulseaudio Public
Forked from savonet/ocaml-pulseaudioOCaml bindings for pulseaudio.
M4 GNU Lesser General Public License v2.1 UpdatedNov 25, 2016 -
-
ocaml-irc-client Public
Forked from johnelse/ocaml-irc-clientOCaml IRC client library
OCaml MIT License UpdatedOct 22, 2016 -
-
-
-
django-cas-ng Public
Forked from django-cas-ng/django-cas-ngDjango CAS (Central Authentication Service) client
Python MIT License UpdatedAug 2, 2016 -
-
-
-
ppx_bitstring Public
Forked from fxfactorial/ppx_bitstringPPX plugin for the OCAML OPAM bitstring package
OCaml ISC License UpdatedMay 8, 2016 -
sally Public
Forked from SRI-CSL/sallyA model checker for infinite-state systems.
C++ GNU General Public License v2.0 UpdatedApr 13, 2016 -
stkolddroid Public
Old code of supertuxkart that can be compiled for android.
C++ UpdatedFeb 23, 2016 -
light-locker Public
Forked from the-cavalry/light-lockerA simple session-locker for lightdm
C GNU General Public License v2.0 UpdatedDec 20, 2015 -
gnome-integration-thunderbird Public
Forked from vaites/gnome-integration-thunderbirdProvides improved integration with Gnome for Mozilla Thunderbird
JavaScript GNU General Public License v3.0 UpdatedJul 6, 2015 -
logicalmodel Public
Forked from colomoto/bioLQMJava GNU Lesser General Public License v3.0 UpdatedJun 10, 2015 -
-
coffeescript Public
Forked from jashkenas/coffeescriptUnfancy JavaScript
CoffeeScript MIT License UpdatedOct 27, 2014 -
-
{{ message }}