Highlights
Block or Report
Block or report alissa-tung
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
-
mirror-docker-unified Public
Forked from sjtug/mirror-docker-unifiedInfrastructure of SJTUG mirrors
-
y-codemirror.next Public
Forked from yjs/y-codemirror.nextCollaborative extensions for CodeMirror6
JavaScript Other UpdatedJun 19, 2024 -
-
AFFiNE Public
Forked from toeverything/AFFiNEThere 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 an…
TypeScript Other UpdatedMay 3, 2024 -
-
-
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!
-
-
-
ui Public
Forked from shadcn-ui/uiBeautifully designed components that you can copy and paste into your apps. Accessible. Customizable. Open Source.
-
-
-
-
-
hstreamdb-java Public
Forked from hstreamdb/hstreamdb-javaJava Client for HStreamDB
-
-
-
EG Public
Forked from jjdishere/EGFormalizing Euclidean Geometry in Lean
-
-
lean4-for-loogle Public
Forked from nomeata/lean4Lean 4 programming language and theorem prover
-
doc-gen4 Public
Forked from leanprover/doc-gen4Document Generator for Lean 4
-
mathematics_in_lean_source Public
Forked from avigad/mathematics_in_lean_sourceSource code for the Mathematics in Lean tutorial.
-
elan Public
Forked from leanprover/elanA Lean version manager
-
mirror-clone Public
Forked from sjtug/mirror-cloneAll-in-one mirror utility for SJTUG mirror
-
-
hstream Public
Forked from hstreamdb/hstreamThe database built for IoT streaming data storage and real-time stream processing.
-
Mirror-Backend Public
Forked from PKUOSC/Mirror-BackendThe backend of PKU Mirror site
-