WhiteAbeLincoln
My passion is making software design safer and more expressive through the power of type theory.
Campbell Scientific, Inc.United States
Pinned Repositories
base16-brushtrees-scheme
muted base16 theme
dotfiles
dotfiles repository
gatsby-transformer-remark-frontmatter
Allows querying frontmatter fields as markdown with gatsby
lisp-interpreter
A lisp interpreter written in typescript. HackUSU 2018
salesforce-graphql
Create a graphql schema from a salesforce org
sat-solver
Serial and Parallel implementations of an SAT solver for CS5500
transmission-api
High level api for Transmission RPC written in Typescript
TypeScript
A fork of the Typescript compiler, adding support for an infer-by-usage type Q
WhiteAbeLincoln's Repositories
WhiteAbeLincoln/gatsby-transformer-remark-frontmatter
Allows querying frontmatter fields as markdown with gatsby
WhiteAbeLincoln/base16-brushtrees-scheme
muted base16 theme
WhiteAbeLincoln/salesforce-graphql
Create a graphql schema from a salesforce org
WhiteAbeLincoln/ts-formlet
A future form building and validation library for TypeScript
WhiteAbeLincoln/bitwarden-menubar
Bitwarden in the macOS menu bar
WhiteAbeLincoln/env.macro
Inline environment variables at compile time
WhiteAbeLincoln/dotfiles
dotfiles repository
WhiteAbeLincoln/lisp-interpreter
A lisp interpreter written in typescript. HackUSU 2018
WhiteAbeLincoln/sat-solver
Serial and Parallel implementations of an SAT solver for CS5500
WhiteAbeLincoln/TypeScript
A fork of the Typescript compiler, adding support for an infer-by-usage type Q
WhiteAbeLincoln/abes-xmonad
My xmonad config
WhiteAbeLincoln/ahk_scripts
AutoHotkey Scripts
WhiteAbeLincoln/askreddit-clustering
Exploration of clustering algorithms on askreddit top-level comments
WhiteAbeLincoln/battle-royal-client
Client for web-based battle royal game written for CS5410
WhiteAbeLincoln/battle-royal-server
Server for a web-based browser battle royal game written for CS5410
WhiteAbeLincoln/crafting-interpreters
A Typescript walkthrough of Bob Nystrom's Crafting Interpreters
WhiteAbeLincoln/functional-cpp
WhiteAbeLincoln/functionalts
Functional style typescript
WhiteAbeLincoln/immutable-containers
A javascript implementation of Haskell's Containers library
WhiteAbeLincoln/lambda-calculus
Untyped lambda calculus interpreter written in typescript
WhiteAbeLincoln/language-wishlist
Wishlist for features I want in my ideal language and related code
WhiteAbeLincoln/personal-website
Personal portfolio/blog website
WhiteAbeLincoln/pgp-transition-statements
Transition statments for migrating to new pgp keys
WhiteAbeLincoln/rapidyaml
Rapid YAML - a library to parse and emit YAML, and do it fast.
WhiteAbeLincoln/resume
WhiteAbeLincoln/rpi-smoker
Automatic smoker controller using a raspberry pi
WhiteAbeLincoln/sf-describe
Describe salesforce instance and save to json
WhiteAbeLincoln/userscript-colorize
Userscript for chrome and firefox that annotates css colors with a colored icon
WhiteAbeLincoln/userscripts
Repository with various userscripts for chrome and firefox
WhiteAbeLincoln/vue-duplicate-entries