GeeLaw / laomianLinks
老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.
☆10Updated 3 weeks ago
Alternatives and similar repositories for laomian
Users that are interested in laomian are comparing it to the libraries listed below
Sorting:
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- 在 Telegram 上快速模仿迟先生卖弱。☆10Updated 3 years ago
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Updated 4 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- An educational game about Wanli Period of the Ming Dynasty☆8Updated 5 years ago
- Hall of Shame☆67Updated 4 years ago
- A latex template for writing statement-of-purpose for many schools at the same time☆43Updated last year
- Yet Another AsYnc runtime for RuSt.☆34Updated 5 years ago
- ☆43Updated 5 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- 🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"☆19Updated 3 years ago
- PKU CompNet'19 Lab 2 - Homebrew TCP☆12Updated 5 years ago
- 计蒜客软工外包事件记录☆38Updated 5 years ago
- 🍎 Play Bad Apple! with Haskell☆15Updated 2 years ago
- Yet another python JIT.☆20Updated 2 years ago
- ☆12Updated 3 years ago
- 首师大 2018 范畴论讨论班笔 记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Updated 6 years ago
- https://openpal.github.io/TypeAndProof/☆99Updated 8 years ago
- raytracer project for PPCA 2020☆63Updated 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…☆15Updated 5 years ago
- A LaTeX Package for 膜☆59Updated 8 years ago
- Mr. Chi simulator!☆26Updated 4 years ago
- ☆23Updated 2 years ago
- 十分钟魔法练习 in OCaml☆33Updated 3 years ago
- HERMES: sHallow dirEctory stRucture Many-filE fileSystem☆20Updated 6 years ago
- An open-source anonymous forum frontend.☆54Updated 3 years ago
- A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat☆17Updated 3 years ago
- Great homework for Fundamentals of Programming course.☆13Updated 9 years ago
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago