Universal markup converter

A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

A Haskell library that simplifies access to remote data, such as databases or web-based services.

A modern proof language

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

《Real World Haskell》中文翻译项目

Parsing and analysis of Vertica, Hive, and Presto SQL.

A Programming Language for Deep Learning

A simple expressions language with polymorphic extensible row types.

An absolutely simple & terse CLI app to manipulate JSON data

Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell