Skip to content
View svanderbleek's full-sized avatar
:shipit:
I’ll take the case
:shipit:
I’ll take the case
Block or Report

Block or report svanderbleek

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
svanderbleek/README.md

Hi 👋

This is a brief portfolio. If you'd like to chat DM me on X.

Some Background

  • Check out my pins, they are small projects in some of my favorite languages: Go, Haskell, Python, and Kotlin
  • My online teaching has 5 star reviews on codementor
  • I have spoken at meetups and conferences, here's a short Papers We Love NYC talk on unification
  • I went to Oregon Programming Languages Summer School in 2017

Recent Open Source Work

I have been learning Rust and contributing to projects that interest me, anything involving computational logic or formal methods.

Past Highlights

I have code in Ruby's build tool Rake and have contributed to a few other open source projects here and there.

Pinned Loading

  1. asyncfilecli asyncfilecli Public

    Kotlin

  2. elm-bot elm-bot Public

    a lambdabot style bot for elm with slack support

    Haskell 3

  3. scrapeandbake scrapeandbake Public

    Proxy Heap with Web Crawler

    Go 1 1

  4. vimeo_scrape vimeo_scrape Public

    Scrape videos from Vimeo, if that's your thing

    Python 6 1