The Wayback Machine - https://web.archive.org/web/20211128000544/https://github.com/blainehansen
Skip to content
Avatar
21 followers · 0 following · 3

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor
Block or Report

Block or report blainehansen

Report abuse

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

Report abuse

Pinned Loading

  1. magma Public

    A dependently-typed language intended to make provably correct code possible for working software engineers.

    Coq 120 1

  2. hopeful-pathway Public

    An open source book charting a hopeful pathway for humanity.

    Coq

  3. macro-ts Public

    An ergonomic typescript compiler that enables typesafe syntactic macros.

    TypeScript 82 3

  4. monads Public

    TypeScript 2

  5. validate Public

    TypeScript

  6. marketdial/vue-async-properties Public

    Smart asynchronous data and computed properties for vue components.

    JavaScript 38 1

1,149 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Learn how we count contributions
Less More
Activity overview
Contributed to blainehansen/magma, blainehansen/traya, blainehansen/hopeful-pathway and 5 other repositories
Loading

Contribution activity

November 2021

Created 30 commits in 9 repositories
Created 1 repository
Opened 1 pull request in 1 repository
rust-lang/this-week-in-rust 1 merged
78 contributions in private repositories Nov 1 – Nov 24