igrep / typesafe-precureLinks
Type-safe transformations and purifications of PreCures (Japanese battle heroine)
☆21Updated last week
Alternatives and similar repositories for typesafe-precure
Users that are interested in typesafe-precure are comparing it to the libraries listed below
Sorting:
- Official blog of Haskell-jp.☆30Updated 2 weeks ago
- ☆10Updated 6 years ago
- Programs for checking the ρ property☆17Updated 4 years ago
- Haskell x Android☆25Updated 2 years ago
- Publish & Subscribe☆13Updated 4 years ago
- Minimal Haskell Compiler☆63Updated 7 years ago
- Determine how intervals relate to each other.☆78Updated last month
- A purely functional programming language based on higher-order polymorphic lambda calculus☆20Updated last year
- Extended yes command to reproduce the phrases when the Japanese battle heroine PreCure transform.☆27Updated 8 years ago
- Template Haskell Implementation of Egison Pattern Matching☆32Updated 5 years ago
- Logs of https://haskell-jp.slack.com (and programs to save and view them)☆11Updated last week
- mixi git challenge の新しい採点システム☆18Updated 2 years ago
- 関数型プログラミングに関する論文の非公式日本語訳☆23Updated 10 years ago
- haskell's tribial test code☆9Updated last week
- Materials for category theory seminar☆27Updated last year
- 高橋Monad☆17Updated 8 years ago
- A Haskell Package for unescaping unicode characters in print and show.☆18Updated last year
- A Haskell binding to MeCab☆23Updated 8 years ago
- Type inference in OCaml☆40Updated 10 years ago
- An implementation of Flappy Bird in Haskell using FRP and OpenGL.☆31Updated 10 years ago
- SoftwareFoundations(Ja)☆71Updated 5 years ago
- Declarative command-line option parser☆58Updated 2 years ago
- 二重振り子シミュレーション☆41Updated 8 years ago
- ☆9Updated 2 years ago
- 五十嵐淳 著『プログラミング言語の基礎概念』☆10Updated 9 years ago
- A C-like language designed to help write brainf*ck☆14Updated 5 years ago
- Haskell plugin-based framework for any type of applications☆52Updated last year
- A Haskell library to mock the current time. ⏰☆18Updated 7 years ago
- An Ask.fm client☆16Updated 9 years ago
- A statically typed and lazy evaluated implementation of Lambda Calculus.☆21Updated 6 years ago