Skip to content
View mvitousek's full-sized avatar
78 followers · 1 following
  • Meta
  • Seattle

Achievements

Achievement: YOLOAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: YOLOAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

  • Pro

Block or report mvitousek

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Stars

Showing results

996icu / 996.ICU

Repo for counting stars and contributing. Press F to pay respect to glorious developers.

275,087 21,001 Updated Aug 22, 2025

Gradual-Typing / Grift

A compiler for the gradually typed lambda calculus

C 76 11 Updated Nov 4, 2021

facebook / flow

Adds static typing to JavaScript to improve developer productivity and code quality.

OCaml 22,206 1,886 Updated Dec 27, 2025

llllllllll / codetransformer

Python code object transformers

Python 184 24 Updated Feb 27, 2024

samth / gradual-typing-bib

A bibliography on Gradual Typing

Racket 254 22 Updated Dec 24, 2023

asayler / CU-CS5525-PythonCompiler

My Python compiler implementation of CU CS5525 in F12

Python 3 1 Updated Dec 19, 2012