mitsuchi / mudLinks
多重ディスパッチをベースとする静的型付け関数型プログラミング言語
☆24Updated 6 years ago
Alternatives and similar repositories for mud
Users that are interested in mud are comparing it to the libraries listed below
Sorting:
- A programming language (WIP)☆29Updated last year
- 自作言語処理系のコンパイラ制作☆43Updated 6 years ago
- Vim syntax plugin for SATySFi typesetting system☆33Updated 4 years ago
- アスキードワンゴで出版予定の構文解析本に関するリポジトリ☆125Updated 3 weeks ago
- プログラミング言語bone☆25Updated 6 years ago
- An experimental project for statically typed scripting language.☆63Updated 4 years ago
- ☆45Updated 3 years ago
- Web rendering engine for mathematical formulae☆28Updated 3 years ago
- ☆81Updated last week
- Simple C compiler developed by @ShinyaKato☆43Updated 6 years ago
- Emelio interpreter written in C++☆34Updated 5 years ago
- 6x6-reversi oracle is a "perfect" player for reversi using 6x6 board☆58Updated 4 years ago
- Coqで様々な数学の定理を証明☆18Updated 3 years ago
- ☆28Updated 2 years ago
- C compiler + hikalium☆34Updated 5 years ago
- A programming language☆70Updated 2 years ago
- ☆30Updated 2 years ago
- PL for friends in the Japaripark (Logical programming language with Japanese animation-reference joke syntax)☆67Updated 4 years ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆16Updated last month
- ☆41Updated 7 years ago
- ☆22Updated 2 years ago
- Describe stencil formurae without even translating them☆16Updated 6 years ago
- seccamp2018 c compiler☆57Updated 3 years ago
- SATySFi's package☆13Updated 6 years ago
- A toy C compiler, developed at seccamp2020.☆21Updated 2 years ago
- compiler, llvm☆36Updated 7 years ago
- Language for libraries used in competition programming☆43Updated 3 years ago
- ☆53Updated 5 years ago
- Crosscompiling SATySFi from Ubuntu to Windows☆16Updated 7 years ago
- TypoScript is JavaScript-like language with typos. Some typos in variable and function names are acceptable.☆117Updated 2 years ago