Parsing, analyzing, and comparing source code across many languages

🇪🇺 Wire back-end services

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Easy dependency management for Nix projects

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Haskell code prettifier

The Egison Programming Language

An interpreter of Hagino's Categorical Programming Language (CPL).

Preservative serialisation format

多重ディスパッチをベースとする静的型付け関数型プログラミング言語

Type inference algorithms for functional programming languages

A Haskell library/program for parsing and interpreting Toaq

Curry-Howard isomorphism for deontic logic — formalizing Korean Civil Act with Haskell type-level stratified defeasibility