skylee03's repos on GitHub
Pascal · 25 人关注
My-Dev-Cpp
A new and improved fork of Orwell Dev-C++
MoonBit · 7 人关注
citysub
Citysub: Controlling Bounds
Go · 1 人关注
azukiiro
Golang runner of the AOI Project
Jupyter Notebook · 1 人关注
cl2102-scripts
NUS CL2102 汉语语音学 课程项目《温州宜山话单字调声学分析》所用脚本
Haskell · 1 人关注
FP-homework
Homework codes for PKU Introduction to Computing (A) (Honor Track) Fall 2021.
TeX · 1 人关注
llpnatded
LLP-style natural deduction with LaTeX3
SCSS · 0 人关注
alembic
⚗️ A Jekyll boilerplate theme designed to be a starting point for any Jekyll website
0 人关注
caidan
🍔 A clean and minimal food menu template.
Clojure · 0 人关注
clojask
Clojask is a Clojure data processing framework with parallel computing on larger-than-memory datasets
0 人关注
datajure
Clojure data manipulation DSL — composable query syntax built on tech.ml.dataset
Pascal · 0 人关注
Dev-Cpp
A fast, portable, simple, and free C/C++ IDE
0 人关注
docker-base
Parent image for Docker images of the Coq proof assistant [maintainer=@Justme0606]
Racket · 0 人关注
floodit-racket
A simple Flood-It! game implemented in Racket language.
TeX · 0 人关注
frieze_patterns
A project to formalise Coxeter's frieze patterns
Clojure · 0 人关注
geni
A Clojure dataframe library that runs on Spark
0 人关注
hku-student-info
Useful information for new and current MPhil and PhD students in CS @ HKU
Racket · 0 人关注
htdp
HtDP/2e 语言与教学包文档中文翻译
Scala · 0 人关注
img2hanzi-scala
Transform your image into Chinese characters!
0 人关注
malinca-demo
GF grammar written at the kick-off meeting for Malinca (https://malinca.gitlabpages.inria.fr/malinca.gitlab.io/index.html)
HTML · 0 人关注
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
0 人关注
metalib
The Penn Locally Nameless Metatheory Library
0 人关注
moonyacc
MoonYacc is an LR(1) parser generator for MoonBit programming language.
0 人关注
OI-wiki
:star2: Wiki of OI / ICPC for everyone. (某大型游戏线上攻略,内含炫酷算术魔法)
0 人关注
opam
Archive for all Coq related OPAM packages organized in various repositories
0 人关注
rhombus
Rhombus programming language
SCSS · 0 人关注
sassline
Set text on the web to a baseline grid with Sass & rems using a responsive modular-scale.
MoonBit · 0 人关注
TAPL-in-MoonBit
MoonBit Port of Implementations for Pierce's Types and Programming Languages
0 人关注
TypeDuck-Web
TypeDuck: Cantonese for everyone at your fingertips
0 人关注
unclosable-window
My early work that creates an unclosable window, written in EPL and VBS.
SCSS · 0 人关注
Wejure-website
This site serves as documentation for the decentralized social network that operates on a peer-to-peer network written in Clojure.
0 人关注
zvms2
Opensource school volunteer management system for ZHZX.