Skip to content
Avatar
🐫
- : int -> int -> int = <fun>
🐫
- : int -> int -> int = <fun>
1.2k 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.3k 198

  2. Khan/tota11y Public

    an accessibility (a11y) visualization toolkit

    JavaScript 4.9k 300

  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 17 2

885 contributions in the last year

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

Contribution activity

January 2022

Created 12 commits in 2 repositories
Created 1 repository
Opened 1 pull request in 1 repository
makenotion/starter 1 open
10 contributions in private repositories Jan 4 – Jan 7

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