Th. Ma.'s repositories
speaking-about-symfony2-docker-vagrant
Développer et packager votre application Symfony2 avec Docker et Vagrant
contrib-light-table-php
PHP plugin for Light Table
experimenting-with-compilation-principles
Learning some of the principles behind compilation (inspired by bit.ly/compilers-principles)
attending-forum-php-2018
Visualization material of Twitter statuses published during the ForumPHP 2018
attending-sommet-altruisme-re
Quelques notes prises durant le sommet de l'altruisme
contrib-awesome-twitter-communities
A list of awesome twitter communities
contrib-blueman
Blueman is a GTK+ Bluetooth Manager
contrib-dmi-tcat-devel
Fork of the Digital Methods Initiative Twitter Capture and Analysis Toolset (DMI-TCAT)
contrib-dot-files
Organizing my dot files so that they just fit in any of my working environments (linux / osx)
contrib-eagle-mode
Tracking github.com/Osndok/eaglemode, tracking official source releases from the Eagle Mode ZUI cathedral-model project on SourceForge itself; Upstream noting accept patches, and neither can those downstream projects; feel free to fork and change them, but please alter your derivative project's name! GPLv3
contrib-known
A social publishing platform.
contrib-known-comic
Comic plugin for Known
contrib-known-twitter
Twitter plugin for Known
contrib-known-user-agent
Adding user agent header to known web service calls
contrib-ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
contrib-ciao-emacs
Ciao mode for Emacs
contrib-ciaopp
The Ciao Preprocessor
contrib-light-my-request
Fake HTTP injection library
contrib-lptp
LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the late 90's
contrib-memory.limited
💾 Chrome History extended
contrib-mentdb-weak
Mentalese Database Engine
contrib-owasp-www-community
OWASP Community Pages are a place where OWASP can accept community contributions for security-related content.
contrib-pkt-ns-projects
A repository for tracking Network Steward proposals and projects
contrib-tw-header-bot
Bot updating Twitter banner and Location depending on the number of some account followers.
contrib-typescript-tutorial
An interactive TypeScript tutorial for beginners
contributing-template
Template for writing your own contributing guide
licensing-creative-commons-markdown
Markdown-formatted Creative Commons licenses