Skip to content
Avatar
🐫
- : int -> int -> int = <fun>
🐫
- : int -> int -> int = <fun>
1.3k followers · 100 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Highlights

  • 2 discussions answered

Organizations

@makenotion
Block or Report

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.

Report abuse

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

Report abuse
jdan/README.md

Pinned

  1. 98.css Public

    A design system for building faithful recreations of old UIs

    CSS 6.5k 210

  2. Khan/tota11y Public

    an accessibility (a11y) visualization toolkit

    JavaScript 4.9k 305

  3. isomer Public

    Simple isometric graphics library for HTML5 canvas

    JavaScript 2.8k 149

  4. ocaml-data-structures Public

    Some data structures and algorithms written in OCaml

    OCaml 63 8

  5. ocaml-web-framework Public

    An HTTP server and framework written from scratch in OCaml

    OCaml 25 1

  6. compiler.lean Public

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

    Lean 18 2

919 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

April 2022

Created 3 commits in 1 repository
13 contributions in private repositories Apr 1 – Apr 5

Seeing something unexpected? Take a look at the GitHub profile guide.