Skip to content
You must be logged in to sponsor contrem

Become a sponsor to Michael Contreras

@contrem

Michael Contreras

contrem

External Project Contributions

KLEE - (https://github.com/klee/klee)

S2E - A Platform for In-Vivo Analysis of Software Systems (https://s2e.github.io)
Authors

  • Introduced LLVM 3.2 support
  • Introduced initial 64 bit linux support
  • Full Month Sponsorship Project:
    • I profiled and removed performance bottlenecks in the query processor.

GIT - (https://github.com/git/git)

QEMU - (https://github.com/qemu/qemu)

SOLO - (https://gitlab.com/solo-project/solo)

SOLO-GUI - (https://gitlab.com/contrem/solo-gui)

2 sponsors have funded contrem’s work.

@jsc255
@RailerX

Featured work

  1. contrem/arduino-timer

    Non-blocking library for delaying function calls

    C++ 341
  2. contrem/contrem.github.io

    contrem.github.io

    CSS
  3. contrem/mcp

    Master Consensus Protocol - broadcast voting protocol based on RAFT

    Python

Learn more about sponsoring developers and organizations.

Report abuse

Select a tier

$ a month

Choose a custom amount.

$1 a month

Select

Stand out with a sponsorship badge

$5 a month

Select

5 times as impressive as the first tier. Your issues get priority.

$10 a month

Select

Your feature requests and issues get priority.

$20 a month

Select

All lower tier benefits, plus the satisfaction of knowing that I will buy a pizza.

$50 a month

Select

All lower tier benefits, plus the satisfaction of knowing that I will buy TWO pizzas AND beer. Or hardware / ICs for projects, depending on hunger / thirst.

$100 a month

Select

Baller status. All lower tier benefits. Inclusion on my personal sponsors page.

$300 a month

Select

Half day of work on a project / feature of your choice

$500 a month

Select

One day of work on a project / feature of your choice

$2,000 a month

Select

One week of work on a project / feature of your choice

$6,000 a month

Select

Full month of work on a project / feature of your choice