Alternatives and similar repositories for laomian:

Users that are interested in laomian are comparing it to the libraries listed below

• dramforever / finlog
  Compiling finite generators to digital logic. WIP
  ☆14Updated 4 years ago
• wangrunji0408 / WanZheBiDong
  An educational game about Wanli Period of the Ming Dynasty
  ☆8Updated 4 years ago
• jiegec / learn_tsinghua_app
  网络学堂 PC 端 App
  ☆21Updated 2 years ago
• xalanq / PiLibrary
  在线图书借阅系统 - 2017 THU OOP课大作业
  ☆13Updated 6 years ago
• Chi-Task-Force / Chi-Telegram-Inline-Bot
  在 Telegram 上快速模仿迟先生卖弱。
  ☆10Updated 3 years ago
• MarisaKirisame / resume
  ☆43Updated 3 months ago
• CircuitCoder / MeowThink
  A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat
  ☆17Updated 3 years ago
• Harry-Chen / HERMES
  HERMES: sHallow dirEctory stRucture Many-filE fileSystem
  ☆20Updated 5 years ago
• skyzh / HallOfShame
  Hall of Shame
  ☆67Updated 4 years ago
• CircuitCoder / MeowRust
  Relaxed Rust (for cats)
  ☆16Updated 5 years ago
• chaoxu / naivemoha
  A LaTeX Package for 膜
  ☆59Updated 7 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago
• Fugoes / ctrj
  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
• MarisaKirisame / MemoryBalancer
  ☆23Updated last year
• KireinaHoro / khtcp
  PKU CompNet'19 Lab 2 - Homebrew TCP
  ☆12Updated 5 years ago
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 2 years ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆33Updated 3 years ago
• Konano / Tuna-Erha-Bot
  ☆20Updated 4 months ago
• LyricZhao / THU-Bell
  THU Bell on macOS
  ☆28Updated 5 years ago
• meow-chip / MeowRouter
  A hardware accelerated IP packet forwarder running on programmable ICs
  ☆16Updated 2 years ago
• SnowOnion / category-theory-seminar-notes-cnu-2018
  首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…
  ☆18Updated 6 years ago
• trackoor / RayTracer.ml
  🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"
  ☆19Updated 2 years ago
• ice1000 / multi-school-sop
  A latex template for writing statement-of-purpose for many schools at the same time
  ☆43Updated last year
• lynzrand / chigusa
  A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业
  ☆30Updated 4 years ago
• imkiva / valheim
  Just for fun riscv64 emulator, which boots the Linux.
  ☆41Updated 2 years ago
• ice1k / ConsHoTT
  Constructive Interpretations of HoTT
  ☆36Updated 4 years ago
• RuixiZhang42 / newxeCJK
  New implementation of xeCJK
  ☆18Updated 2 years ago
• TrivialCompiler / Talk
  Tex source for talk slide.
  ☆10Updated 4 years ago
• skyzh / raytracer-tutorial
  raytracer project for PPCA 2020
  ☆63Updated 3 years ago
• zju-lambda / slides
  slides of zju-lambda
  ☆14Updated 6 years ago