GeeLaw / laomian
老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.
☆10Updated last month
Related projects: ⓘ
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- 网络学堂 PC 端 App☆21Updated last year
- HERMES: sHallow dirEctory stRucture Many-filE fileSystem☆20Updated 5 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆16Updated 2 years ago
- An educational game about Wanli Period of the Ming Dynasty☆8Updated 4 years ago
- Tomasulo Simulator written in React as the project for Computer Architecture course, Spring 2019, Tsinghua University☆11Updated 5 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆24Updated 2 years ago
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Updated 4 years ago
- ☆23Updated this week
- ☆11Updated this week
- Compile Time RapidJSON: A compile time C++ header only JSON library without bloating yet another hand-crafted JSON parser based on RapidJ…☆15Updated 4 years ago
- A LaTeX Package for 膜☆59Updated 7 years ago
- PKU CompNet'19 Lab 2 - Homebrew TCP☆12Updated 4 years ago
- Yet Another AsYnc runtime for RuSt.☆35Updated 4 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 4 years ago
- ☆20Updated 5 months ago
- ☆12Updated 2 years ago
- 计蒜客软工外包事件记录☆38Updated 4 years ago
- ☆41Updated last year
- 在 Telegram 上快速模仿迟先生卖弱。☆10Updated 2 years ago
- Tex source for talk slide.☆10Updated 3 years ago
- 在线图书借阅系统 - 2017 THU OOP课大作业☆13Updated 6 years ago
- ☆11Updated 4 months ago
- A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat☆17Updated 2 years ago
- OS Tutorial Summer of Code 2020☆19Updated 2 years ago
- Yet another python JIT.☆20Updated last year
- A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.☆29Updated 5 years ago
- 🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"☆18Updated 2 years ago
- slides of zju-lambda☆14Updated 5 years ago
- ☆22Updated last year