tomoki / ShiranuiLinks
Shiranui is new programming language supports live/test driven programming.
☆25Updated 9 years ago
Alternatives and similar repositories for Shiranui
Users that are interested in Shiranui are comparing it to the libraries listed below
Sorting:
- Onion - statically typed object-oriented programming language☆27Updated 3 weeks ago
- C++11TMP compile time C compiler☆27Updated 7 years ago
- SoftwareFoundations(Ja)☆71Updated 5 years ago
- a brief note on extendable and injectable syntax☆20Updated 9 years ago
- ☆17Updated 6 years ago
- O(N log N)-space IPC solver in OCaml☆52Updated 2 years ago
- ATS言語に関する文書の日本語訳置き場☆21Updated 4 years ago
- LavRia: TypeScript LALR(1) Parser Generator☆16Updated last month
- A self hosted whitespace compiler☆32Updated 5 years ago
- Constraint geometry processing language☆18Updated 5 years ago
- Mokkosuはインタラクティブなコンテンツを手軽に作成可能な関数型プログラミング言語です。☆27Updated 5 years ago
- ☆15Updated 8 years ago
- markdown processor in TeX☆18Updated 4 years ago
- Type inference in OCaml☆40Updated 10 years ago
- A Refinement Checker based on CSP☆28Updated 2 years ago
- 進捗大陸で使用されたSATySFiファイル☆12Updated 2 years ago
- The Xemime programming language☆13Updated 4 years ago
- Java Just-in-Time Compiler for x86 processors☆94Updated 8 years ago
- A programming language (WIP)☆29Updated last year
- ☆14Updated 3 years ago
- A statically typed and lazy evaluated implementation of Lambda Calculus.☆21Updated 6 years ago
- Statically typed system programming language for 文鳥☆94Updated 4 years ago
- C compiler + hikalium☆34Updated 4 years ago
- another abstraction layer for operating system developers☆11Updated 5 years ago
- small lisp implementation written in javascript☆22Updated 11 years ago
- 「にこ先輩といっしょに代数!」で使ったコードの実行可能な全文(`stack runghc`)☆13Updated 6 years ago
- A policy document about open source software referenced at Cybozu.☆23Updated 4 years ago
- A Simple parser combinator library for JavaScript.☆36Updated 10 years ago
- ☆12Updated 4 years ago
- A C-like language designed to help write brainf*ck☆14Updated 5 years ago