e-bigmoon / haskell-blog
☆14Updated 3 years ago
Related projects: ⓘ
- Type-safe transformations and purifications of PreCures (Japanese battle heroine)☆21Updated 2 months ago
- Haskell plugin-based framework for any type of applications☆50Updated 11 months ago
- Haskell library for non-deterministic pattern matching☆17Updated 2 years ago
- Official blog of Haskell-jp.☆28Updated 8 months ago
- a collection of various algorithms written using recursion schemes☆21Updated 2 years ago
- haskell's tribial test code☆9Updated this week
- Logs of https://haskell-jp.slack.com (and programs to save and view them)☆11Updated this week
- Template Haskell Implementation of Egison Pattern Matching☆32Updated 4 years ago
- A Haskell Package for unescaping unicode characters in print and show.☆19Updated 2 years ago
- A purely functional programming language based on higher-order polymorphic lambda calculus☆19Updated 8 months ago
- 関数型プログラミングに関する論文の非公式日本語訳☆23Updated 9 years ago
- Publish & Subscribe☆13Updated 3 years ago
- Haskell x Android☆24Updated 2 years ago
- PureScriptドキュメントの日本語訳☆12Updated 4 years ago
- A Haskell binding to MeCab☆23Updated 7 years ago
- A Haskell library to mock the current time. ⏰☆17Updated 6 years ago
- Typeclass for generating a list of each instance of a sum type's constructors☆11Updated 2 years ago
- Minimal Haskell Compiler☆63Updated 6 years ago
- Declarative command-line option parser☆57Updated last year
- Easy, Fast and Type-Safe Web Application Framework☆32Updated 4 years ago
- Preservative serialisation format☆89Updated last year
- ONE-SHOT Algebraic Effects for Ruby!☆22Updated 4 years ago
- HoTT in Japanese☆33Updated 11 months ago
- guardian - the border guardian for your Haskell monorepo package dependencies☆35Updated 2 weeks ago
- Backports of GHC deriving extensions☆14Updated 6 months ago
- A practical type-safe UI library for PureScript.☆31Updated 3 years ago
- [WIP] Faster Implementation of Dialyzer☆56Updated 5 months ago
- ☆9Updated last year
- Programs for checking the ρ property☆17Updated 3 years ago
- [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.☆16Updated 5 years ago