Skip to content
View clayrat's full-sized avatar

Organizations

@imdea-software @statebox @purescripters @typedefs @rocq-community @dpndnt @sequents

Block or report clayrat

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
38 stars written in Java
Clear filter

阿里云计算平台DataWorks(https://help.aliyun.com/document_detail/137663.html) 团队出品,为监控而生的数据库连接池

Java 28,219 8,618 Updated Dec 11, 2025

Hystrix is a latency and fault tolerance library designed to isolate points of access to remote systems, services and 3rd party libraries, stop cascading failure and enable resilience in complex di…

Java 24,452 4,719 Updated Dec 17, 2025

A high performance caching library for Java

Java 17,339 1,680 Updated Dec 15, 2025

MapDB provides concurrent Maps, Sets and Queues backed by disk storage or off-heap-memory. It is a fast and easy to use embedded Java database engine.

Java 5,039 882 Updated Jun 4, 2024

Enterprise Stream Process Engine

Java 3,892 1,786 Updated Jun 16, 2023
Java 3,778 584 Updated Jun 1, 2024

Simple Binary Encoding (SBE) - High Performance Message Codec

Java 3,360 556 Updated Dec 12, 2025

Actor Messaging platform

Java 3,270 728 Updated Nov 9, 2021

An in-memory file system for Java 8+

Java 2,519 285 Updated Dec 1, 2025

Stream summarizer and cardinality estimator.

Java 2,263 557 Updated Nov 28, 2019

A high performance replicated log service. (The development is moved to Apache Incubator)

Java 2,214 284 Updated Feb 25, 2020

GS Collections has been migrated to the Eclipse Foundation, re-branded as Eclipse Collections. https://www.eclipse.org/collections/

Java 1,825 278 Updated Mar 20, 2023

Improvement of Apache Kafka Mirrormaker

Java 934 197 Updated Dec 16, 2023

Fast Parallel Async HTTP/SSH/TCP/UDP/Ping Client Java Library. Aggregate 100,000 APIs & send anywhere in 20 lines of code. Ping/HTTP Calls 8000 servers in 12 seconds. (Akka) www.parallec.io

Java 803 174 Updated Jan 14, 2018

A Persistent Java Collections Library

Java 784 82 Updated Jul 23, 2025

The Arend Proof Assistant

Java 735 32 Updated Feb 25, 2025

MacroBase: A Search Engine for Fast Data

Java 671 127 Updated Dec 14, 2022

Shell for issuing SQL to relational databases via JDBC

Java 646 147 Updated Jul 7, 2023

Obsolete repository. Moved to oracle/graal.

Java 625 64 Updated Dec 5, 2018

Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.

Java 577 48 Updated Dec 1, 2022

The Wyvern programming language.

Java 560 66 Updated Sep 22, 2025

Chronicle Bytes has a similar purpose to Java NIO's ByteBuffer with many extensions

Java 432 87 Updated Dec 19, 2025

The Capsule Hash Trie Collections Library

Java 410 28 Updated Sep 22, 2025

Port of Snappy to Java

Java 358 69 Updated May 22, 2024

JIDT: Java Information Dynamics Toolkit for studying information-theoretic measures of computation in complex systems

Java 289 81 Updated Nov 5, 2025

High-performance Future implementation for the JVM

Java 232 15 Updated Oct 12, 2020

DeepDSL is a domain specific language (DSL) embedded in Scala for writing deep learning network applications.

Java 139 21 Updated May 8, 2018

Miniboxing is a program transformation that improves the performance of Scala generics when used with primitive types. It can speed up generic collections by factors between 1.5x and 22x, while mai…

Java 121 17 Updated Apr 11, 2020

Jagornet DHCP Server - An open source DHCPv4/DHCPv6 Server for Java

Java 115 47 Updated Dec 19, 2025

Java 8 functional magic

Java 88 14 Updated Nov 16, 2022
Next