texmacs / kernelLinks
Kernel part subproject for GNU TeXmacs, GSoC only
☆36Updated 5 years ago
Alternatives and similar repositories for kernel
Users that are interested in kernel are comparing it to the libraries listed below
Sorting:
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Updated 3 years ago
- 这是Haskell函数式编程入门第2版的源码☆83Updated 7 years ago
- Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.☆16Updated 4 years ago
- A chance to focus on graph drawing itself, forget APIs and other stuffs.☆39Updated 3 years ago
- The Dragon Virtual Machine.☆10Updated 7 years ago
- ☆43Updated 5 months ago
- Genius programmer should write his own lisp!☆56Updated last week
- ☆28Updated 8 years ago
- Functional expressions interpreter and compiler infrastructure☆22Updated 2 weeks ago
- 《学C语言写Lisp》 *Build Your Own Lisp* 中文版☆52Updated 2 years ago
- A compiler for higher rank ML with type classes☆13Updated 4 years ago
- Source code to build vczh-libraries.github.io☆10Updated last month
- learn you a haskell for great good 中文版☆146Updated 4 years ago
- Yet Another AsYnc runtime for RuSt.☆34Updated 5 years ago
- 用作文档目的,翻译方式见 Issue #10☆41Updated 6 years ago
- 基于鸭子编译器写的os☆22Updated 4 years ago
- Xmacs renamed to Mogan☆34Updated 3 years ago
- 中文的C++ Template的教学指南。与知名书籍C++ Templates不同,该系列教程将C++ Templates作为一门图灵完备的语言来讲授,以求帮助读者对Meta-Programming融会贯通。(正在施工中)☆20Updated 9 years ago
- R6RS 简体中文翻译☆81Updated 8 years ago
- Practical Foundations for Programming Languages 2nd. R.Harper. Chinese Translation.☆14Updated 6 years ago
- A Register Based VM. 柠檬手写的看起来像栈机的寄存器机☆65Updated 4 years ago
- Lisp Flavoured C++☆29Updated 4 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 5 years ago
- 🌈 BlueSense is a long-term project for monitoring Shanghai environment data.☆26Updated 2 years ago
- An IR for Python VM, provided with indirect jump instructions.☆19Updated 5 years ago
- Libraries and tools for topological and geometric modeling.☆18Updated 3 months ago
- 有针对性地表达自己的崇敬之心☆37Updated 8 years ago
- ☆98Updated 6 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆12Updated last year
- A toy xmonad☆31Updated 5 years ago