ayaka14732
Follow
Stars
8
results
for source starred repositories
written in Haskell
Clear filter
A strongly-typed language that compiles to JavaScript
A RESTful Haskell web framework built on WAI.
💥💻💥 A data-parallel functional programming language
Research language for array processing in the Haskell/ML family
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
Grammatical Framework core: compiler, shell & runtimes