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
Binaryen bindings for Racket
Racket bitvectors a-la rosette
Auxiliary utilities to aid Racket CI
Docker images for various Racket versions
Racket bindings for libgccjit
simple bindings for the github api
Implementation of local and remote loci for Racket
GNU Emacs major modes for Racket: Edit and REPL.
Repository for the Racket News Website
Quickcheck Clone implemented in Racket
Racket Bindings to SMT-Switch
A Web View for Racket GUI Toolkit
A Manual for Porting RacketCS and its internals
A Racket Distro Manager
Experimental Scheme-like implementation
XSmith based fuzzer for R7RS
Reference typing extensions for C++ ("Ref C++")
Proposal for adding basic reference types (anyref)
Emacs style editor written in Racket
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
:crab: Small exercises to get you used to reading and writing Rust code!
Sentinel is a CI system implemented in Racket
A GH action for installing Racket.
Sketchy Pict is a metapict based library to create sketch like picts in Racket