skylee03's recent timeline updates skylee03's recent timeline updates
test
Feb 10, 2020
skylee03's repos on GitHub
Pascal · 25 watchers
My-Dev-Cpp
A new and improved fork of Orwell Dev-C++
13 watchers
da-jia-lai-zhao-cha
大家来找茬
MoonBit · 7 watchers
citysub
Citysub: Controlling Bounds
5 watchers
noninterference
Typst · 4 watchers
skylee-homework-typst
Skylee's Typst Homework Template
JavaScript · 3 watchers
ed-helper-crx
I hate Python and I love Dirk!
C++ · 2 watchers
HKU-ENGG1340-230
Java · 2 watchers
skylee-task-manager
A command-line task manager
Java · 2 watchers
tp
2 watchers
Workern-Sans
Work Sans with Traditional Kerning
Go · 1 watchers
azukiiro
Golang runner of the AOI Project
Jupyter Notebook · 1 watchers
cl2102-scripts
NUS CL2102 汉语语音学 课程项目《温州宜山话单字调声学分析》所用脚本
HTML · 1 watchers
clojask-website
Clojask Website
C# · 1 watchers
cs4211-tennis-pred-gen
MDP reachability probability generation tool
Haskell · 1 watchers
FP-homework
Homework codes for PKU Introduction to Computing (A) (Honor Track) Fall 2021.
TeX · 1 watchers
llpnatded
LLP-style natural deduction with LaTeX3
1 watchers
skylee03
Rocq Prover · 1 watchers
stlc-semantic-typing
C++ · 1 watchers
uoj-judger-standalone
UOJ Judger Standalone
0 watchers
afo-guidebooks
SCSS · 0 watchers
alembic
⚗️ A Jekyll boilerplate theme designed to be a starting point for any Jekyll website
q · 0 watchers
aobi-geometry
0 watchers
caidan
🍔 A clean and minimal food menu template.
Clojure · 0 watchers
clojask
Clojask is a Clojure data processing framework with parallel computing on larger-than-memory datasets
0 watchers
COMP5111-2026Spring-Assignments-Students
Coq · 0 watchers
coq-dumping-ground
Vue · 0 watchers
coshare-intro
SCSS · 0 watchers
cryogen-action-test
0 watchers
datajure
Clojure data manipulation DSL — composable query syntax built on tech.ml.dataset
CSS · 0 watchers
design-language-website
IBM Design Language website
Pascal · 0 watchers
Dev-Cpp
A fast, portable, simple, and free C/C++ IDE
0 watchers
docker-base
Parent image for Docker images of the Coq proof assistant [maintainer=@Justme0606]
0 watchers
docs
生成的静态文档
C++ · 0 watchers
ee4204-lab
Racket · 0 watchers
floodit-racket
A simple Flood-It! game implemented in Racket language.
0 watchers
fp-lean-zh
Lean 函数式编程
TeX · 0 watchers
frieze_patterns
A project to formalise Coxeter's frieze patterns
Clojure · 0 watchers
geni
A Clojure dataframe library that runs on Spark
0 watchers
HKU-COMP3230A-Tutorialabs
JavaScript · 0 watchers
HKU-Moodle-Helper
0 watchers
hku-student-info
Useful information for new and current MPhil and PhD students in CS @ HKU
HTML · 0 watchers
hkuplg.github.io
Racket · 0 watchers
htdp
HtDP/2e 语言与教学包文档中文翻译
0 watchers
ide-examples
Python · 0 watchers
img2hanzi-python
Transform your image into Chinese characters!
Scala · 0 watchers
img2hanzi-scala
Transform your image into Chinese characters!
0 watchers
malinca-demo
GF grammar written at the kick-off meeting for Malinca (https://malinca.gitlabpages.inria.fr/malinca.gitlab.io/index.html)
HTML · 0 watchers
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
0 watchers
metalib
The Penn Locally Nameless Metatheory Library
0 watchers
mingw-distro
MinGW distro build scripts.
Shell · 0 watchers
moonbit-core
MoonBit's Core library
SCSS · 0 watchers
moonbit-course
TypeScript · 0 watchers
moonbit-textbook
0 watchers
moonyacc
MoonYacc is an LR(1) parser generator for MoonBit programming language.
Pascal · 0 watchers
MySimpleCalculator
A simple calculator written in Pascal (Lazarus).
0 watchers
OI-wiki
:star2: Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）
0 watchers
opam
Archive for all Coq related OPAM packages organized in various repositories
0 watchers
pe
0 watchers
ped
0 watchers
rhombus
Rhombus programming language
SCSS · 0 watchers
sassline
Set text on the web to a baseline grid with Sass & rems using a responsive modular-scale.
0 watchers
skylee-std-han
Skylee 標準漢字方案（配合 OpenCC 使用）
CSS · 0 watchers
speech-to-text-demo
MoonBit · 0 watchers
TAPL-in-MoonBit
MoonBit Port of Implementations for Pierce's Types and Programming Languages
0 watchers
TypeDuck-Web
TypeDuck: Cantonese for everyone at your fingertips
0 watchers
unclosable-window
My early work that creates an unclosable window, written in EPL and VBS.
SCSS · 0 watchers
Wejure-website
This site serves as documentation for the decentralized social network that operates on a peer-to-peer network written in Clojure.
JavaScript · 0 watchers
zj-gaokao-college-application-helper
0 watchers
zvms2
Opensource school volunteer management system for ZHZX.
 |
skylee03🏢 宁波市镇海中学 / 学生 V2EX member #403626, joined on 2019-04-21 10:48:58 +08:00 |
skylee.xyz
宁波
skylee_2003
skylee03
skylee03
skylee03
| Electron 中使用 webRequest.onBeforeRequest 重定向请求 URL 失败 Node.js • skylee03 • Sep 12, 2020 • Lastly replied by skylee03 | 1 |
| 无法在 32 位 XP 系统上正常使用 TDM64-GCC 9.2.0 编译 C++ • skylee03 • Jul 17, 2020 • Lastly replied by skylee03 | 21 |
| C++ 编辑 SOL 文件，可以吗？ 问与答 • skylee03 • Mar 23, 2020 |
| GoldWave 5.22 汉化版出现乱码，使用兼容模式运行则卡死，怎么办？ 问与答 • skylee03 • Mar 16, 2020 • Lastly replied by skylee03 | 3 |
| 使用 16 进制/8 进制登录腾讯 QQ 问与答 • skylee03 • Dec 26, 2019 • Lastly replied by skylee03 | 7 |
| 腾讯 QQ 在关闭设备锁的情况下依然需要透过手机确认登录 问与答 • skylee03 • Oct 27, 2019 • Lastly replied by skylee03 | 2 |
| Manjaro TeamViewer 未就绪。请检查您的连接 Linux • skylee03 • Oct 12, 2019 • Lastly replied by skylee03 | 16 |
| 台区 App Store 支付问题 iPhone • skylee03 • Jul 28, 2020 • Lastly replied by skylee03 | 17 |
skylee03's recent replies
Sep 29, 2021 Replied to a topic by sha851092391 › 职场话题 › 网上看到家奇葩公司，把离职员工简历放官网上展示。。。 |
@Mohanson 山东省黑龙江省大庆市。😱
May 24, 2021 Replied to a topic by ZhangZisu › 程序员 › 开发者的友链接力-Dev2Dev |
@rayluo 楼主是 1 月首考（选考+外语） 441/450，现在只用学语数两门的文化课大佬。
Sep 27, 2020 Replied to a topic by coolair › 问与答 › 最近 JetBrains 的教育授权这么难申请了？ |
上个月授权到期，我拿学生证（高中）申请，他们第一次还给我拒了，让我提供学信网认证。后来解释了学信网不支持查询高中学籍才成功续上。😂
Sep 12, 2020 Replied to a topic by skylee03 › Node.js › Electron 中使用 webRequest.onBeforeRequest 重定向请求 URL 失败 |
把调试输出那句注释掉就 work 了，神奇。
Sep 12, 2020 Replied to a topic by vincekang › Python › 请教大佬，怎么把 Python 项目打包成 exe 程序 |
pyinstaller
Aug 25, 2020 Replied to a topic by hertzry › 程序员 › 小白吐槽一下今天 C/C++装机历程 |
虽然 Orwell 已经很久不维护 Dev-C++了，但是现在有一些新的维护者在维护。可以看看我的[My Dev-C++]( https://github.com/skylee03/My-Dev-Cpp)或者[Embarcadero Dev-Cpp]( https://github.com/Embarcadero/Dev-Cpp)。
你也可以直接装一个 MinGW 环境，比如[TDM-GCC]( https://jmeubank.github.io/tdm-gcc/)，[Nuwen's MinGW Distro]( https://nuwen.net/)或者[MinGW-w64]( https://sourceforge.net/projects/mingw-w64/)，然后配合 VS Code 来写。
你也可以直接装一个 MinGW 环境，比如[TDM-GCC]( https://jmeubank.github.io/tdm-gcc/)，[Nuwen's MinGW Distro]( https://nuwen.net/)或者[MinGW-w64]( https://sourceforge.net/projects/mingw-w64/)，然后配合 VS Code 来写。
Jul 28, 2020 Replied to a topic by skylee03 › iPhone › 台区 App Store 支付问题 |
@BradZhou 港区的钱还没花完，不知道能不能转台区。
Jul 17, 2020 Replied to a topic by skylee03 › C++ › 无法在 32 位 XP 系统上正常使用 TDM64-GCC 9.2.0 编译 |
@flynaj 我主要是为了让我的 Dev-C++项目照顾到 XP 用户。
Jul 17, 2020 Replied to a topic by skylee03 › C++ › 无法在 32 位 XP 系统上正常使用 TDM64-GCC 9.2.0 编译 |
@flynaj 不过 TDM 的主页上说它支持 XP，所以如果不是他骗人，那就是我的问题。
Jul 17, 2020 Replied to a topic by skylee03 › C++ › 无法在 32 位 XP 系统上正常使用 TDM64-GCC 9.2.0 编译 |
@ysc3839 当然，不然 G++根本无法运行，而不会报错。
Select Language