Paulo Matos's repositories
btcde
A Python Module for Bitcoin.de Trading API
buildbot
Python-based continuous integration testing framework; your pull requests are more than welcome!
c.rkt
Racket utilities for manipulating C source code.
eve-mongoengine
An Eve extension for MongoEngine ODM support
gcc-python-plugin
GCC plugin that embeds CPython inside the compiler
list
The Public Suffix List
Loxberry
Current stable Branch is: *** Master *** Current developer Branch is: *** loxberry-0.3.0-saruman ***
machine
Machine management for a container-centric world
mastodon
A GNU Social-compatible microblogging server
mongoengine
A Python Object-Document-Mapper for working with MongoDB
okasaki-rust
Experiments with the Rust programming language using the Okasaki book
OpenSMT2
The OpenSMT2 solver repository
pelican-fh5co-marble
freehtml5.co Marble design for pelican
pelican-plugins
Collection of plugins for the Pelican static site generator
python-fitparse
Python library to parse ANT/Garmin .FIT files
racket-quickcheck
Quickcheck Clone implemented in Racket
rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
smartparens
Minor mode for Emacs that deals with parens pairs and tries to be smart about it.
SoCo
SoCo (Sonos Controller) is a Python project that allows you to programmatically control Sonos speakers.
strava-rs
Strava API Client in Rust
syntax-warn
Define syntax warnings for Racket code
travis-racket
Use Travis with Racket
yabar
A modern and lightweight status bar for X window managers.
ynab-converter
Collection of import-converters for the popular YNAB (You Need A Budget) software.