Michael Percy

@mpercy · User

GitHub profile ↗ · Compare

@facebook San Jose, CA43 followers69 repositories

Repositories

mpercy/raft.tla

TLA+ specification for the Raft consensus algorithm

★ 0TLAForks 0

mpercy/beads

Beads - A memory upgrade for your coding agent

★ 0GoForks 0

mpercy/heretic

Fully automatic censorship removal for language models

★ 0Forks 0

mpercy/mysql-server

MySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.

★ 0Forks 0

mpercy/pstack

Clone of git://git.lm7.fr/pstack.git -- See http://code.lm7.fr/p/pstack/

★ 10CForks 4

mpercy/starrocks

The world's fastest open query engine for sub-second analytics both on and off the data lakehouse. With the flexibility to support nearly any scenario, StarRocks provides best-in-class performance for multi-dimensional analytics, real-time analytics, and ad-hoc queries. A Linux Foundation project.

★ 0Forks 0

mpercy/netty

Netty project - an event-driven asynchronous network application framework

★ 0JavaForks 1

mpercy/kuduraft

A Raft Library in C++ based on the Raft implementation in Apache Kudu

★ 0C++Forks 0

mpercy/kudu

Apache Kudu. Mirrored from https://github.com/apache/kudu

★ 0C++Forks 0

mpercy/fastai

The fast.ai deep learning library, lessons, and tutorials

★ 0Jupyter NotebookForks 0

mpercy/kudu-site

forked from https://git-wip-us.apache.org/repos/asf/kudu-site.git

★ 0HTMLForks 0

mpercy/mod_mbox

A fork of mod_mbox from https://svn.apache.org/repos/asf/httpd/mod_mbox/trunk

★ 1CForks 0