Universal markup converter

Parsing, analyzing, and comparing source code across many languages

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 Dependently Typed Functional Programming Language

Koka language compiler and interpreter

Haskell IDE

High performance, concurrent functional programming abstractions

Trying to understand the file format of Tip Toi

A multi-syntax functional programming language that compiles to WebAssembly.

Glance over some technical videos