Skip to content


@Agda-zh @ZHaskell @hstreamdb @lambda-magic
Block or Report

Block or report alissa-tung

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.

Add an optional note:
Report abuse

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

Report abuse


  1. HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.

    Haskell 536 49

  2. Rust client library for HStreamDB

    Rust 3

  3. A purely functional programming language with first class types

    Idris 1.8k 314

  4. Crypto for Haskell

    Haskell 29 3

  5. An OLAP database system for educational purpose

    Rust 874 131

  6. RisingWave: the next-generation streaming database in the cloud.

    Rust 3.2k 257

789 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

September 2022

Created 2 repositories

Created a pull request in hstreamdb/hstreamdb-rust that received 1 comment

producer: result for each append

+127 −42 1 comment
Reviewed 1 pull request in 1 repository
hstreamdb/hstreamdb_erl 1 pull request

Created an issue in hstreamdb/hstreamdb-rust that received 1 comment

18 contributions in private repositories Sep 17 – Sep 21

Seeing something unexpected? Take a look at the GitHub profile guide.