jdan

on a mission to give you superpowers. unsure how i feel about static types.

NotionHoboken, NJ

Pinned Repositories

98.css
A design system for building faithful recreations of old UIs
Language:CSS8.8k 61 97292
cleaver
30-second slideshows for hackers
Language:JavaScript4k 86 96307
compiler.lean
A formally verified compiler for a simple language with numbers and sums
Language:Lean24 4 02
dynamo.js
Cycles through bits of text in place
Language:JavaScript625 26 1665
isomer
Simple isometric graphics library for HTML5 canvas
Language:JavaScript2.9k 83 60139
Melopy
Python music library
Language:Python237 10 2733
ocaml-data-structures
Some data structures and algorithms written in OCaml
Language:OCaml67 3 09
ocaml-web-framework
An HTTP server and framework written from scratch in OCaml
Language:OCaml25 3 01
rubycards
Ruby playing cards library
Language:Ruby149 10 726
tota11y
an accessibility (a11y) visualization toolkit
Language:JavaScript5k 208 97279

jdan's Repositories

jdan/98.css
A design system for building faithful recreations of old UIs
Language:CSS8.8k 61 97292
jdan/tota11y
an accessibility (a11y) visualization toolkit
Language:JavaScript5k 208 97279
jdan/Melopy
Python music library
Language:Python237 10 2733
jdan/deepdive
deepdive
Language:TypeScript109 5 011
jdan/notes
Turn your Notion database into a deck of cards
Language:JavaScript53 2 35
jdan/magic-editor
LLM-powered writing experiments
Language:TypeScript32 3 14
jdan/hashart
an experiment in turing SHA-256 hashes into pixels
Language:JavaScript28 3 01
jdan/twitter
See what’s happening in the world right now
24 2 641
jdan/magic-hotline
A web server which generates its HTML using ChatGPT, using only the URL
Language:JavaScript22 2 1
jdan/98.css-badges
badges for 98.css
Language:JavaScript18 4 01
jdan/jordanscales.com
My homepage
Language:HTML17 3 02
jdan/thatjdanisso.cool
My blog
Language:JavaScript15 2 55
jdan/topological-sort
An implementation of Kahn's algorithm for topological sorting
Language:JavaScript11 2 01
jdan/fizzbuzz-polyglot
An experiment in writing FizzBuzz in every language, each with its own Docker container
Language:Lua10 3 17
jdan/notion-automations
automating notion in various ways
Language:JavaScript9 2 01
jdan/away-message
AOL Instant Messenger "Away Message" simulator
Language:TypeScript8 2 01
jdan/chessnet
lichess games over telnet
Language:JavaScript7 3 0
jdan/try-j
Language:J5 2 0
jdan/artfile-web
ArtFile.bin extractor
Language:TypeScript4 2 0
jdan/adventofcode
Solutions for http://adventofcode.com/
Language:Racket2 3 0
jdan/jdan
my readme
Language:JavaScript2 2 02
jdan/jupyter-notebooks
Language:Jupyter Notebook2 2 0
jdan/akari-editor
Akari puzzle editor to generate playable "Light Up" puzzles from Simon Tatham's collection
Language:CSS1 2 0
jdan/getxword
Fetches the NYTimes Crossword
Language:Shell1 2 0
jdan/rosalind.bqn
rosalind.info
1 2 0
jdan/combinators
Language:TypeScript2 0
jdan/lean-funcprog
Functional Programming in Lean
Language:Lean2 0
jdan/minimax.ts
Language:TypeScript
jdan/stream-adventure
stream-adventure
Language:JavaScript2 0
jdan/unison
My codebase for https://www.unisonweb.org/
2 0