Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings
View FrozenWinters's full-sized avatar
🔍
Studying homotopy type theory.
🔍
Studying homotopy type theory.
86 followers · 8 following
  • Wesleyan University

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

  • Pro

Block or report FrozenWinters

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
FrozenWinters/README.md

👋 Hi there!

I'm Astra Kolomatskaia (she/her), a postdoctoral fellow in computer science at Wesleyan University

I completed my PhD at Stony Brook University with Emily Riehl (Johns Hopkins)

My thesis introduced Displayed Type Theory (dTT) and constructed semi-simplicial types

Pinned Loading

  1. stlc stlc Public

    This aims to be the most pretentious implementation of stlc in existence

    Agda 65 2

  2. SbE SbE Public

    An extension of the NbE algorithm to produce computational traces

    Agda 22

  3. SSTs SSTs Public

    Work in progress on semi-simplicial types

    Agda 23

  4. Labdabeta/trains Labdabeta/trains Public

    CS452

    C 1

  5. lattice_hydrodynamics lattice_hydrodynamics Public

    This is a cpp TMP library for abstracting distributed storage for local lattice-based computations.

    C++ 2

  6. xtensor-stack/xtensor xtensor-stack/xtensor Public

    C++ tensors with broadcasting and lazy computing

    C++ 3.7k 432

Morty Proxy This is a proxified and sanitized view of the page, visit original site.