TheWizardTower
Software Engineer with a systems background, passionate about Functional Programming, correctness, reliability, espresso, and shitposting.
Software Engineer up to No GoodMars
Pinned Repositories
abrazo
...let's teach Linux to Tango
DevelopingAHaskellAppLambdaConf2020
Repository for my LambdaConf 2020 talk.
dotfiles
Just some of my setup.
grimoire
WizardTower's Grimoire.
main-engineering
It's the thing that makes everything else go.
monadTransformers
Repo for the talk "Monad Transformers For The Easily Confused", for LambdaConf 2018
rust_borrow_checker_talk
I gave a talk about how Rust's borrow checker was formally verified at LambdaConf 2019. These are the slides and source code for said talk. :)
stack
The Haskell Tool Stack
tech-conferences-with-childcare
This list should exist. Now it does.
TheWizardTower.github.io
Getting myself into trouble, one commit at a time.
TheWizardTower's Repositories
TheWizardTower/abrazo
...let's teach Linux to Tango
TheWizardTower/DevelopingAHaskellAppLambdaConf2020
Repository for my LambdaConf 2020 talk.
TheWizardTower/interview_questions
Solutions to interview questions I've gotten asked over the years, in a variety of languages.
TheWizardTower/seneschal
Utility to run commands in parallel easily in a terminal or shell script.
TheWizardTower/servant-combinators
Servant covers most of the data in a raw WAI request, but misses a few fields. This library aims to let handler authors get all the information about a request they need.
TheWizardTower/beam
A type-safe, non-TH Haskell SQL library and ORM
TheWizardTower/docker.publish-builtin
Image providing dependencies within a Docker containers to run publish toolchain
TheWizardTower/emacs.d
emacs configuration using straight.el and use-package
TheWizardTower/haskell-exercises
A little course to learn about some of the more obscure GHC extensions.
TheWizardTower/haskell-mode
Emacs mode for Haskell
TheWizardTower/HaskellKatas
Haskell training repository used to learn Haskell and functional programming
TheWizardTower/honeycomb-haskell
Honeycomb client library for Haskell
TheWizardTower/main-engineering
It's the thing that makes everything else go.
TheWizardTower/markdown-docs
Collection of markdown documents
TheWizardTower/publish
Publishing tools for papers, books, and presentations
TheWizardTower/servant
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!
TheWizardTower/stack
The Haskell Tool Stack
TheWizardTower/technique
Check, simlulate, and run procedures written in the Technique programming language
TheWizardTower/theme-budspencer
A theme for nerds, makes fish even more powerful. It's equipped with a hell of a lot of nice functions and key bindings to speed up your workflow.
TheWizardTower/TheWizardTower.github.io
Getting myself into trouble, one commit at a time.
TheWizardTower/unbeliever
Opinionated Haskell Interoperability
TheWizardTower/war-correspondant
Telemetry utility for adding instrumentation/observability to shell scripts
TheWizardTower/off-chain-transactions
A practice project for tokio, csv_async, reasoning about transactions, and the rust_decimal crate.
TheWizardTower/rest-subsite
Exploratory project to play with a REST api that also has its own Haddock documentation as a static subsite.
TheWizardTower/rogue-vtt
A multi-user dungeon mapping system for OSR games in the style of nethack/dcss
TheWizardTower/rust-web
The materials for the workshop, Introduction to Rust Web Programming.
TheWizardTower/spark-playground
I'm futzing with Spark, disregard.
TheWizardTower/tailcall
A high-performance GraphQL Platform
TheWizardTower/type_security_theater
Repo for my talk at LambdaConf 2024
TheWizardTower/wasm-rpc