Alissa Tung's Projects
There can be more than Notion and Miro. AFFiNE(pronounced [Ιβfain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable and ready to use.
Algorithms for competitive programming implementation in Rust.
https://alissa-tung.github.io/
Methods in Algebra (Volume 1): A Chinese textbook on Algebra
EMQ Blog
Experimental implementation of Cubical Type Theory
Document Generator for Lean 4
HStreamDB user documentation
The next generation of documentation for HStreamDB.
Apache Doris is an easy-to-use, high performance and unified analytics database.
Unusable Resource-dependent algebraic effects library in Idris 2.
Formalizing Euclidean Geometry in Lean
A Lean version manager
An implementation of a gRPC server and client in Erlang.
Unusable HTTP client & server powered by Z.Haskell.
The database built for IoT streaming data storage and real-time stream processing.
Erlang Client for HStreamDB
Go Client for HStreamDB
Java Client for HStreamDB