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