Building a compiler to WASM step-by-step

FIT file decoder

A Series on Behaviors and Events

Haskell implemented with combinators

An Android app to browse GitHub repositories

Display and control your Android device

A NATS client library written in Haskell

String manipulation tool written in haskell

A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonads.

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

A ready-to-fork interpreted functional language with type inference

A friendly programming language from the future

A smart VS-Code extension

Create book from markdown files. Like Gitbook but implemented in Rust

Call Python from Haskell by FFI-via-serialisation over MessagePack

Koka language compiler and interpreter

Building Better Services And Clients

A fast, flexible, fused effect system for Haskell

Functional reactive web and mobile applications, with batteries included.

Robust Speech Recognition via Large-Scale Weak Supervision

Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.

The Lobster Programming Language

TreeSheets : Free Form Data Organizer (see strlen.com/treesheets)

📚 A softer alternative to Haddock

Fast parsing from bytestrings

Demo for high-performance type theory elaboration

Tool to convert literate code between styles or to code.

♏ 一款浏览器端的 Markdown 编辑器，支持所见即所得（富文本）、即时渲染（类似 Typora）和分屏预览模式。An In-browser Markdown editor, support WYSIWYG (Rich Text), Instant Rendering (Typora-like) and Split View modes.

A (not so) simple Visual Studio Code markdown plugin to format tables and some other features.

CSV to Table vscode extension