pmatos
Igalian, Freelancer, triathlete in spare time, father of two.
@igaliaSomewhere beautiful, Germany
Pinned Repositories
aoc2023
AoC Solutions in Mojo 🔥
beamerthemeLleida
Lleida Theme for LaTeX Beamer
boomerang
Fork of Boomerang Decompiler (08-08-2011)
ChezScheme
Chez Scheme
darwin
Darwin is a static blog generator written in Racket - forked from Frog
nora
An experimental Racket implementation using LLVM/MLIR
racket-binaryen
Binaryen bindings for Racket
racket-bv
Racket bitvectors a-la rosette
racket-loci
Implementation of local and remote loci for Racket
racket-news
Repository for the Racket News Website
pmatos's Repositories
pmatos/boomerang
Fork of Boomerang Decompiler (08-08-2011)
pmatos/eboc
EventB Model Checker
pmatos/btcde
A Python Module for Bitcoin.de Trading API
pmatos/buildbot
Python-based continuous integration testing framework; your pull requests are more than welcome!
pmatos/c.rkt
Racket utilities for manipulating C source code.
pmatos/errortrace
pmatos/eve-mongoengine
An Eve extension for MongoEngine ODM support
pmatos/gcc-python-plugin
GCC plugin that embeds CPython inside the compiler
pmatos/hero-starter
pmatos/list
The Public Suffix List
pmatos/Loxberry
Current stable Branch is: *** Master *** Current developer Branch is: *** loxberry-0.3.0-saruman ***
pmatos/Loxberry-Plugin-Fritz.Lox
pmatos/machine
Machine management for a container-centric world
pmatos/mastodon
A GNU Social-compatible microblogging server
pmatos/mongoengine
A Python Object-Document-Mapper for working with MongoDB
pmatos/okasaki-rust
Experiments with the Rust programming language using the Okasaki book
pmatos/OpenSMT2
The OpenSMT2 solver repository
pmatos/pelican-fh5co-marble
freehtml5.co Marble design for pelican
pmatos/pelican-plugins
Collection of plugins for the Pelican static site generator
pmatos/python-fitparse
Python library to parse ANT/Garmin .FIT files
pmatos/qstk-validation
pmatos/racket-quickcheck
Quickcheck Clone implemented in Racket
pmatos/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
pmatos/smartparens
Minor mode for Emacs that deals with parens pairs and tries to be smart about it.
pmatos/SoCo
SoCo (Sonos Controller) is a Python project that allows you to programmatically control Sonos speakers.
pmatos/strava-rs
Strava API Client in Rust
pmatos/syntax-warn
Define syntax warnings for Racket code
pmatos/travis-racket
Use Travis with Racket
pmatos/yabar
A modern and lightweight status bar for X window managers.
pmatos/ynab-converter
Collection of import-converters for the popular YNAB (You Need A Budget) software.