Paulo Matos (pmatos)

pmatos

Geek Repo

Company:@igalia

Location:Somewhere beautiful, Germany

Home Page:https://p.ocmatos.com

Twitter:@pocmatos

Github PK Tool:Github PK Tool


Organizations
neomutt

Paulo Matos's repositories

boomerang

Fork of Boomerang Decompiler (08-08-2011)

Language:C++License:NOASSERTIONStargazers:33Issues:9Issues:2

eboc

EventB Model Checker

Language:RacketLicense:GPL-3.0Stargazers:1Issues:0Issues:0

btcde

A Python Module for Bitcoin.de Trading API

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

buildbot

Python-based continuous integration testing framework; your pull requests are more than welcome!

Language:PythonLicense:GPL-2.0Stargazers:0Issues:0Issues:0

c.rkt

Racket utilities for manipulating C source code.

Language:RacketLicense:LGPL-2.1Stargazers:0Issues:0Issues:0
Language:RacketStargazers:0Issues:0Issues:0

eve-mongoengine

An Eve extension for MongoEngine ODM support

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

gcc-python-plugin

GCC plugin that embeds CPython inside the compiler

License:GPL-3.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

list

The Public Suffix List

Language:PythonLicense:MPL-2.0Stargazers:0Issues:0Issues:0

Loxberry

Current stable Branch is: *** Master *** Current developer Branch is: *** loxberry-0.3.0-saruman ***

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:PerlStargazers:0Issues:0Issues:0

machine

Machine management for a container-centric world

Language:GoLicense:Apache-2.0Stargazers:0Issues:0Issues:0

mastodon

A GNU Social-compatible microblogging server

Language:RubyLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

mongoengine

A Python Object-Document-Mapper for working with MongoDB

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

okasaki-rust

Experiments with the Rust programming language using the Okasaki book

Language:RustLicense:GPL-2.0Stargazers:0Issues:0Issues:0

OpenSMT2

The OpenSMT2 solver repository

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

pelican-fh5co-marble

freehtml5.co Marble design for pelican

Language:CSSStargazers:0Issues:0Issues:0

pelican-plugins

Collection of plugins for the Pelican static site generator

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

python-fitparse

Python library to parse ANT/Garmin .FIT files

Language:PythonLicense:MITStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

racket-quickcheck

Quickcheck Clone implemented in Racket

Language:RacketLicense:NOASSERTIONStargazers:0Issues:0Issues:0

rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

Language:RacketLicense:NOASSERTIONStargazers:0Issues:0Issues:0

smartparens

Minor mode for Emacs that deals with parens pairs and tries to be smart about it.

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0

SoCo

SoCo (Sonos Controller) is a Python project that allows you to programmatically control Sonos speakers.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

strava-rs

Strava API Client in Rust

Language:RustLicense:MPL-2.0Stargazers:0Issues:0Issues:0

syntax-warn

Define syntax warnings for Racket code

Language:RacketLicense:MITStargazers:0Issues:0Issues:0

travis-racket

Use Travis with Racket

Language:ShellStargazers:0Issues:0Issues:0

yabar

A modern and lightweight status bar for X window managers.

Language:CLicense:MITStargazers:0Issues:0Issues:0

ynab-converter

Collection of import-converters for the popular YNAB (You Need A Budget) software.

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0