plaidfinch
founder & director @starlingcyber; previously: founding core eng. @penumbra-zone, senior eng. @boltlabs-inc, researcher @GaloisInc, ABD PhD in PL @ UPenn
@starlingcyber
Pinned Repositories
penumbra
Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.
ComonadSheet
A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonads.
Euler14-Optimization
Progressively optimized versions (in Haskell) of a solution to Problem 14 from Project Euler.
GQFC
Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
hopscotch
A FIFO queue for efficiently hopping and skipping between tagged items
myxine
Get a GUI fast in any language under the sea!
Presburger
Implementation of Presburger arithmetic solver
Pronunciations
Parser for the CMU pronouncing dictionary and simple homophone REPL
StrictCheck
Keep your laziness in check!
plaidfinch's Repositories
plaidfinch/ComonadSheet
A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonads.
plaidfinch/myxine
Get a GUI fast in any language under the sea!
plaidfinch/GQFC
Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
plaidfinch/StrictCheck
Keep your laziness in check!
plaidfinch/hopscotch
A FIFO queue for efficiently hopping and skipping between tagged items
plaidfinch/Presburger
Implementation of Presburger arithmetic solver
plaidfinch/GCBP
Gordon Complementary Bijection Principle
plaidfinch/no-exit
Source for guest lecture on existential types and purely functional data structures at Hendrix College, April 7, 2016
plaidfinch/Systematic
Teaching network programming & distributed systems, with lots of types
plaidfinch/text-diagram
plaidfinch/binomial-heaps
Binomial heaps with GADT-enforced shape constraints.
plaidfinch/cogoldrust-rustbridge-2019
Lecture notes and exercises for the RustBridge workshop from CO Gold Rust conference 2019
plaidfinch/TABA-AWHA
Slides and such from my talk at Compose '16: "There and Back Again" and What Happened After
plaidfinch/beta.rust-lang.org
the home of the new rust website - now in beta!
plaidfinch/cis670-16fa
Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016
plaidfinch/dear-github-2.0
📨 An open letter to GitHub from the maintainers of open source projects
plaidfinch/foldilocks
Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.
plaidfinch/fused-effects
A fast, flexible, fused effect system for Haskell
plaidfinch/ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
plaidfinch/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
plaidfinch/haskell-pair-programming
plaidfinch/hyper-usse
SSE library for Hyper
plaidfinch/leaf
Translate webpage content into epub format, for off-screen reading
plaidfinch/plaidfinch
plaidfinch/qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
plaidfinch/rage
A simple, secure and modern encryption tool (and Rust library) with small explicit keys, no config options, and UNIX-style composability.
plaidfinch/rusty-machine
A simple functional runtime in Rust
plaidfinch/shields
Concise, consistent, and legible badges in SVG and raster format
plaidfinch/shutdown-pl
plaidfinch/type-nat-solver
A plugin for solving numeric constraints in GHC's type-checker