ChrisPenner
he/him Writing software to improve the experience of writing software. Author of Optics By Example
Unison ComputingVictoria BC, CA
Pinned Repositories
eve
An extensible event-driven application framework in haskell
Firefly
Simple Haskell http framework
lens-regex-pcre
Text lenses using PCRE regexes
LumberJack
A terminal-ui log watcher written in Go using the Flux architecture
rasa
Extremely modular text editor built in Haskell
SitePipe
Yet another static site generator - non-opinionated, value-level. Less magic == easier to understand
slick
Static site generator built on Shake configured in Haskell
void-space
Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me
wc
Beating unix `wc` in Haskell
ChrisPenner's Repositories
ChrisPenner/slick
Static site generator built on Shake configured in Haskell
ChrisPenner/lens-regex-pcre
Text lenses using PCRE regexes
ChrisPenner/SitePipe
Yet another static site generator - non-opinionated, value-level. Less magic == easier to understand
ChrisPenner/jet
A structural editor for JSON values
ChrisPenner/mad-props
Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.
ChrisPenner/session-sauce
Shell plugin for managing tmux sessions
ChrisPenner/slick-template
A template for quickly building sites with slick
ChrisPenner/grids
Arbitrary dimension type-safe grids
ChrisPenner/catalyst
There are many category theory implementations, but this one is mine
ChrisPenner/Candor
A toy Parser+Compiler+Typechecker
ChrisPenner/rust-advent-of-code
ChrisPenner/chip8
ChrisPenner/ChrisPenner.github.io
Basic Website
ChrisPenner/focus
cli utility for hacking and slashing data
ChrisPenner/json-to-haskell-purescript
Generate Haskell datatypes from json objects
ChrisPenner/flags
Compiles a declarative bash script configuration into a 100% bash flags and argument parser.
ChrisPenner/rsi
Structural regex based command pipelines
ChrisPenner/ld55
Ludum Dare 55
ChrisPenner/unison-testing
Just a scrap unison codebase for testing
ChrisPenner/bingo
ChrisPenner/brotli
Brotli compression and decompression
ChrisPenner/diagnose
A simple library for reporting compiler/interpreter errors
ChrisPenner/digital-megaphone
ChrisPenner/gRPC-haskell
Haskell gRPC support
ChrisPenner/hasql-interpolate
ChrisPenner/hasql-pool
A pool of connections for Hasql
ChrisPenner/hssqlppp
SQL parser and type checker in Haskell
ChrisPenner/plfa.github.io
An introduction to programming language theory in Agda
ChrisPenner/stackage
"Stable Hackage": vetted consistent packages from Hackage
ChrisPenner/unison-codebase
My unison codebase repo