ShellCheck, a static analysis tool for shell scripts

Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

A modern proof language

A Dependently Typed Functional Programming Language

Koka language compiler and interpreter

Haskell to JavaScript compiler, based on GHC

Agda is a dependently typed programming language / interactive theorem prover.

《Real World Haskell》中文翻译项目

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Haskell API search engine

A demo implementation of a simple dependently-typed language

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code example…

A Programming Language for Deep Learning

Call Haskell functions from any programming language via serialization and dynamic libraries

Project templates for stack new

《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

Generates https://eel.is/c++draft

Call JavaScript from Haskell, and vice versa!

Language Server for Agda

Haskell support for the Win32 API

🔦 [Deprecated] Transpile Kotlin codes into Dart, Make Flutter Great Again

入墨答Rumbda, the Chinese expression of lambda calculus

Moved to Haskell.org GitLab.

Haskell experiments involving TVM AI framework

Dependently type-safe code generator .