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
jdan - Overview
{{ message }}
jdan
Follow
🐫
- : int -> int -> int = <fun>
on a mission to give you superpowers. unsure how i feel about static types.
Notion
jdan/README.md
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
ocaml-data-structures ocaml-data-structures Public
Some data structures and algorithms written in OCaml
ocaml-web-framework ocaml-web-framework Public
An HTTP server and framework written from scratch in OCaml
compiler.lean compiler.lean Public
A formally verified compiler for a simple language with numbers and sums