skylee03
Follow
-
design-language-website Public
Forked from carbon-design-system/design-language-websiteIBM Design Language website
CSS UpdatedDec 12, 2024 -
skylee-homework-typst Public
Skylee's Typst Homework Template
-
HKU-COMP3230A-Tutorialabs Public
Forked from aiot-lab/HKU-COMP3230A-TutorialabsC MIT License UpdatedSep 4, 2024 -
A Coq formalisation of completely bounded quantification
Coq UpdatedAug 21, 2024 -
mathematics_in_lean Public
Forked from leanprover-community/mathematics_in_leanThe user home repository for the Mathematics in Lean tutorial.
HTML UpdatedAug 14, 2024 -
-
frieze_patterns Public
Forked from Antoine-dSG/frieze_patternsA project to formalise Coxeter's frieze patterns
TeX UpdatedAug 3, 2024 -
moonbit-core Public
Forked from moonbitlang/coreMoonBit's Core library
Shell Apache License 2.0 UpdatedJul 21, 2024 -
ide-examples Public
Forked from moonbit-community/ide-examplesJavaScript Apache License 2.0 UpdatedJul 14, 2024 -
metalib Public
Forked from plclub/metalibThe Penn Locally Nameless Metatheory Library
Coq Other UpdatedJun 23, 2024 -
-
Archive for all Coq related OPAM packages organized in various repositories
OCaml GNU Lesser General Public License v2.1 UpdatedJun 20, 2024 -
zvms2 Public
Forked from zvms/zvms2Opensource school volunteer management system for ZHZX.
Python MIT License UpdatedJun 18, 2024 -
-
TypeDuck-Web Public
Forked from TypeDuck-HK/TypeDuck-WebTypeDuck: Cantonese for everyone at your fingertips
TypeScript BSD 3-Clause "New" or "Revised" License UpdatedJun 11, 2024 -
-
caidan Public
Forked from cu1ch3n/caidan🍔 A clean and minimal food menu template.
Typst MIT License UpdatedApr 4, 2024 -
datajure Public
Forked from clojure-finance/datajureClojure DSL for data science
-
Wejure-website Public
Forked from clojure-finance/Wejure-websiteThis site serves as documentation for the decentralized social network that operates on a peer-to-peer network written in Clojure.
SCSS MIT License UpdatedJan 2, 2024 -
skylee-task-manager Public archive
A command-line task manager
-
-
azukiiro Public
Forked from zhzxdev/azukiiroGolang runner of the AOI Project
-
geni Public
Forked from zero-one-group/geniA Clojure dataframe library that runs on Spark
Clojure Apache License 2.0 UpdatedNov 25, 2023 -
uoj-judger-standalone Public
Forked from zhzxdev/uoj-judger-standaloneUOJ Judger Standalone
-
cl2102-scripts Public
NUS CL2102 汉语语音学 课程项目《温州宜山话单字调声学分析》所用脚本
-
alembic Public template
Forked from daviddarnes/alembic⚗️ A Jekyll boilerplate theme designed to be a starting point for any Jekyll website
SCSS MIT License UpdatedNov 19, 2023 -
sassline Public
Forked from jakegiltsoff/sasslineSet text on the web to a baseline grid with Sass & rems using a responsive modular-scale.
SCSS UpdatedNov 19, 2023 -
-
-