Pinned

1. 98.css Public

   A design system for building faithful recreations of old UIs

   CSS 6.2k 190

2. Khan/tota11y Public

   an accessibility (a11y) visualization toolkit

   JavaScript 4.8k 300

3. isomer Public

   Simple isometric graphics library for HTML5 canvas

   JavaScript 2.8k 147

4. ocaml-data-structures Public

   Some data structures and algorithms written in OCaml

   OCaml 60 7

5. ocaml-web-framework Public

   An HTTP server and framework written from scratch in OCaml

   OCaml 24 1

6. compiler.lean Public

   A formally verified compiler for a simple language with numbers and sums

   Lean 17 2