A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev

A rugged, minimal framework for composing JavaScript behavior in your markup.

Our original Web Component library.

Create graphics with a hand-drawn, sketchy, appearance

CSS is powerful, you can do a lot of things without JS.

A lightweight and modular front-end framework for developing fast and powerful web interfaces

Status, process, and documents for ECMA-262

Defines a common protocol for language servers.

Lightweight, vanilla javascript parallax library

Pattern matching syntax for ECMAScript

Draw perfect pressure-sensitive freehand lines.

Web Components specifications

Provides standard objects and functions for working with dates and times.

Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.

Automatically extract body content (and other cool stuff) from an html document

Web Cryptography API Examples Demo: https://diafygi.github.io/webcrypto-examples/

ECMAScript Proposal, specs, and reference implementation for Realms

Proposal to add partial application to ECMAScript

A single-page resume template completely typeset with HTML & CSS.

This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

Metamath source file for logic and set theory

A collection of tools for writing technical documents that mix Coq code and prose.

My homepage

ECMAScript Proposal, specs, and reference implementation for Error.prototype.stack / System.getStack

A web site for converting haskell code into pointfree haskell code

Common Lisp binding for SQLite

Basic shadow-cljs template for ClojureScript builds targetting the Browser

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

SWI-Prolog ported to WebAssembly

Fun and Games with Fix, Cofree, and Doobie