• 3
• 4
• 0

xege/XEGE-SDL

真·跨平台 XEGE

• 1
• 0
• 0

被子飞了/pielang-rs

支持依赖类型的 Pie 语言的 Rust 实现。

• 1
• 1
• 0

被子飞了/microui-impl-ege

microui到EGE上的移植

• 3
• 0
• 0

被子飞了/KuMaoPlayer

酷猫音乐播放器

• 1
• 4
• 2

被子飞了/microui

fork from https://github.com/rxi/microui

• 2
• 1
• 0

xege/xege-core

新一代 XEGE 核心库

• 3
• 1
• 0

xege/XEGEStdEX

EGE标准拓展库，试水中

• 2
• 2
• 0

xege/microui-impl-ege

microui 到 EGE 上的移植，方便创建图形界面程序

• 1
• 0
• 1

被子飞了/opengl-bunny-demo

Draw Stanford Bunny with light in OpenGL

• 1
• 0
• 0

被子飞了/cminus

CMINUS parser written by lalrpop

• 1
• 1
• 0

被子飞了/whu-cs-report

WHU-CS-Report.css是为武汉大学计算机学院本科生课程设计报告设计的Typora主题

• 1
• 0
• 0

被子飞了/WHU-APLD

Code in the course "Advanced Programming Language Design" of WHU 2019

• 1
• 0
• 0

被子飞了/plfa-code

Agda code of lessons and exercises in PLFA

• 1
• 0
• 0

被子飞了/cn-flag

The Chinese national flag described with SVG format.

• 1
• 0
• 0

被子飞了/suta-asta-symbols