Mauro Pinto's starred repositories

riptide

Client-side response routing for Spring

Language:JavaLicense:MITStargazers:285Issues:0Issues:0

misk

Microservice Kontainer

Language:KotlinStargazers:386Issues:0Issues:0

transaction-outbox

Reliable eventual consistency for Microservices

Language:JavaLicense:Apache-2.0Stargazers:149Issues:0Issues:0

container2wasm

Container to WASM converter

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

devika

Devika is an Agentic AI Software Engineer that can understand high-level human instructions, break them down into steps, research relevant information, and write code to achieve the given objective. Devika aims to be a competitive open-source alternative to Devin by Cognition AI.

Language:PythonLicense:MITStargazers:16109Issues:0Issues:0

htmx-spring-boot

Spring Boot and Thymeleaf helpers for working with htmx

Language:JavaLicense:Apache-2.0Stargazers:361Issues:0Issues:0

allproxy

MITM HTTP debugging proxy: HTTPS, MongoDB, Redis, MySQL and gRPC. Also makes JSON logs human readable.

Language:TypeScriptLicense:MITStargazers:58Issues:0Issues:0

professional-programming

A collection of learning resources for curious software engineers

Language:PythonLicense:MITStargazers:45215Issues:0Issues:0
Language:KotlinLicense:NOASSERTIONStargazers:8Issues:0Issues:0

BA-SagaPattern

An Evaluation of Saga Pattern Implementations for Distributed Business Workflows.

Language:JavaLicense:MITStargazers:3Issues:0Issues:0

unpoly

Progressive enhancement for HTML

Language:CoffeeScriptLicense:MITStargazers:1995Issues:0Issues:0

1brc

1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java

Language:JavaLicense:Apache-2.0Stargazers:5080Issues:0Issues:0

newrelic-jfr-core

JFR library that adapts JFR events to the New Relic Telemetry SDK

Language:JavaLicense:Apache-2.0Stargazers:29Issues:0Issues:0

rewrite

Automated mass refactoring of source code.

Language:JavaLicense:Apache-2.0Stargazers:1830Issues:0Issues:0

backstage

Backstage is an open platform for building developer portals

Language:TypeScriptLicense:Apache-2.0Stargazers:26311Issues:0Issues:0

eventuate-tram-sagas

Sagas for microservices

Language:JavaLicense:NOASSERTIONStargazers:985Issues:0Issues:0

infer

A static analyzer for Java, C, C++, and Objective-C

Language:OCamlLicense:MITStargazers:14701Issues:0Issues:0

policy-bot

A GitHub App that enforces approval policies on pull requests

Language:GoLicense:Apache-2.0Stargazers:705Issues:0Issues:0

toxiproxy

:alarm_clock: :fire: A TCP proxy to simulate network and system conditions for chaos and resiliency testing

Language:GoLicense:MITStargazers:10296Issues:0Issues:0

durable-promise-specification

Durable Promise Specification

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

mergestat

MergeStat enables anyone to ask questions about the history and contents of source code.

Language:TypeScriptLicense:MITStargazers:424Issues:0Issues:0

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:2679Issues:0Issues:0

manifold

Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.

Language:JavaLicense:Apache-2.0Stargazers:2212Issues:0Issues:0

tigerbeetle

The distributed financial transactions database designed for mission critical safety and performance.

Language:ZigLicense:Apache-2.0Stargazers:7021Issues:0Issues:0

gitflow-incremental-builder

A Maven extension for incremental building of multi-module projects when using Git Flow (or Git in general).

Language:JavaLicense:MITStargazers:157Issues:0Issues:0

occurrent

Unintrusive Event Sourcing Library for the JVM

Language:JavaStargazers:112Issues:0Issues:0

aeron

Efficient reliable UDP unicast, UDP multicast, and IPC message transport

Language:JavaLicense:Apache-2.0Stargazers:7053Issues:0Issues:0
Stargazers:142Issues:0Issues:0

desktop

Free and open source streaming software built on OBS and Electron.

Language:TypeScriptLicense:GPL-3.0Stargazers:4407Issues:0Issues:0

supabase

The open source Firebase alternative.

Language:TypeScriptLicense:Apache-2.0Stargazers:65844Issues:0Issues:0