Paulo Matos's repositories
html-examples
Generate an HTML part out of Scribble Examples
python-luxtronik
python-luxtronik is a library that allow you to interact with a Luxtronik heatpump controller.
esbmc
The efficient SMT-based bounded model checker
maxsatzilla
A portfolio solver for the MaxSAT problem.
photoprism
Photos App powered by Go and Google TensorFlow 🌈 ✨
awesome-racket-pkgs
Racket Packages Guide - Filtered and Opionated
awesome-racket-resources
Racket Resources Guide - Filtered and Opionated
racket-binaryen
Binaryen bindings for Racket
jsc32-fuzz
Fuzzing resources for JSC32
jsc32-fuzz-setup
Setup scripts for 32bit JavaScriptCore Fuzzing Setup
ActivityLog2
Analyze data from swim, bike and run activities
fuzzinator
Fuzzinator Random Testing Framework
fuzzinator-configs
Configurations written for Fuzzinator
setup-racket
A GH action for installing Racket.
rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
define-with-doc
A define keyword to allow documentation to be written with code
racket-smtswitch
Racket Bindings to SMT-Switch
CSMT-Switch
C API for SMT-Switch
octo-racknews
Statistics gathering for Racket News
WebKit
Official git mirror of the WebKit repository, https://svn.webkit.org/repository/webkit, future canonical repository.
json-pointer
Racket implementation of a JSON Pointer evaluator (RFC 6901)
els-web
European Lisp Symposium Website Tools
dynamic-ffi
Auto define Racket bindings to C by parsing header files.
jsc32-Xdev
Self-contained environment for jsc32 cross-platform development