Skip to content
View ocadaruma's full-sized avatar

Organizations

@redpen-cc

Block or report ocadaruma

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Multi-Scale Neural Audio Codec (SNAC) compresses audio into discrete codes at a low bitrate

Python 490 27 Updated Nov 19, 2024

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

TypeScript 874 42 Updated Mar 3, 2025

A DAP-compatible JavaScript debugger. Used in VS Code, VS, + more

TypeScript 1,733 296 Updated Feb 11, 2025

ZStandard Random Access (ZRA) allows random access inside an archive compressed using ZStandard

C++ 41 3 Updated Apr 24, 2023

LSP Client for IntelliJ

Java 152 39 Updated Mar 3, 2025

TexLive programs bundled into a single static binary for x86_64-linux / WASM

Makefile 47 4 Updated Jan 26, 2025

Capturing SSL/TLS plaintext without a CA certificate using eBPF. Supported on Linux/Android kernels for amd64/arm64.

C 13,946 1,475 Updated Mar 2, 2025

This language client library provides language server protocol support for IntelliJ IDEA and other Jetbrains IDEs.

Java 458 106 Updated Dec 14, 2024

A pure JavaScript implementation of git for node and browsers!

JavaScript 7,613 394 Updated Mar 3, 2025

A highly available and infinitely scalable, drop-in replacement for Kafka Streams

Java 16 4 Updated Mar 3, 2025

Message queue and data streaming based on cloud native services.

Rust 104 6 Updated Jan 20, 2025

The database purpose-built for stream processing applications.

Java 165 1,041 Updated Mar 4, 2025

A Java implementation of the language server protocol intended to be consumed by tools and language servers implemented in Java.

Java 639 148 Updated Feb 12, 2025

AES-GCM-SIV (RFC 8452) implementation for C, Android and Java, with hardware acceleration support.

C 35 6 Updated Jul 23, 2024

Apache RocketMQ is a cloud native messaging and streaming platform, making it simple to build event-driven applications.

Java 21,577 11,783 Updated Mar 3, 2025

Open source platform for X.509 certificate based service authentication and fine grained access control in dynamic infrastructures. Athenz supports provisioning and configuration (centralized autho…

Java 918 284 Updated Mar 4, 2025

Kafka broker compiled to native using Quarkus and GraalVM.

Java 104 13 Updated Mar 3, 2025

gRPC and protocol buffers for Android, Kotlin, Swift and Java.

Kotlin 4,297 579 Updated Mar 3, 2025

Playground for Pulsar core development with instructions for setting up a k8s test env on your laptop

Java 9 1 Updated Jan 16, 2025

An API/Schema registry - stores APIs and Schemas.

Java 627 273 Updated Mar 3, 2025

Tektite DB

Go 183 26 Updated Feb 22, 2025

The best way of working with Protocol Buffers.

Go 9,578 290 Updated Mar 3, 2025

This is the code repository for QuePaxa project (formerly Raxos or QSCOD)

Go 33 4 Updated Aug 29, 2024

TLA+ specs for table formats

TLA 16 4 Updated Oct 10, 2024

Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.

TLA 95 7 Updated Mar 2, 2025

The AIOps library for automatic reduction of failure-unrelated metrics in Python

Jupyter Notebook 7 Updated Sep 19, 2024

AutoMQ is a cloud-native alternative to Kafka by decoupling durability to S3 and EBS. 10x Cost-Effective. No Cross-AZ Traffic Cost. Autoscale in seconds. Single-digit ms latency.

Java 4,317 262 Updated Mar 3, 2025

これからApache Icebergを学びたい人向けの実践的なハンズオンです。コンテナが動く端末1台で始められます

Jupyter Notebook 63 10 Updated Feb 14, 2025
C++ 219 37 Updated Feb 26, 2025

Native JVM WebAssembly runtime

Java 761 48 Updated Mar 3, 2025
Next
Showing results