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
Follow
🐫
- : int -> int -> int = <fun>
Jordan Scales jdan
🐫
- : int -> int -> int = <fun>
on a mission to give you superpowers. unsure how i feel about static types.
-
Notion
- Hoboken, NJ
- http://jordanscales.com
- @jdan.me
- @jdan
Organizations
Pinned Loading
-
ocaml-data-structures
ocaml-data-structures PublicSome data structures and algorithms written in OCaml
-
ocaml-web-framework
ocaml-web-framework PublicAn HTTP server and framework written from scratch in OCaml
-
compiler.lean
compiler.lean PublicA formally verified compiler for a simple language with numbers and sums
1,022 contributions in the last year
| Day of Week | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | |||||||||||||||||||||||||||||||||||||||||
| Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Saturday Sat | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More