Alternatives and similar repositories for kernel

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

• slowphil / texmacs-win-builder
  Automate building of TeXmacs on windows using MSys2/Mingw-w32
  ☆10Updated 3 years ago
• HaskellZhangSong / Introduction_to_Haskell_2ed_source
  这是Haskell函数式编程入门第2版的源码
  ☆83Updated 7 years ago
• thautwarm / simple-pl-example
  Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.
  ☆16Updated 4 years ago
• thautwarm / graphviz-artist
  A chance to focus on graph drawing itself, forget APIs and other stuffs.
  ☆39Updated 3 years ago
• covariant-institute / dragon-vm
  The Dragon Virtual Machine.
  ☆10Updated 7 years ago
• MarisaKirisame / resume
  ☆43Updated 5 months ago
• tiancaiamao / cora
  Genius programmer should write his own lisp!
  ☆56Updated last week
• uternet / tspl-cn
  ☆28Updated 8 years ago
• ShisoftResearch / Dovahkiin
  Functional expressions interpreter and compiler infrastructure
  ☆22Updated 2 weeks ago
• NoahDragon / BuildYourOwnLispCn
  《学C语言写Lisp》 *Build Your Own Lisp* 中文版
  ☆52Updated 2 years ago
• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 4 years ago
• vczh-libraries / WebsiteSource
  Source code to build vczh-libraries.github.io
  ☆10Updated last month
• flaneur2020 / lyah
  learn you a haskell for great good 中文版
  ☆146Updated 4 years ago
• Fugoes / yaay-rs
  Yet Another AsYnc runtime for RuSt.
  ☆34Updated 5 years ago
• Idris-zh / Idris-dev
  用作文档目的，翻译方式见 Issue #10
  ☆41Updated 6 years ago
• evilbinary / duck-os
  基于鸭子编译器写的os
  ☆22Updated 4 years ago
• XmacsLabs / Xmacs
  Xmacs renamed to Mogan
  ☆34Updated 3 years ago
• FrankHB / CppTemplateTutorial
  中文的C++ Template的教学指南。与知名书籍C++ Templates不同，该系列教程将C++ Templates作为一门图灵完备的语言来讲授，以求帮助读者对Meta-Programming融会贯通。(正在施工中)
  ☆20Updated 9 years ago
• jks-liu / R6RS.zh-cn
  R6RS 简体中文翻译
  ☆81Updated 8 years ago
• ustc-pldpa / PFPL
  Practical Foundations for Programming Languages 2nd. R.Harper. Chinese Translation.
  ☆14Updated 6 years ago
• LemonVM / LemonVMAlpha
  A Register Based VM. 柠檬手写的看起来像栈机的寄存器机
  ☆65Updated 4 years ago
• Z-Shang / LICPP
  Lisp Flavoured C++
  ☆29Updated 4 years ago
• lynzrand / chigusa
  A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业
  ☆30Updated 5 years ago
• skyzh / BlueSense
  🌈 BlueSense is a long-term project for monitoring Shanghai environment data.
  ☆26Updated 2 years ago
• RemuLang / sijuiacion-lang
  An IR for Python VM, provided with indirect jump instructions.
  ☆19Updated 5 years ago
• xieyuheng / cell-complex
  Libraries and tools for topological and geometric modeling.
  ☆18Updated 3 months ago
• ylxdzsw / mo-generator
  有针对性地表达自己的崇敬之心
  ☆37Updated 8 years ago
• NatsuLang / NatsuLang
  ☆98Updated 6 years ago
• chenjulang / rubikcubegroup
  rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/
  ☆12Updated last year
• fragilelambda / txmonad
  A toy xmonad
  ☆31Updated 5 years ago