Sign in

Repository Index

71,372 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters (1)

Filters

Clear all filters

25–48 of 107 · Most stars

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  • tla
  • specifications
  • model-checking
  • verification

美团点评集团统一使用的MySQL数据库访问层的中间件。主要提供对业务开发透明、读写分库、分库分表能力,并提供了端到端SQL监控的集成方案。

  • mysql
  • dynamic-datasource
  • read-write-separation
  • zebra

I2P is an anonymizing network, offering a simple layer that identity-sensitive applications can use to securely communicate. All data is wrapped with several layers of encryption, and the network is both distributed and dynamic, with no trusted parties.

Ultra-fast matching engine written in Java based on LMAX Disruptor, Eclipse Collections, Real Logic Agrona, OpenHFT, LZ4 Java, and Adaptive Radix Trees.

  • trading-platform
  • trading-api
  • lmax-disruptor
  • matching-engine

React Native Date Picker is datetime picker for Android and iOS. It includes date, time and datetime picker modes. The datepicker is customizable and is supporting different languages. It's written with native code to achieve the best possible look, feel and performance.

  • react-native
  • datepicker
  • datepicker-component
  • react-native-datepicker

This library provides advance views for lists and stacks. Some of the views are build on top of RecyclerView and others are written in their own. Annotations are compiled by annotation processor to generate bind classes. DOCS -->

  • placeholderview
  • annotations
  • android
  • animation