alwinb Goto Github PK

Hi! 👋 I am Alwin,

Welcome to my GitHub page! This is a place where I have collected some of my work and some research projects.

I often try to develop theory and application simultaneously.

A selection of projects, listed below.

I am working on a number of projects around the specification of URLs. This works aims to resolve the differences between the WHATWG standard and the IETF specifications. It adds support for relative URLs in a way that agrees with the WHATWG standard.

• URL Specification — An URL specification that generalises the WHATWG standard.
• URLReference — An URL class that adds support for relative URLs.
• spec-url — A low level, core library that implements the URL specification above.
• reurl — An alternative URL library with immutable URL objects.

I am working on some projects around the HTML language as well. The end goal is to create an accurate and concise characterisation of the HTML5 language as parsed, together with an implementation!

• html-parser — An ongoing effort to define an ever simpler and more concise HTML parsing algorithm that agrees with the HTML5 standard.
• html-lexer — An html lexer that produces annotated chunks of raw input.
• tiny-html-lexer — A minute html tokeniser based on the previous, but using regular expressions.

• Domex — Domex (short for DOM expressions) is an algebraic language for specifying web user interfaces. Domex works by pattern-matching on input (model or viewmodel) data, and allows for recursive patterns. One way to think of it is as "recursive format strings" that produce HTML.

• Regex — A regular expression compiler that computes deterministic state machines (DFAs) by implementing (and slightly extending) the theory of derivatives of regular expressions.
• Ess — Ess is a research type-language for describing properties of sem-structured data (such as JSON) and a theorem prover for that language.

I wrote my Master's Thesis about the generalisation of Universal Algebra and Universal Coalgebra at the Institute for Logic, Language and Computation in Amsterdam; I've separated out the introductory notes on Category Theory and patched up some typos as well.

• Interaction, Observation and Denotation
• Category Theory - Introductory Notes

Some fun projects.

• Haikon-js — A parser for HVIF vector icon files, in JS (and Zig).
• XoDB — Some support for the reMarkable tablet database and –notebooks in JS.

• immutable-aatree — A persistent ordered dictionary datastructure.
• tiny-css-parser — A CSS parser with a small code-base.
• tm-plist — A parser for the ASCII property list file format (as used by TextMate).