jrpotter
0 Followers · 0 Following
  • Joined on 2023-12-23
Repositories Projects Packages Public Activity Watched Repositories
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most forks Fewest forks
coach-scraper
Python 0

A web scraper for chess coaches.

chess
python

Updated 2023-12-24 04:34:38 +00:00

tagless-final-parsing
Haskell 0

Code samples for tagless final parsing.

blog
haskell
snippets

Updated 2023-12-24 04:12:40 +00:00

effect-systems
Haskell 0

Code samples for effect systems.

blog
haskell
snippets

Updated 2023-12-24 04:12:24 +00:00

bookshelf-doc
Lean 0

Document generator for my Bookshelf project

latex
lean

Updated 2023-12-16 14:58:24 +00:00

fused-effects-exceptions
Haskell 0

Handle exceptions thrown in IO with fused-effects.

haskell

Updated 2022-04-03 20:21:59 +00:00