Name: Paulo Matos
Type: User
Company: @igalia
Bio:
Igalian, Freelancer, triathlete in spare time, father of two.
Twitter: pocmatos
Location: Somewhere beautiful, Germany
Blog: https://p.ocmatos.com
Paulo Matos's Projects
Action to Clean Home Folder
Testing GHA
Analyze data from swim, bike and run activities
AoC Solutions in Mojo 🔥
A Lisp interpreter for Raspberry Pi implemented in a single ARM assembly file
:atom: The hackable text editor
Racket Packages Guide - Filtered and Opionated
Racket Resources Guide - Filtered and Opionated
Racket support for Amazon Web Services.
Lleida Theme for LaTeX Beamer
a practical Scheme compiler
Compiler infrastructure and toolchain library for WebAssembly
Build-Me-A-Racket (bmar - read 'beamer') is an on-demand Racket VM builder
Fork of Boomerang Decompiler (08-08-2011)
A Python Module for Bitcoin.de Trading API
Python-based continuous integration testing framework; your pull requests are more than welcome!
Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.
Docker CLI plugin for extended build capabilities with BuildKit
Racket utilities for manipulating C source code.
Chez Scheme
Webpage of music composers tagged on a world map.
Package to allow the specification of optional contracts
C-Reduce, a C program reducer
C API for SMT-Switch
Darwin is a static blog generator written in Racket - forked from Frog
A define keyword to allow documentation to be written with code
Collection of dev scripts for daily usage
Run GitHub Actions on self-hosted runner using Docker.
DrRacket, IDE for Racket