svisser/tseitin
Command-line tool written in Go implementing the Tseitin transformation
Developer Profile
svisser
Discovered public repositories for svisser in the GitHub catalog.
svisser/working-with-go
A set of example golang code to start learning Go
svisser/genxword
Crossword generator written in Python.
svisser/crosswords
Crosswords help in the terminal
svisser/python-guide
Python best practices guidebook, written for Humans.
svisser/puzpy
Python library for reading and writing across lite crossword puzzle .puz files.
svisser/python-packaging-user-guide
Python Packaging User Guide
svisser/sampleproject
A project to exemplify Python packaging best practices
svisser/ansible
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy. Avoid writing scripts or custom code to deploy and update your applications— automate in a language that approaches plain English, using SSH, with no agents to install on remote systems.
svisser/ipuz
Python library for reading and writing ipuz files
svisser/svisser.github.io
My Github website
svisser/python-tesseract
A Python wrapper for Google Tesseract
svisser/imagehash
A Python Perceptual Image Hashing Module
svisser/readthedocs.org
source code to readthedocs.org
svisser/django-speedbar
Instrumentation for django page loads
svisser/reasoning-about-preferences
Implementation of "Reasoning about preferences in intelligent agent systems"
svisser/simeonvisser.com
Backup of content files for simeonvisser.com
svisser/shell
A better way to run shell commands in Python.
svisser/code.djangoproject.com
Configuration for Django's Trac instance (code.djangoproject.com)
svisser/django
The Web framework for perfectionists with deadlines.
svisser/nikola
A static website and blog generator
svisser/django_compressor
Compresses linked and inline javascript or CSS into a single cached file.
svisser/palabra-meta
Experimentation project with MongoDB
svisser/python-to-jvm
Side project to experiment with running Python on the Java Virtual Machine (JVM)
svisser/django-easymode
Quickly build backends for flash/flex websites with Django.
svisser/django-google-tools
A simple django application to using Google Analytics in your project and tying different GA tags to different sites