tomoki / Shiranui
Shiranui is new programming language supports live/test driven programming.
☆24Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for Shiranui
- a brief note on extendable and injectable syntax☆19Updated 8 years ago
- A policy document about open source software referenced at Cybozu.☆23Updated 4 years ago
- Type inference in OCaml☆39Updated 9 years ago
- ☆17Updated 5 years ago
- SoftwareFoundations(Ja)☆71Updated 5 years ago
- C++11TMP compile time C compiler☆27Updated 6 years ago
- A Refinement Checker based on CSP☆28Updated 2 years ago
- any docs☆17Updated 4 years ago
- Kafkaドキュメント( http://kafka.apache.org/documentation.html )の拙訳☆17Updated 9 years ago
- Onion - statically typed object-oriented programming language☆26Updated 9 months ago
- Extended yes command to reproduce the phrases when the Japanese battle heroine PreCure transform.☆26Updated 8 years ago
- Mokkosuはインタラクティブなコンテンツを手軽に作成可能な関数型プログラミング言語です。☆27Updated 4 years ago
- ATS言語に関する文書の日本語訳置き場☆21Updated 4 years ago
- Crosscompiling SATySFi from Ubuntu to Windows☆16Updated 6 years ago
- Statically typed language's interpreter with type inference written in JavaScript☆23Updated 13 years ago
- Java Just-in-Time Compiler for x86 processors☆92Updated 7 years ago
- LavRia: TypeScript LALR(1) Parser Generator☆14Updated 6 years ago
- O(N log N)-space IPC solver in OCaml☆52Updated last year
- Vim like Text editor by Haskell.☆14Updated 7 years ago
- Featherweight Generics Go implementation by Scala☆13Updated this week
- bouzuya's easy test runner☆15Updated last year
- ☆26Updated 8 years ago
- Materials for category theory seminar☆27Updated 10 months ago
- githubのコミットログを利用したエンディングロール☆10Updated last year
- small lisp implementation written in javascript☆22Updated 11 years ago
- ☆12Updated 9 years ago
- Programs for checking the ρ property☆17Updated 3 years ago
- Command line interface to manage the posts in Qiita.☆23Updated 8 years ago
- Power Assert in Vim script☆32Updated 4 years ago
- A self hosted whitespace compiler☆32Updated 4 years ago