GeeLaw / laomianLinks
老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.
☆12Updated 4 months ago
Alternatives and similar repositories for laomian
Users that are interested in laomian are comparing it to the libraries listed below
Sorting:
- Hall of Shame☆67Updated 5 years ago
- ntype cafe summer school resources☆146Updated last year
- Compiling finite generators to digital logic. WIP☆13Updated 5 years ago
- PKU CompNet'19 Lab 2 - Homebrew TCP☆12Updated 6 years ago
- ☆47Updated last year
- ☆12Updated 4 years ago
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆220Updated last week
- raytracer project for PPCA 2020☆63Updated 4 years ago
- ☆20Updated last year
- History of type theory (Chinese).☆358Updated 8 months ago
- 在 Telegram 上快速模仿迟先生卖弱。☆10Updated 4 years ago
- 计蒜客软工外包事件记录☆38Updated 5 years ago
- HERMES: sHallow dirEctory stRucture Many-filE fileSystem☆20Updated 6 years ago
- An open-source anonymous forum frontend.☆55Updated 4 years ago
- compile-time DFA-based regular expression engine with C++ template and constexpr☆55Updated 6 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- Compile Time RapidJSON: A compile time C++ header only JSON library without bloating yet another hand-crafted JSON parser based on RapidJ…☆14Updated 5 years ago
- 编译原理相关的工作岗位收集☆88Updated 7 years ago
- 🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"☆20Updated 3 years ago
- 在线图书借阅系统 - 2017 THU OOP课大作业☆13Updated 7 years ago
- Tsinghua Advanced Networking Labs on FPGA☆39Updated last year
- ☆82Updated 5 years ago
- 网络学堂 PC 端 App☆21Updated 2 years ago
- Relaxed Rust (for cats)☆14Updated 6 years ago
- 迟先生语料库☆32Updated 4 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 5 years ago
- A latex template for writing statement-of-purpose for many schools at the same time☆46Updated 2 years ago
- Mr. Chi simulator!☆26Updated 5 years ago
- Coq集合模型论☆11Updated 3 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆12Updated last year