- Menlo Park, CA
- @merlimat
Stars
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
A fast and powerful log viewer and processor that converts JSON logs or logfmt logs into a clear human-readable format.
A Gaggia Classic control project using microcontrollers.
The Go library for pulsar admin operations, providing a unified Go API for managing pulsar resources such as tenants, namespaces and topics, etc.
Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events
RocksDB/LevelDB inspired key-value database in Go
A workbench for writing toy implementations of distributed systems.
Kafka-on-Pulsar - A protocol handler that brings native Kafka protocol to Apache Pulsar
Spring Friendly Abstractions for Apache Pulsar
A StreamNative library containing a collection of recipes that are implemented on top of the Pulsar client to provide higher-level functionality closer to the application domain.
Apache Pulsar native client for .NET (C#/F#/VB)
Apache Pulsar - distributed pub-sub messaging system
Pulsar Flex is a modern Apache Pulsar client for Node.js, developed to be independent of C++.