Discover TheWizardTower/rust_borrow_checker

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Rust
Created over 5 years ago
Updated over 5 years ago

TheWizardTower

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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. :)

monadTransformers

Repo for the talk "Monad Transformers For The Easily Confused", for LambdaConf 2018

Haskell

interview_questions

Solutions to interview questions I've gotten asked over the years, in a variety of languages.

C++

seneschal

Utility to run commands in parallel easily in a terminal or shell script.

Haskell

grimoire

WizardTower's Grimoire.

Haskell

succinct-scala

A port of miiohio/succinct to Scala.

Scala

abrazo

...let's teach Linux to Tango

Emacs Lisp

DevelopingAHaskellAppLambdaConf2020

Repository for my LambdaConf 2020 talk.

Haskell

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.

Haskell

process-children

Haskell

war-correspondant

Telemetry utility for adding instrumentation/observability to shell scripts

Haskell

main-engineering

It's the thing that makes everything else go.

Shell

TheWizardTower.github.io

Getting myself into trouble, one commit at a time.

HTML

haskell-search

A test project for me to learn more about full-text-search and megaparsec.

Haskell

dabus

Dotfiles Manager and Installer written in Haskell.

Haskell

ohSnap

Elizabethan Insult Generator, Monadic Burrito Edition

PLpgSQL

markdown-docs

Collection of markdown documents

TheWizardTower/rust_borrow_checker_talk

TheWizardTower

Reviews

Repository Details

More Repositories