alissa-tung

glean

dotpod

hacking-lean-in-lean-book

hacking-lean-in-lean-code

alissa-tung.github.io

https://alissa-tung.github.io/

dot-darwin

homological_algebra

ics-fp

lc

doc-gen4

Document Generator for Lean 4

EG

Formalizing Euclidean Geometry in Lean

elan

A Lean version manager

fr-ci

hstream

The database built for IoT streaming data storage and real-time stream processing.

hstreamdb-java

Java Client for HStreamDB

lean4-for-loogle

Lean 4 programming language and theorem prover

loogle

Mathlib search tool

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.

milkv

Mirror-Backend

The backend of PKU Mirror site

mirror-clone

All-in-one mirror utility for SJTUG mirror

mirror-docker-unified

Infrastructure of SJTUG mirrors

mui-x

MUI X: Build complex and data-rich applications using a growing list of advanced React components, like the Data Grid, Date and Time Pickers, Charts, and more!

nextjs-debug

optlib

pnpm-debug

portal

Portal of SJTUG

ui

Beautifully designed components that you can copy and paste into your apps. Accessible. Customizable. Open Source.

WayneLin92.github.io

AFFiNE

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.