Paulo Matos's repositories
racket-binaryen
Binaryen bindings for Racket
racket-news
Repository for the Racket News Website
awesome-racket-resources
Racket Resources Guide - Filtered and Opionated
define-with-doc
A define keyword to allow documentation to be written with code
WebKit-misc
Utilities for WebKit work
ActivityLog2
Analyze data from swim, bike and run activities
awesome-racket-pkgs
Racket Packages Guide - Filtered and Opionated
CSMT-Switch
C API for SMT-Switch
dev-scripts
Collection of dev scripts for daily usage
fuzzinator
Fuzzinator Random Testing Framework
fuzzinator-configs
Configurations written for Fuzzinator
jsc32-fuzz
Fuzzing resources for JSC32
jsc32-fuzz-setup
Setup scripts for 32bit JavaScriptCore Fuzzing Setup
json-pointer
Racket implementation of a JSON Pointer evaluator (RFC 6901)
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
octo-racknews
Statistics gathering for Racket News
photoprism
Photos App powered by Go and Google TensorFlow 🌈 ✨
racket-smtswitch
Racket Bindings to SMT-Switch
setup-racket
A GH action for installing Racket.
wabt
The WebAssembly Binary Toolkit