A Dockerfile for Haskell Development, and DevContainer for VSCode, for installing GHC HLS (Haskell Language Server) and the required plugins

Multi-channel signed distance field generator

Command-line JSON processor

An extremely Lua like language implemented in pure C#.

Learn you an Agda (and achieve enlightenment)

A complete Scheme R5RS implementation, designed to be embedded in to C and C++ applications.

Empowering everyone to build reliable and efficient software.

Functional GPU shader language

Haskell bindings to libexpect

Manipulating Common Intermediate Language AST in Haskell