Paulo Matos (pmatos)

pmatos

Geek Repo

Company:@igalia

Location:Eckental, Bavaria, Germany

Home Page:http://paulo.matos-sorge.com

Twitter:@pocmatos

Github PK Tool:Github PK Tool

ezoic increase your site revenue

Paulo Matos's repositories

racket-binaryen

Binaryen bindings for Racket

Language:RacketLicense:Apache-2.0Stargazers:11Issues:3Issues:0

racket-news

Repository for the Racket News Website

racket-bv

Racket bitvectors a-la rosette

Language:RacketLicense:Apache-2.0Stargazers:6Issues:3Issues:1

awesome-racket-resources

Racket Resources Guide - Filtered and Opionated

License:CC0-1.0Stargazers:3Issues:1Issues:0

define-with-doc

A define keyword to allow documentation to be written with code

Stargazers:2Issues:0Issues:0

WebKit-misc

Utilities for WebKit work

Language:RacketLicense:GPL-3.0Stargazers:2Issues:2Issues:2

ActivityLog2

Analyze data from swim, bike and run activities

Language:RacketLicense:GPL-3.0Stargazers:0Issues:2Issues:0

awesome-racket-pkgs

Racket Packages Guide - Filtered and Opionated

License:CC0-1.0Stargazers:0Issues:0Issues:0

binaryen

Compiler infrastructure and toolchain library for WebAssembly

Language:WebAssemblyLicense:Apache-2.0Stargazers:0Issues:1Issues:0

CSMT-Switch

C API for SMT-Switch

License:Apache-2.0Stargazers:0Issues:2Issues:0

dev-scripts

Collection of dev scripts for daily usage

Language:ShellLicense:Apache-2.0Stargazers:0Issues:2Issues:0

els-web

European Lisp Symposium Website Tools

Language:Common LispStargazers:0Issues:1Issues:0

fuzzinator

Fuzzinator Random Testing Framework

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

fuzzinator-configs

Configurations written for Fuzzinator

Language:ANTLRStargazers:0Issues:1Issues:0

js_fuzzer

JavaScript fuzzer by Oliver Chang et al.

Language:JavaScriptStargazers:0Issues:2Issues:0

jsc32-fuzz

Fuzzing resources for JSC32

Language:ANTLRLicense:Apache-2.0Stargazers:0Issues:2Issues:5

jsc32-fuzz-setup

Setup scripts for 32bit JavaScriptCore Fuzzing Setup

Language:DockerfileLicense:Apache-2.0Stargazers:0Issues:2Issues:0

json-pointer

Racket implementation of a JSON Pointer evaluator (RFC 6901)

Language:RacketLicense:ISCStargazers:0Issues:1Issues:0

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.

Stargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:1Issues:0

octo-racknews

Statistics gathering for Racket News

Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:2Issues:0

photoprism

Photos App powered by Go and Google TensorFlow 🌈 ✨

License:AGPL-3.0Stargazers:0Issues:0Issues:0

racket

The Racket repository

Language:SchemeLicense:NOASSERTIONStargazers:0Issues:2Issues:0

racket-smtswitch

Racket Bindings to SMT-Switch

License:Apache-2.0Stargazers:0Issues:2Issues:0
Language:HTMLStargazers:0Issues:1Issues:0

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

Language:RustLicense:MITStargazers:0Issues:1Issues:0

setup-racket

A GH action for installing Racket.

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

wabt

The WebAssembly Binary Toolkit

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

WebKit

Official git mirror of the WebKit repository, https://svn.webkit.org/repository/webkit, future canonical repository.

Stargazers:0Issues:1Issues:0