Skip to content
View jdan's full-sized avatar
🐫
- : int -> int -> int = <fun>
🐫
- : int -> int -> int = <fun>

Organizations

@makenotion @A11yance

Block or report jdan

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
jdan/README.md

welcome to

the jdan zone

My name is Jordan. I like science fiction, writing, theoretical computer science, retro computing, silly twitter accounts, and try not to take myself too seriously.

Shoot me an email

Pinned Loading

  1. 98.css 98.css Public

    A design system for building faithful recreations of old UIs

    CSS 9.1k 300

  2. tota11y tota11y Public

    an accessibility (a11y) visualization toolkit

    JavaScript 5k 279

  3. isomer isomer Public

    Simple isometric graphics library for HTML5 canvas

    JavaScript 2.9k 138

  4. ocaml-data-structures ocaml-data-structures Public

    Some data structures and algorithms written in OCaml

    OCaml 68 9

  5. ocaml-web-framework ocaml-web-framework Public

    An HTTP server and framework written from scratch in OCaml

    OCaml 26 1

  6. compiler.lean compiler.lean Public

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

    Lean 26 2